Abstract
Developing software for distributed computing systems is challenging due to lack of effective software development methodologies and tools. In particular, because many errors in the source code can be traced to the errors in the requirements specification, it is especially important to have effective verification techniques for the requirements specification. In this paper, an approach to verification of object-oriented requirements specification (OORS) in software development for distributed computing systems is presented. In our approach, the requirements specification generated by object-oriented analysis is described using a formal specification language, which is transformed into an information tree. Then, the completeness and consistency of the requirements specification expressed in terms of the information tree is verified by comparing it with the original requirements statement.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings - IEEE Computer Society's International Computer Software & Applications Conference |
| Publisher | IEEE |
| Pages | 96-102 |
| Number of pages | 7 |
| State | Published - 1994 |
| Externally published | Yes |
| Event | Proceedings of the 18th Annual International Computer Software & Applications Conference (COMPSAC 94) - Taipei, Taiwan Duration: Nov 9 1994 → Nov 11 1994 |
Other
| Other | Proceedings of the 18th Annual International Computer Software & Applications Conference (COMPSAC 94) |
|---|---|
| City | Taipei, Taiwan |
| Period | 11/9/94 → 11/11/94 |
ASJC Scopus subject areas
- Engineering(all)