Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
Material type: TextSeries: Theoretical Computer Science and General Issues ; 4313Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006Description: VI, 197 p. online resourceContent type:- text
- computer
- online resource
- 9783540489290
- 005.1 23
- QA76.758
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.
There are no comments on this title.