Abstract
Specifications are important in software development because a large percentage of the errors at implementation and test phases are traceable to a lack of precision of the specifications. Formal methods are studied and applied to produce clear specifications and argue about them rigorously. As formal methods may even increase the ratio of specification phase in the software life-cycle, it is necessary to be efficient in debugging, modification, and reuse of specifications to reduce cost of the whole software development process. In a large scale specification in particular, parts extracted from the specification are useful. We introduce here a specification slicing that supports debugging, modification and reuse of specifications. In this paper, we define specification slice as a part of a specification that defines or restricts values of a particular variable used in the specification. Attention is also directed to applications of specification slicing and support tools.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - IEEE Computer Society's International Computer Software & Applications Conference |
| Editors | Anon |
| Publisher | Publ by IEEE |
| Pages | 313-319 |
| Number of pages | 7 |
| ISBN (Print) | 0818644400 |
| Publication status | Published - 1993 |
| Event | Proceedings of the 17th Annual International Computer Software & Applications Conference - COMPSAC 93 - Phoenix, AZ, USA Duration: Nov 1 1993 → Nov 5 1993 |
Other
| Other | Proceedings of the 17th Annual International Computer Software & Applications Conference - COMPSAC 93 |
|---|---|
| City | Phoenix, AZ, USA |
| Period | 11/1/93 → 11/5/93 |
All Science Journal Classification (ASJC) codes
- Software
- Computer Science Applications