Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Integrated Formal Methods - Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Paperback, 2000 ed.)
Loot Price: R1,781
Discovery Miles 17 810
|
|
Integrated Formal Methods - Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Paperback, 2000 ed.)
Series: Lecture Notes in Computer Science, 1945
Expected to ship within 10 - 15 working days
|
IFM 2000, the second in a series of international conferences on
Integrated F- mal Methods, was held at the 18th-century chateau
DEGREES 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 n
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.