Abstract:
Developing software for distributed computing systems is challenging due to lack of effective software development methodologies and tools. In particular, because many er...Show MoreMetadata
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.<>
Published in: Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)
Date of Conference: 09-11 November 1994
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-6705-2