Übersicht			Auf mobile öffnen

Lieferstatus:	Vorankündigung
Veröffentlichung:	ANGEKÜNDIGT (April 2027)
Genre:	EDV / Informatik
	Computational Science and Engineering / Computerprogrammierung und Softwareentwicklung / Event-B / formal methods / Java / Mathematical Applications in Computer Science / Modeling / Numerische Mathematik / Programmier- und Skriptsprachen, allgemein / Programming Techniques / python / refinement calculus / Sequential Program Development / Software Engineering / Theoretische Informatik mehr...
ISBN:	9783032312426
EAN-Code:	9783032312426
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 240 mm / B 168 mm / D
Illustration:	Approx. 125 p. 25 illus. in color., farbige Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Keine Bewertung vor Veröffentlichung möglich.

Inhalt:

This Second Edition presents a practical framework for software development based on Event-B and refinement calculus, showing how formal models can be systematically transformed into verified executable programs. The book guides readers through the complete development process, from the formalisation of software requirements to model refinement, proof discharge, code synthesis, and implementation validation.  The text introduces the Event-B method and its supporting tool ecosystem and demonstrates how refinement-based modelling can be used to construct reliable software systems incrementally. Particular emphasis is placed on the systematic derivation of Java implementations through automated code generation, together with the verification of sequential programs using the newly introduced PyEB framework in Python.  Using a series of detailed case studies, the book illustrates how mathematical modelling techniques reduce ambiguity in requirements, support correctness-by-construction development, and provide rigorous reasoning about program behaviour throughout the software lifecycle.