Cover Image
Read Now

1
by Nissanke, Nimal
Published 1999
Springer London
Table of Contents: “... -- Exercises -- A. Exercises on Reading Formal Specifications -- A.1 Exercise - A Simple Text Editor -- A.2...”
Cover Image
Read Now

2
by Soeken, Mathias, Drechsler, Rolf
Published 2015
Springer International Publishing
“... will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow...”
Cover Image
Read Now

3
by Lightfoot, David
Published 1991
Macmillan Education UK
“...Covers the main areas of formal specification in Z at an introductory level. The explanations...”
Cover Image
Read Now

4
Published 1980
Springer Berlin Heidelberg
“... in software and firmware engineering, we organized in June of 1979 a seminar entitled: "The Use of Formal...”
Cover Image
Read Now

5
by Guttag, John V., Horning, James J.
Published 1993
Springer New York
Table of Contents: “... abstractions -- 1.3 The many roles of specification -- 1.4 Styles of specification -- 1.5 Formal specifications...”
Cover Image
Read Now

11
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... to provide a formal framework for autonomous agent systems -- On the use of formal specifications...”
Cover Image
Read Now

14
Published 1995
The Institute of Electrical and Electronics Engineers, Inc.
Cover Image
Read Now

15
by Sanchez, Arturo
Published 1996
Springer Berlin Heidelberg
Cover Image
Read Now

16
Published 1998
The Institute of Electrical and Electronics Engineers, Inc.
Cover Image
Read Now

17
by Tan Yang Meng
Published 1996
Springer US
“.... Formal Specification Techniques for Engineering Modular C Programs describes a novel approach...”
Cover Image
Read Now

19
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Compensating Business Processes -- A Formal Specification in B of a Medical Decision Support System...”