Amazon cover image
Image from Amazon.com

Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /

Contributor(s): Material type: TextTextSeries: 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
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540489290
Subject(s): Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:
  • 005.1 23
LOC classification:
  • QA76.758
Online resources:
Contents:
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.
In: Springer Nature eBook
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

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.

to post a comment.
© 2024 IIIT-Delhi, library@iiitd.ac.in