Your Waterstones card is changing, introducing...
TELL ME MORE
The Use of Formal Specification of Software: June 25-27, 1979, Berlin - Informatik-Fachberichte 36 (Paperback)
  • The Use of Formal Specification of Software: June 25-27, 1979, Berlin - Informatik-Fachberichte 36 (Paperback)
zoom

The Use of Formal Specification of Software: June 25-27, 1979, Berlin - Informatik-Fachberichte 36 (Paperback)

(editor), (editor)
£94.50
Paperback 390 Pages / Published: 01/01/1980
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540104421
Number of pages: 390
Weight: 680 g
Dimensions: 244 x 170 x 20 mm
Edition: Softcover reprint of the original 1st ed. 198

You may also be interested in...

Art of Agile Development
Added to basket
Pro Git
Added to basket
£35.50
Paperback
Essential Scrum
Added to basket
£36.99
Paperback
Continuous Delivery
Added to basket
£43.99
Hardback
The Clean Coder
Added to basket
£32.99
Paperback
User Story Mapping
Added to basket
£27.99
Paperback
Peopleware
Added to basket
£32.99
Paperback
Kanban
Added to basket
£33.55
Paperback
Coaching Agile Teams
Added to basket
The Mythical Man-Month
Added to basket
Design Patterns
Added to basket
£43.99
Hardback
Agile Product Management with Scrum
Added to basket
Domain-Driven Design
Added to basket
£55.99
Hardback
Writing Effective Use Cases
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.