Leveraging Applications of Formal Methods

SOMMARIO

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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783540489283
• Collana: Lecture Notes in Computer Science
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: VI, 197 p.
• Pagine Arabe: 197
• Pagine Romane: vi