Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods and Object Technology
. Ed(S): Goldsack, Stephen J.; Kent, Stuart J. H.
€ 122.65
FREE Delivery in Ireland
Description for Formal Methods and Object Technology
Paperback. 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. Editor(s): Goldsack, Stephen J.; Kent, Stuart J. H. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 368 pages, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 543.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1996
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
368
Condition
New
Series
Formal Approaches to Computing & Information Technology (FACIT)
Number of Pages
368
Place of Publication
Berlin, Germany
ISBN
9783540199779
SKU
V9783540199779
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods and Object Technology