Approach to object-oriented requirements verification in software development for distributed computing systems

Sik-Sang Yau, Doo Hwan Bae, Keunhyuk Yeom

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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 languageEnglish (US)
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
PublisherIEEE
Pages96-102
Number of pages7
StatePublished - 1994
Externally publishedYes
EventProceedings of the 18th Annual International Computer Software & Applications Conference (COMPSAC 94) - Taipei, Taiwan
Duration: Nov 9 1994Nov 11 1994

Other

OtherProceedings of the 18th Annual International Computer Software & Applications Conference (COMPSAC 94)
CityTaipei, Taiwan
Period11/9/9411/11/94

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Approach to object-oriented requirements verification in software development for distributed computing systems'. Together they form a unique fingerprint.

Cite this