Volume 8, Issue 6

Search all International Journal on Software Tools for Technology Transfer articles

November 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)

13 articles in this issue

Special Section on “Leveraging Formal Methods”
Tiziana Margaria
Bernhard Steffen
Special Section on leveraging Applications of Formal Methods 09 September 2006 Pages: 467 - 469
A formal framework for verifying distributed embedded systems based on abstraction methods
Francois Carcenac
Frederic Boniol
Special Section on Leveraging Applications of Formal Methods 05 September 2006 Pages: 471 - 484
Compositional specification of commercial contracts
Jesper Andersen
Ebbe Elsborg
Christian Stefansen
Special Section on Leveraging Applications of Formal Methods 21 October 2006 Pages: 485 - 516
Case studies with Lurette V2
Erwan Jahier
Pascal Raymond
Philippe Baufreton
Special Section on Leveraging Applications of Formal Methods 29 July 2006 Pages: 517 - 530
Tool Support for Estimating the Memory Usage of Mobile Phone Software
Jens Bæk Jørgensen
Søren Christensen
Jianli Xu
Special Section on Leveraging Applications of Formal Methods 04 July 2006 Pages: 531 - 545
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 04 July 2006 Pages: 547 - 563
Rule-based verification of Web sites
M. Alpuente
D. Ballis
M. Falaschi
Special Section on Leveraging Applications of Formal Methods 26 July 2006 Pages: 565 - 585
Experiences applying formal approaches in the development of swarm-based space exploration systems
Christopher A. Rouff
Michael G. Hinchey
James L. Rash
Special Section On Leveraging Applications of Formal Methods 22 August 2006 Pages: 587 - 603
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 01 August 2006 Pages: 605 - 606
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 10 August 2006 Pages: 607 - 620
A formal analysis of bluetooth device discovery
Marie Duflot
Marta Kwiatkowska
David Parker
Special Section on Quantitative Analysis of Real-time Embedded Systems 05 July 2006 Pages: 621 - 632
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 27 July 2006 Pages: 633 - 647
System architecture evaluation using modular performance analysis: a case study
Ernesto Wandeler
Lothar Thiele
Paul Lieverse
Special Section on Quantitative Analysis of Real-time Embedded Systems 20 July 2006 Pages: 649 - 667

Volume 8, Issue 6

Search

Navigation