Cover Image
Read Now

1
by Luckham, David
Published 1990
Springer New York
Table of Contents: “... -- 0.3 Applying Anna -- 0.4 Environments for Programming with Specifications -- 0.5 Future Developments...”
Cover Image
Read Now

2
by Nissanke, Nimal
Published 1999
Springer London
Table of Contents: “... -- 12. Algebraic Specification in CLEAR -- 12.1 Data Types and Systems -- 12.2 Views of Specifications...”
Cover Image
Read Now

3
by Adzic, Gojko
Published 2011
Manning
“...Specification by Example is a must read for anyone serious about delivering software that matters...”
Cover Image
Read Now

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... — the Common Algebraic Specification Language -- Duration Calculus -- The Logic of the RAISE Specification...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Operational Semantics for Weighted Transition Systems -- On the Specification and Verification of Model...”
Cover Image
Read Now

6
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Traversals in C++ -- Unit Testing for Domain-Specific Languages -- Combining DSLs and Ontologies Using...”
Cover Image
Read Now

7
by Polak, W.
Published 1981
Springer Berlin Heidelberg
Cover Image
Read Now

8
by Alagar, V.S., Periyasamy, K.
Published 2011
Springer London
Table of Contents: “...Part I: Specification Fundamentals -- The Role of Specification -- Specification Activities...”
Cover Image
Read Now

9
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- On the relation of programs and computations to models of temporal logic -- Specification and verification...”
Cover Image
Read Now

10
by Fowler, Martin
Published 2011
Addison-Wesley
Subjects: “...Domain-specific programming languages / fast...”
Cover Image
Read Now

11
by Cardinal, Mario
Published 2013
Addison-Wesley
Cover Image
Read Now

12
by Alagar, V.S., Periyasamy, K.
Published 1998
Springer New York
Table of Contents: “...1 The Role of Specification -- 2 Specification Activities -- 3 Specification Qualities -- 4...”
Cover Image
Read Now

13
Published 2001
Springer London
Table of Contents: “...I State-Based Approaches -- 1 Z: A Formal Specification Notation -- 2 SAZ: SSADM Version 4 and Z...”
Cover Image
Read Now

14
Published 1992
Springer London
Table of Contents: “...-Oriented Query Language Definition -- Reasoning about a Modular Model-Oriented Formal Specification...”
Cover Image
Read Now

15
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... for describing program behaviour -- The semantics of clear, a specification language -- An example...”
Cover Image
Read Now

16
by Partsch, Helmut A.
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...5. From Descriptive Specifications to Operational Ones -- 5.1 Transforming Specifications -- 5.2...”
Cover Image
Read Now

17
by Gosling, James
Published 2013
Addison-Wesley
Cover Image
Read Now

18
by Gosling, James
Published 2014
Addison-Wesley
Cover Image
Read Now

19
by Wąsowski, Andrzej, Berger, Thorsten
Published 2023
Springer International Publishing
Cover Image
Read Now

20
by Lindholm, Tim
Published 2013
Addison-Wesley