國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁 到查詢結果 [ subject:"Logics and Meanings of Programs." ]

切換: 標籤 | MARC模式 | ISBD

Refinementsemantics, languages and a...

Boiten, Eerke.

Refinementsemantics, languages and applications /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Refinementby 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 softwareDevelopment.
電子資源:	https://doi.org/10.1007/978-3-319-92711-4
ISBN:	9783319927114$q(electronic bk.)

Refinementsemantics, 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$q(electronic bk.)

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

189413
Application software
--Development.

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

Dewey Class. No.: 005.3

Refinementsemantics, languages and applications /
LDR:02407nmm a2200325 a 4500 001 543689
003 DE-He213
005 20180905071306.0
006 m d
007 cr nn 008maaau
008 190430s2018 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 567183
245 1 0 $a Refinement $h [electronic resource] : $b semantics, languages and applications / $c by John Derrick, Eerke Boiten.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
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 189413
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Logics and Meanings of Programs. $3 275357
700 1 $a Boiten, Eerke. $3 469701
710 2 $a SpringerLink (Online service) $3 273601
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)