This book describes a complete method of software development from requirement to delivery using an executable, object oriented specification language called Enact. Implemented in C++, it combines the specification ideas of functional programming with modelling concepts from object oriented programming. Models of large systems can be built as networks of active and passive objects. The modelling language is soundly based on ideas from algebra and abstract data types. However, the development method is described in a pragmatic way and forms a practical tool which does not require mathematical training. Case studies are used to demonstrate conclusions. A disk containing code within the text is included.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Paperback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur GOR003909347
Quantité disponible : 1 disponible(s)
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. N° de réf. du vendeur OTV.0077075854.G
Quantité disponible : 1 disponible(s)