Cover Image
Read Now

41
Published 1991
Springer London
Table of Contents: “... -- Machine support for Z: the zedB tool -- The ZIP project -- Methods -- What is a Good Formal Specification...”
Cover Image
Read Now

42
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... of logic programming -- Compiling typol with attribute grammars -- Formal specification of a prolog...”
Cover Image
Read Now

43
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Distributed computing models -- Formal specification -- Testing -- Verification methods...”
Cover Image
Read Now

44
by Kiczales, Gregor
Published 1991
MIT Press
“... and design principles, and present a formal specification of a metaobject protocol for CLOS. The CLOS...”
Cover Image
Read Now

45
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Cryptographic Protocols -- Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis...”
Cover Image
Read Now

46
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... for Classes and Mixins -- A Formal Specification of Java? Virtual Machine Instructions for Objects, Methods...”
Cover Image
Read Now

47
by Craig, Iain D.
Published 2007
Springer London
Table of Contents: “....-Basic Architecture -- Extending the Architecture -- Summary -- An Overview of the Formal Specification...”
Cover Image
Read Now

48
by Drusinsky, Doron
Published 2006
Newnes
Table of Contents: “... for reactive systems -- Using statechart assertions for formal specification -- Creating and using temporal...”
Cover Image
Read Now

49
Published 1993
Springer London
Table of Contents: “... for Defence Standard 00-55 -- Formal Specification and Development of Control System Input/Output...”
Cover Image
Read Now

50
Published 2023
Springer International Publishing
Table of Contents: “... of digraph real-time tasks -- Formal Specification & Testing -- Formalization of natural language into PPTL...”
Cover Image
Read Now

51
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...The Role of Formal Specifications -- Algebraic Preliminaries -- From Total Equational to Partial...”
Cover Image
Read Now

52
by Partsch, Helmut A.
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... Formal Specification and Program Transformation -- 1.4 Our Particular View of Transformational...”
Cover Image
Read Now

53
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... specification -- Formalizing Anaesthesia: A case study in formal specification -- A new system engineering...”
Cover Image
Read Now

54
by Hercog, Drago
Published 2020
Springer International Publishing
“..., overviews the models and languages for informal and formal specification of protocols, and describes...”
Cover Image
Read Now

55
by Weiß, Benjamin
Published 2011
KIT Scientific Publishing
“... important. Formal specification and verification are promising approaches for ensuring correctness more...”
Cover Image
Read Now

56
Published 1997
Springer US
“... and programming; formal specification of distributed systems; open distributed platforms; types, interfaces...”
Cover Image
Read Now

57
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...: Expressing and Formalising Requirements -- Formal Specification -- Pattern-Driven Formal Specification...”
Cover Image
Read Now

58
by Ancot, J.P.
Published 1988
Springer Netherlands
Table of Contents: “...: Formal Specification Of The Qualiflex Problem -- Appendix B: The Four-Parameter Lognormal Distribution...”
Cover Image
Read Now

59
Published 2015
Springer International Publishing
Table of Contents: “... of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From...”
Cover Image
Read Now

60
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... and the MALPAS program analysis tools -- Formal specification using structured systems analysis -- Tool...”