|
Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Tool Support for System Specification, Development and Verification (Paperback, Softcover reprint of the original 1st ed. 1999)
Loot Price: R1,523
Discovery Miles 15 230
|
|
|
Tool Support for System Specification, Development and Verification (Paperback, Softcover reprint of the original 1st ed. 1999)
Series: Advances in Computing Sciences
Expected to ship within 10 - 15 working days
|
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 for applying this approach is to have a suitable
mechanical support. This volume contains the proceedings of the
International Workshop Tool Support for System Specification,
Development and Verification organized June 1 - 4, 1998, in
Malente, Germany. This workshop is the third in a series of events
devoted to this topic. The first two workshops were held in 1994 in
Kiel and 1996 in Bremen, Germany. The aim of this workshop is to
provide a forum for researchers interested in the use and
development of tools which support the use of mathematical
techniques for the specification, development and verification of
systems. The workshop covers the spectrum from verification tools
to graphical editors and compilers. The program of the workshop
included an invited lecture and 26 talks. The invited lecture was
given by F.W. von Henke (University ofUlm) on Mechanized formal
methods and system design."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
