國立高雄大學圖資館 |

Language: English

Back

Refinementsemantics, languages and a...

Boiten, Eerke.

Refinementsemantics, languages and applications /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Refinementby John Derrick, Eerke Boiten.
Reminder of title:	semantics, languages and applications /
Author:	Derrick, John.
other author:	Boiten, Eerke.
Published:	Cham :Springer International Publishing :2018.
Description:	xix, 269 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Application softwareDevelopment.
Online resource:	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)