Advertisement

Software & Systems Modeling

, Volume 4, Issue 3, pp 234–235 | Cite as

Introduction

  • Tommaso Bolognesi
  • John Derrick
Special section on St.Eve workshop
  • 55 Downloads

Keywords

System Conception Derrick Abstract State Machine Individual Advantage Softw Syst Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Abadi M, Lamport L (1993) Composing Specifications. ACM Transactions on Programming Languages and Systems 15(1):73–132, January 1993CrossRefGoogle Scholar

Copyright information

© Springer-Verlag 2005

Authors and Affiliations

  1. 1.Area della Ricerca CNRCNR, Istituto di Scienza e Technologie dell’Informazione “A. Faedo”PisaItaly
  2. 2.Department of Computer ScienceUniversity of SheffieldSheffieldUK

Personalised recommendations