A Reference Model for Requirements and Speciications Bell Labs

  • 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… CONTINUE READING