Loading...
Please wait, while we are loading the content...
Similar Documents
A Reference Model for Requirements and Speciications Bell Labs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Bell, Elsa L. Gunter April, T. Laboratories |
| Copyright Year | 1998 |
| Abstract | 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 mathematical ramiications. In particular, we introduce a new form of reenement which is pivotal to deening the desired soundness and consistency properties precisely. We illustrate the consequences of these advances for two benchmark problems and for applications of the model in projects at AT&T and Lucent. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cis.upenn.edu/~hol/papers/refmod.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
