Fr. 134.00

The Use of Formal Specification of Software - June 25-27, 1979, Berlin

English · Paperback / Softback

Shipping usually within 1 to 2 weeks (title will be printed to order)

Description

Read more

The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disciplines, we are approaching the era of enforced system development standards which will ensure that end products will meet rigorous design requirements. On the one hand, advances in system architecture fUrther the application of system development standards to software and firmware design and production. On the other hand, the growth in complexity of future system architectures, in particular distri buted systems with their special problems of cooperation and parallelism, necessitate the use of rigorous specification and design techniques. In addition to hampering the design process, the lack of engineering techniques hinders research. In many cases, trial designs that are presented in abstract and informal terms do not force the de signer to face the full problem spectrum, and therefore may not sufficiently provide insight into the design process. To prepare for the forthcoming discipline and to provide a snapshot view of recent advances in software and firmware engineering, we organized in June of 1979 a seminar entitled: "The Use of Formal Specification of Software and Firmware". The seminar took place at the Heinrich-Hertz-Institute, Berlin, and attracted over 60 participants, most of them from the industry.

List of contents

Towards a Uniform Design Methodology for Software, Firmware, and Hardware.- Writing Simulatable Specifications in SPECIAL.- An Overview of RDM: Rational Design Methodology.- Abstraction and Refinement in RDM.- Hierarchical Specification of Abstract Data Types.- An Approach to the Specification of Distributed Software.- Correctness of Software - An Overview.- Interactive Design and Verification: A Message Switching Network Example.

Product details

Assisted by H. K. Berg (Editor), H.K. Berg (Editor), W. K. Giloi (Editor), W.K. Giloi (Editor), K Berg (Editor), H K Berg (Editor), K Giloi (Editor), K Giloi (Editor)
Publisher Springer, Berlin
 
Languages English
Product format Paperback / Softback
Released 16.11.2012
 
EAN 9783540104421
ISBN 978-3-540-10442-1
No. of pages 390
Weight 680 g
Illustrations VI, 390 p.
Series Informatik-Fachberichte
Informatik-Fachberichte
Subject Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.