國立虎尾科技大學 |

Refinement = Semantics, Languages and Applications /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Refinement/ by John Derrick, Eerke Boiten.
其他題名:	Semantics, Languages and Applications /
作者:	Derrick, John.
其他作者:	Boiten, Eerke.
面頁冊數:	XIX, 269 p. 39 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	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. - 1st ed. 2018. - XIX, 269 p. 39 illus.online resource.

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:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Refinement = Semantics, Languages and Applications /
LDR:02763nam a22003975i 4500 001 990380
003 DE-He213
005 20200701012031.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319927114 $9 978-3-319-92711-4
024 7 $a 10.1007/978-3-319-92711-4 $2 doi
035 $a 978-3-319-92711-4
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
100 1 $a Derrick, John. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 884581
245 1 0 $a Refinement $h [electronic resource] : $b Semantics, Languages and Applications / $c by John Derrick, Eerke Boiten.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XIX, 269 p. 39 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
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 Software engineering. $3 562952
650 1 4 $a Software Engineering. $3 669632
650 0 $a Computer logic. $3 786340
650 2 4 $a Logics and Meanings of Programs. $3 670058
700 1 $a Boiten, Eerke. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1208262
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319927091
776 0 8 $i Printed edition: $z 9783319927107
776 0 8 $i Printed edition: $z 9783030064976
856 4 0 $u https://doi.org/10.1007/978-3-319-92711-4
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)