國立虎尾科技大學 |

Refinement = semantics, languages and applications /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Refinement/ by John Derrick, Eerke Boiten.
其他題名:	semantics, languages and applications /
作者:	Derrick, John.
其他作者:	Boiten, Eerke.
出版者:	Cham :Springer International Publishing : : 2018.,
面頁冊數:	xix, 269 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Application software - Development. -
電子資源:	https://doi.org/10.1007/978-3-319-92711-4
ISBN:	9783319927114

Refinement = semantics, languages and applications /
Derrick, John.

Refinementsemantics, languages and applications /[electronic resource] :by John Derrick, Eerke Boiten. - Cham :Springer International Publishing :2018. - xix, 269 p. :ill., digital ;24 cm.

Semantics -- Labeled Transition Systems and their Refinement -- Automata - introducing simulations -- Simple State Based Refinement -- A Relational View of Refinement -- Perspicuity, Divergence, and Internal Operations -- Refinement in Specification Languages -- State-based Languages: Z and B -- State-based Languages: Event-B and ASM -- Relating Notions of Refinement -- Relational Concurrent Refinement -- Relating Data Refinement and Failures-divergences Refinement -- Process data types - a fully general model of concurrent refinement.

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.

ISBN: 9783319927114

Standard No.: 10.1007/978-3-319-92711-4doiSubjects--Topical Terms:

562957
Application software
--Development.

LC Class. No.: QA76.76.A65 / D47 2018

Dewey Class. No.: 005.3

Refinement = semantics, languages and applications /
LDR:02407nam a2200325 a 4500 001 928341
003 DE-He213
005 20180905071306.0
006 m d
007 cr nn 008maaau
008 190626s2018 gw s 0 eng d
020 $a 9783319927114 $q (electronic bk.)
020 $a 9783319927091 $q (paper)
024 7 $a 10.1007/978-3-319-92711-4 $2 doi
035 $a 978-3-319-92711-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.A65 $b D47 2018
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.3 $2 23
090 $a QA76.76.A65 $b D438 2018
100 1 $a Derrick, John. $3 884581
245 1 0 $a Refinement $h [electronic resource] : $b semantics, languages and applications / $c by John Derrick, Eerke Boiten.
260 $a Cham : $c 2018. $b Springer International Publishing : $b Imprint: Springer,
300 $a xix, 269 p. : $b ill., digital ; $c 24 cm.
505 0 $a Semantics -- Labeled Transition Systems and their Refinement -- Automata - introducing simulations -- Simple State Based Refinement -- A Relational View of Refinement -- Perspicuity, Divergence, and Internal Operations -- Refinement in Specification Languages -- State-based Languages: Z and B -- State-based Languages: Event-B and ASM -- Relating Notions of Refinement -- Relational Concurrent Refinement -- Relating Data Refinement and Failures-divergences Refinement -- Process data types - a fully general model of concurrent refinement.
520 $a Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
650 0 $a Application software $x Development. $3 562957
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Logics and Meanings of Programs. $3 670058
700 1 $a Boiten, Eerke. $3 1208262
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
856 4 0 $u https://doi.org/10.1007/978-3-319-92711-4
950 $a Computer Science (Springer-11645)