A Reference Model for Requirements and Speciications Bell Labs

  title={A Reference Model for Requirements and Speciications Bell Labs},
  author={Elsa L. GunterBell and T LaboratoriesApril},
  • Elsa L. GunterBell, T LaboratoriesApril
  • Published 1998
We deene a reference model for applying formal methods to the development of user requirements and their reduction to behavioral speciication of a system. The approach is characterized by its focus on the shared phenomena that deene the interface between the system and the environment in which it will operate and on how the parts of this interface are controlled. This paper extends our previous work on this model by representing it in higher-order logic and determining some of its key… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.

Tasiran . Mocha : Modularity in ModelChecking

  • T. A. Henzinger R. Alur, F. Mang, S. Qadeer, S.
  • Proceedings of the Tenth InternationalConference…
  • 1998

Conjoining speci ca- tions

  • Martin Abadi, Leslie Lamport
  • ACM Transactions on Programming Languages and…
  • 1995

Similar Papers

Loading similar papers…