MPG.eBooks - Search Results

1

Published 1987

Springer Berlin Heidelberg

Table of Contents: “... -- From VDM to RAISE -- Denotational engineering or from denotations to syntax -- A type model for VDM...”

2

Published 2018

Springer International Publishing

Table of Contents: “... of the Initial-state Opacity of Real-time Automata -- Domain Science and Engineering: A Review of 10 Years Work...”

3

Published 2014

Springer International Publishing

Table of Contents: “...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering...”

4

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Event B -- Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive...”

5

by Besnard, Denis, Gacek, Cristina, Jones, Cliff
Published 2006

Springer London

Table of Contents: “...The role of structure: a dependability perspective -- The role of structure: a software engineering...”