Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Lecture Notes in Computer Science 1945 (Paperback)
  • Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Lecture Notes in Computer Science 1945 (Paperback)
zoom

Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Lecture Notes in Computer Science 1945 (Paperback)

(editor), (editor), (editor)
£81.00
Paperback 446 Pages / Published: 18/10/2000
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted of invited talks from Sir Tony Hoare FRS and Wolfram Schulte, along with 22 papers selected from 58 submissions. Applying formal methods may involve the modelling of di erent aspects of a system that are expressed through di erent paradigms. This motivates us to research the combination of di erent viewpoints of a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective with the innovative use of an existing notation. The integration of formal methods promises great bene ts to systems - delling and software development. Regardless of the approach taken, however, signi cant issues can arise in areas such as semantic integration, the tracta- lity of our notations, the integration of tool support, the integration of proof systems, consistency, and completeness. Issues arise equally in our conceptua- sation of systems at di erent levels of abstraction and the development of these conceptualisations through the process of re nement.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540411963
Number of pages: 446
Weight: 1400 g
Dimensions: 235 x 155 x 23 mm
Edition: 2000 ed.

You may also be interested in...

Seven Languages in Seven Weeks
Added to basket
Data Analysis Using SQL and Excel
Added to basket
Programming
Added to basket
£55.49
Paperback
The C++ Programming Language
Added to basket
C Programming Language
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
C++ Templates
Added to basket
£59.49
Hardback
The C++ Programming Language
Added to basket
C++ All-in-One For Dummies
Added to basket
C++ Pocket Reference
Added to basket
R Cookbook
Added to basket
£31.99
Paperback
Learn To Program
Added to basket
£19.99
Paperback
C Programming Absolute Beginner's Guide
Added to basket
The Art Of R Programming
Added to basket
Software Testing
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.