Skip to main content
SpringerLink
Log in

Special Section on “Leveraging Formal Methods”

  • Special Section on leveraging Applications of Formal Methods
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

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
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tiziana 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

Reprints 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

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-006-0028-4

Keywords

Search

Navigation