Blick ins Buch

Formal Methods and Object Technology

Stephen J. Goldsack, Stuart J.H. Kent (Herausgeber)

Buch | Softcover

XVIII, 368 Seiten

1996 | 1. Softcover reprint of the original 1st ed. 1996
Springer Berlin (Verlag)
978-3-540-19977-9 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

I Introduction.- 1 The Object Paradigm.- 2 Formality in Object Technology IT.- II Formal Methods in Object Technology.- 3 LOTOS in the Object-Oriented Analysis Process.- 4 The Impact of Inheritance on Software Structure.- III Object Technology in Formal Methods.- 5 D_Parlog++: Object-Oriented Logic Programming with Distributed Active Classes.- 6 Concurrency and Real-time in VDM++.- 7 Integrating Formal and Structured Methods in Object-Oriented System Development.- 8 Introducing Object-Oriented Concepts into a Net-Based Hierarchical Software Development Process.- IV Formal Foundations of Object Technology.- 9 Design Structures for Object-Based Systems.- 10 Interconnection of Object Specifications.- 11 Refinement of Concurrent Object-Oriented Programs.- 12 Static Typing for Object-Oriented Languages.- 13 A Note on the Semantics of Inclusion Polymorphism.- 14 Categorical Semantics for Object-Oriented Data-Specifications.- 15 A Type-Theoretic Basis for an Object-Oriented Refinement Calculus.

Erscheint lt. Verlag	26.4.1996
Reihe/Serie	Formal Approaches to Computing and Information Technology (FACIT)
Zusatzinfo	XVIII, 368 p.
Verlagsort	London
Sprache	englisch
Maße	155 x 235 mm
Gewicht	590 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Informatik ► Software Entwicklung ► Objektorientierung
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Concurrency • C++ programming language • Development • EIFFEL • Formal Method • formal methods • Logic • object • Objective-C • programming • Semantics • Software • software development • Software engineering • verification
ISBN-10	3-540-19977-2 / 3540199772
ISBN-13	978-3-540-19977-9 / 9783540199779
Zustand	Neuware