From Worlds to Machines

van Lamsweerde, Axel
(2009) A Tribute to Michael Jackson — 1-13, published

Files

JacksonTribute.pdf
  • Restricted Access
  • Adobe PDF
  • 113.02 KB
Request a copy

Details

Authors
  • van Lamsweerde, AxelUCLouvain
    Author
Abstract
This paper provides a personal account of some of the foundational contributions made by Michael Jackson in the area of Requirements Engineering. We specifically focus on the relationship between problem worlds and machine solutions, and try to connect each contribution to related efforts while suggesting possible continuations. The anchoring of machine solutions on problem worlds is first considered together with means for delimiting, structuring,and characterizing problem worlds. The elaboration of machine specifications from world requirements is then discussed, including the use of satisfaction arguments, the questioning of requirements and assumptions, and the reuse of problem schemas. A car handbrake control system is used as a running example to illustrate the main ideas.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

van Lamsweerde, A. (2009). From Worlds to Machines. In B. Nuseibeh and P. Zave (Eds.) (ed.), A Tribute to Michael Jackson (pp. 1-13). LULU Press. https://hdl.handle.net/2078.5/40749