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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Margaria, Tiziana (Επιμελητής έκδοσης), Steffen, Bernhard (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4313
• Θέματα: Computer science.; Special purpose computers.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Special Purpose and Application-Based Systems.

Πίνακας περιεχομένων:

• 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.