Verwandte Artikel zu Formal Methods and Object Technology (Formal Approaches...
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover
Inhaltsangabe
Book by None
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: · Object Technology · Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.
Reseña del editor
This book presents an overview of two approaches to software engineering - formal methods and object-oriented techniques - and by extracting the best aspects of each demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed: the application of formal techniques to object technology; the extension of formal methods with object-oriented concepts; and the formal foundations of object technology. Examples of each approach are included and areas such as concurrency and real time, which are especially important in the development of large scale, distributed and safety critical systems, are addressed. By focusing on these two, previously independent, techniques and illustrating how their merger is resulting in the development of tools which are essential to the development of large scale software the editors of this book have provided valuable coverage of this rapidly developing and important area.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer London
- Erscheinungsdatum1996
- ISBN 10 3540199772
- ISBN 13 9783540199779
- EinbandTapa blanda
- Anzahl der Seiten388
Gebraucht kaufen
Zustand: Sehr gutAncien livre de bibliothèque. Edition... Mehr zu diesem Angebot erfahren
EUR 2,84
Versand:
EUR 8,00
Von Frankreich nach USA
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 106,99
Versand:
EUR 32,99
Von Deutschland nach USA
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Formal Methods and Object Technology
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540199772
ISBN 13: 9783540199779
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-554-885
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. GOR013346498
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods and Object Technology
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen, Geknickt. | Seiten: 388 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 22696864/3
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Methods and Object Technology
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: - Object Technology - Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them. Artikel-Nr. 9783540199779
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Methods and Object Technology
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. 4884391
Anzahl: Mehr als 20 verfügbar