Data & IT

Formal Methods and Object Technology

Stephen J Goldsack • Stuart J H Kent • Stuart J H Kent

Pocket

1479:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

368 sidor
1996

This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed: the application of formal methods 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.

Författare: Stephen J Goldsack, Stuart J H Kent, Stuart J H Kent
Format: Pocket/Paperback
ISBN: 9783540199779
Språk: Engelska
Antal sidor: 368
Utgivningsdatum: 1996-04-26
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG