Leveraging Applications of Formal Methods

First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

212 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Interaction and Coordination of Tools for Structured Data.- Modelling Coordination in Biological Systems.- A Rule Markup Language and Its Application to UML.- Using XML Transformations for Enterprise Architectures.- Classification and Utilization of Abstractions for Optimization.- On the Correctness of Transformations in Compiler Back-Ends.- Accurate Theorem Proving for Program Verification.- Designing Safe, Reliable Systems Using Scade.- Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings.- Static Timing Analysis of Real-Time Operating System Code.- A Case Study in Domain-Customized Model Checking for Real-Time Component Software.- Models for Contract Conformance.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI) Wissensbasierte Systeme, Expertensysteme
• ISBN: 9783540489283
• Sprache: Englisch
• Erscheinungsdatum: 03.11.2006
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Tiziana Maragria, Bernhard Steffen