Programming with Specifications: An Introduction to ANNA, a Language for Specifying Ada Programs
- ISBN-10
- 3540972544
- ISBN-13
- 9783540972549
- Pages
- 416
- Language
- English
- Published
- 1990
- Publisher
- Springer-Verlag
- Author
- David C. Luckham
Get the book
Other editions
-
- 2012-12-06
- 416 pages
- Ebook
- Springer Science & Business Media
Similar books
-
Programming from Specifications
By Carroll MorganProviding a thorough treatment of most elementary program development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and...
-
Program Development in Java: Abstraction, Specification, and Object-oriented Design
By B. Liskov, John GuttagWritten by a world-renowned expert on programming methodology, and the winner of the 2008 Turing Award, this book shows how to build production-quality programs--programs that are reliable, easy to maintain,...
-
Larch: Languages and Tools for Formal Specification
By John V. Guttag, James J. HorningIt does not have to be that way. This book is about programming, and the role that formal specifications can play in making programming easier and programs better.
-
The Java Language Specification
By James Gosling... Peter Dibble , Steve Furr , David Hardin , Mark Turnbull The Real - Time Specification for JavaTM Rosanna Lee , Scott Seligman JNDI API Tutorial and Reference : Building Directory - Enabled JavaTM Applications Sheng Liang The JavaTM ...
-
Formal Specification of Programming Languages: A Panoramic Primer
By Frank G. PaganFormal Specification of Programming Languages: A Panoramic Primer
-
Program Construction: Calculating Implementations from Specifications
By Roland BackhouseUnique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer This comprehensive guide is a balanced combination of mathematical theory and the practice...
-
An Introduction to Formal Specification and Z
By David Till, Jane Sinclair, Ben PotterPrimarily intended as an introduction to the ideas of formal specification, to form part of an undergraduate course in computer science and providing a new approach to the process of...
-
An Introduction to Programming with Specifications
By Gerard Meurant... program happens to possess it. This approach leads to a methodology for designing reliable programs by the decomposition of specifications. Given a specification SP, a programmer produces a finite sequence SP1, . . . , SP" of specifications ...
-
Algebraic Specification Techniques in Object Oriented Programming Environments
By Ruth BreuThe main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques.
-
Constraint Programming Languages: Their Specification and Generation
By William LelerConstraint Programming Languages: Their Specification and Generation