Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / edited by Tiziana Maragria, Bernhard Steffen.
Contributor(s): Maragria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).
Material type: BookSeries: Theoretical Computer Science and General Issues: 4313Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006.Description: VI, 197 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540489290.Subject(s): Software engineering | Computer science | Compilers (Computer programs) | Computers, Special purpose | Software Engineering | Computer Science Logic and Foundations of Programming | Compilers and Interpreters | Special Purpose and Application-Based SystemsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access onlineInteraction 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 for this item.