Specifications state properties or constraints that a software system must satisfy to solve a problem [IEEE 91], describe the interface between the problem domain and the software system [Jackson 95], and define the purpose of the software system and its correct use [Le Charlier & Flener 98].
An edition of Logic-Based Program Synthesis and Transformation
(1999)
Logic-Based Program Synthesis and Transformation
8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science)
1 edition
by Pierre Flener
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Author:
Published by
ISBN:
DOI:
Table of Contents:
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic programming, CongressesShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science)
April 28, 1999, Springer
Paperback
in English
- 1 edition
3540657657 9783540657651
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Specifications state properties or constraints that a software system must satisfy to solve a problem [IEEE 91], describe the interface between the problem domain and the software system [Jackson 95], and define the purpose of the software system and its correct use [Le Charlier & Flener 98]."
The Physical Object
ID Numbers
Excerpts
added anonymously.
Community Reviews (0)
Feedback?
| October 14, 2023 | Edited by ImportBot | import existing book |
| July 28, 2014 | Edited by ImportBot | import new book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 14, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |