This book examines the use of the Ada programming language in the specification stage of a software development project, placing emphasis throughout on the issues involved in specification and on the generation of ideas for software tools for use in an Ada environment. It begins with a discussion of the role and purpose of specification in a large-scale software project, describing the features that a specification language should have and assessing Ada as a candidate. The use of Ada as a program design language and in ...
Read More
This book examines the use of the Ada programming language in the specification stage of a software development project, placing emphasis throughout on the issues involved in specification and on the generation of ideas for software tools for use in an Ada environment. It begins with a discussion of the role and purpose of specification in a large-scale software project, describing the features that a specification language should have and assessing Ada as a candidate. The use of Ada as a program design language and in system modelling is then examined, together with a number of other specification languages. Conversion of a specification into a program and tools for handling specifications are then considered, before the findings are summarised and conclusions drawn. An appendix describes an Ada-related specification language, adapted to general engineering systems. The book is based on a study for the Commission of the European Communites, completed in July 1984.
Read Less
Add this copy of Ada for Specification: Possibilities and Limitations to cart. $49.74, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1985 by Cambridge University Press.
Add this copy of Ada for Specification: Possibilities and Limitations to cart. $51.85, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1985 by Cambridge University Press.
Add this copy of Ada for Specification to cart. $66.87, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1985 by Cambridge University Press CUP.
Add this copy of Ada for Specification: Possibilities and Limitations to cart. $89.65, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1985 by Cambridge University Press.
Add this copy of Ada for Specification: Possibilities and Limitations to cart. $95.72, good condition, Sold by Goldstone Books rated 4.0 out of 5 stars, ships from Ammanford, CARMS, UNITED KINGDOM, published 1985 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. All orders are dispatched within 1 working day from our UK warehouse. Established in 2004, we are dedicated to recycling unwanted books on behalf of a number of UK charities who benefit from added revenue through the sale of their books plus huge savings in waste disposal. No quibble refund if not completely satisfied.
