Vytvořit citaci
Poslat emailem
Exportovat záznam
Přidat do oblíbených
Objednat papírovou kopii

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

Uloženo v:
Podrobná bibliografie
Další autoři: Margaria, Tiziana (Editor)
Steffen, Bernhard (Editor)
Korporace: SpringerLink (online služba)  
Médium: E-kniha
Jazyk:angličtina
Vydáno: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2006
Edice:Lecture Notes in Computer Science
Žánr/forma:elektronické knihy
ISBN:978-3-540-48929-0
9783540489283
Témata:
On-line přístup:Plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka
Obsah:
  • 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