product iamge

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

From the reviews:

"The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. … I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications." (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)

Author(s): Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Series: Lecture Notes in Computer Science 4313 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006

Language: English
Pages: 197
Tags: Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Special Purpose and Application-Based Systems

Front Matter....Pages -
Interaction and Coordination of Tools for Structured Data....Pages 1-8
Modelling Coordination in Biological Systems....Pages 9-25
A Rule Markup Language and Its Application to UML....Pages 26-41
Using XML Transformations for Enterprise Architectures....Pages 42-56
Classification and Utilization of Abstractions for Optimization....Pages 57-73
On the Correctness of Transformations in Compiler Back-Ends....Pages 74-95
Accurate Theorem Proving for Program Verification....Pages 96-114
Designing Safe, Reliable Systems Using Scade....Pages 115-129
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings....Pages 130-145
Static Timing Analysis of Real-Time Operating System Code....Pages 146-160
A Case Study in Domain-Customized Model Checking for Real-Time Component Software....Pages 161-180
Models for Contract Conformance....Pages 181-196
Back Matter....Pages -