Formal Methods and Object Technology

Name: Formal Methods and Object Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540199779
Price: 38497 HUF
Availability: InStock

Szerző: Stephen J. Goldsack, Stuart J. H. Kent

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

38 497 Ft

Rationale Software engineering aims to develop software by using approaches which en able large and...

Információk a könyvről

Szerző

Stephen J. Goldsack, Stuart J. H. Kent

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1996

oldal

368

EAN

9783540199779

ISBN

3540199772

Enbook ID

06807635

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

590

Méretek

155 x 235 x 22

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods and Object Technology

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták