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

Grieskamp, Wolfgang; Santen, Thomas; Stoddart, Bill

 
9783540411963: Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings: 1945 (Lecture Notes in Computer Science, 1945)
Tapa blanda
ISBN 10: 3540411968 ISBN 13: 9783540411963
Editorial: Springer, 2008

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

Reseña del editor

This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000.
The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3540411968
ISBN 13 
9783540411963
Encuadernación
Tapa blanda
Número de páginas
456
Contacto del fabricante
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Alemania