Corpus ID: 14462601

A Reference Model for Requirements and Speciications Bell Labs

@inproceedings{GunterBell1998ARM,
  title={A Reference Model for Requirements and Speciications Bell Labs},
  author={Elsa L. GunterBell and T. LaboratoriesApril},
  year={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… Expand

References

SHOWING 1-10 OF 33 REFERENCES
A Reference Model for Requirements and Specifications
  • 273
  • PDF
Four dark corners of requirements engineering
  • 787
  • PDF
Reactive modules
  • R. Alur, T. Henzinger
  • Computer Science
  • Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
  • 1996
  • 280
  • Highly Influential
  • PDF
The temporal logic of actions
  • 2,109
  • Highly Influential
  • PDF
Domain descriptions
  • M. Jackson, P. Zave
  • Computer Science
  • [1993] Proceedings of the IEEE International Symposium on Requirements Engineering
  • 1993
  • 142
  • PDF
Documentation of requirements for computer systems
  • 92
  • Highly Influential
  • PDF
MOCHA: Modularity in Model Checking
  • 440
  • Highly Influential
  • PDF
Parallel program design - a foundation
  • 2,122
...
1
2
3
4
...