.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Tool Support for System Specification, Development and Verification
Berghammer, Rudolf. Ed(S): Berghammer, Rudolf; Lakhnech, Y.
€ 66.97
FREE Delivery in Ireland
Description for Tool Support for System Specification, Development and Verification
Paperback. This text presents tools that aim at the formal and computer aided development of software. It discusses the theories and methods underlying the tools, applications and limits, and describes many case studies. Editor(s): Berghammer, Rudolf; Lakhnech, Y. Series: Advances in Computing Sciences. Num Pages: 241 pages, 53 black & white illustrations. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 13. Weight in Grams: 460.
The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate formalization in precise mathematical definitions. Prototyping can can be used as a means for checking the functional behaviour at this early stage of development. The ade quate specification resulting from the first phase is then the basis for the second phase which comprises the derivation of an implementation. This phase requires the use of formal methods and tools to verify/validate the implementation. A prerequisite ... Read more
The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate formalization in precise mathematical definitions. Prototyping can can be used as a means for checking the functional behaviour at this early stage of development. The ade quate specification resulting from the first phase is then the basis for the second phase which comprises the derivation of an implementation. This phase requires the use of formal methods and tools to verify/validate the implementation. A prerequisite ... Read more
Product Details
Format
Paperback
Publication date
1999
Publisher
Springer Verlag GmbH Austria
Number of pages
241
Condition
New
Series
Advances in Computing Sciences
Number of Pages
232
Place of Publication
Vienna, Austria
ISBN
9783211832820
SKU
V9783211832820
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Tool Support for System Specification, Development and Verification