Ausgabe 6/2006
Special Section on Leveraging Applications of Formal Methods (pp 467-603); Special Section on Quantitative Analysis of Real-Time Embedded Systems (pp 605-667)
Inhalt (13 Artikel)
Special Section on leveraging Applications of Formal Methods
Special Section on “Leveraging Formal Methods”
Tiziana Margaria, Bernhard Steffen
Special Section on Leveraging Applications of Formal Methods
A formal framework for verifying distributed embedded systems based on abstraction methods
Francois Carcenac, Frederic Boniol
Special Section on Leveraging Applications of Formal Methods
Compositional specification of commercial contracts
Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen
Special Section on Leveraging Applications of Formal Methods
Case studies with Lurette V2
Erwan Jahier, Pascal Raymond, Philippe Baufreton
Special Section on Leveraging Applications of Formal Methods
Tool Support for Estimating the Memory Usage of Mobile Phone Software
Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu
SPECIAL SECTION ON LEVERAGING APPLICATIONS OF FORMAL METHODS
Formal and experimental validation approaches in HCI systems design based on a shared event B model
Yamine Ait-Ameur, Mickael Baron
Special Section on Leveraging Applications of Formal Methods
Rule-based verification of Web sites
M. Alpuente, D. Ballis, M. Falaschi
Special Section On Leveraging Applications of Formal Methods
Experiences applying formal approaches in the development of swarm-based space exploration systems
Christopher A. Rouff, Michael G. Hinchey, Walter F. Truszkowski, James L. Rash
Special Section on Quantitative Analysis of Real-time embedded Systems
Guest editors’ introduction: quantitative analysis of real-time embedded systems
Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef
Special Section on Quantitative Analysis of Real-time Embedded Systems
Automated model generation for performance engineering of building automation networks
Joern Ploennigs, Mario Neugebauer, Klaus Kabitzsch
Special Section on Quantitative Analysis of Real-time Embedded Systems
A formal analysis of bluetooth device discovery
Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker
Special Section on Quantitative Analysis of Real-time Embedded Systems
Model checker aided design of a controller for a wafer scanner
Martijn Hendriks, Barend van den Nieuwelaar, Frits Vaandrager
Special Section on Quantitative Analysis of Real-time Embedded Systems
System architecture evaluation using modular performance analysis: a case study
Ernesto Wandeler, Lothar Thiele, Marcel Verhoef, Paul Lieverse