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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 4,04 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerAnbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Paperback. Zustand: 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. Bestandsnummer des Verkäufers GOR003909347
Anzahl: 1 verfügbar
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Previous owners name. Bestandsnummer des Verkäufers wbb0022824059
Anzahl: 1 verfügbar
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Zustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers 45829675-20
Anzahl: 1 verfügbar