Special Section on “Leveraging Formal Methods” (original) (raw)

Abstract

This Special Section contains selected papers from ISoLA 2004, the First International Symposium on Leveraging Applications of Formal Methods held in Paphos (Cyprus) October–November 2004. ISoLA 2004 served the need of providing a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. The seven selected papers illustrate the intended variety of ISoLA’s scope.

Access this article

Log in via an institution

Subscribe and save

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Aït-Ameur, Y., Baron, M.: Formal and experimental validation approaches in HCI systems design based on a shared event B model (this volume)
  2. Ballis, D., Alpuente, M., Falaschi, M.: Rule-based verification of Web sites (this volume)
  3. Francois, C., Boniol, F.: A formal framework for verifying distributed embedded systems based on abstraction methods (this volume)
  4. Erwan, J., Raymond, P., Baufreton, P.: Case studies with Lurette V2 (this volume)
  5. Henglein, F., Andersen, J., Elsborg, E., Simonsen, J.G., Stefansen, C.: Compositional specification of commercial contracts (this volume)
  6. Jörgensen, J.B., Christensen, S., Tuovinen, A.-P., Xu, J.: Tool support for estimating the memory usage of mobile phone software (this volume)
  7. Rouff, C., Hinchey, M.G., Truszkowski, W.F., Rash, J.L.: Experiences applying formal approaches in the development of swarm-based space exploration systems (this volume)

Download references

Author information

Authors and Affiliations

  1. Universität Potsdam, August-Bebel-Str. 89, Haus 4, 14482, Potsdam, Germany
    Tiziana Margaria
  2. University of Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany
    Bernhard Steffen

Authors

  1. Tiziana Margaria
  2. Bernhard Steffen

Corresponding author

Correspondence toTiziana Margaria.

Additional information

The authors, T. Margaria and B. Steffen, hold the Chair of Services and Software Engineering in the Universität Potsdam and the Chair of Programming Systems in the University of Dortmund, respectively.

Rights and permissions

About this article

Cite this article

Margaria, T., Steffen, B. Special Section on “Leveraging Formal Methods”.Int J Softw Tools Technol Transfer 8, 467–469 (2006). https://doi.org/10.1007/s10009-006-0028-4

Download citation

Keywords