Software design methods for distributed computing systems

Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)

Yeom

Developing software f o r distributed Computing systems is challenging due t o lack of effective software development methodologies and iools. In particular, because many errors in ihe source code can be traced to the errors in the requiremenis specification, it is especially important to have effeciive verification techniques f o r the requiremenis specification. In this paper, an approach io verificaiion of objeci-oriented requiremenis specification (OORS) in software development for distribuied compuiing systems is presenied. In our approach, ihe requirements specification generated by object-oriented analysis is described using a formal specification language, which is transformed into an informaiion tree. Then, the completeness and consistency of the requirements specification ezpressed in terms of the informalion tree is verified b y comparing it with the original requiremenis staiement.

show abstract

“…2 We search a statement in the requirements statements matched with the statement represented by that path. We find the statement in ori inal requirements statement, "ATM dispenses cas%".…”

Section: Checking the Completeness And Consistency Of The Requirementmentioning

confidence: 99%

“…2 The corresponding path of this statement in the information tree is identified by selecting nodes such as ATM, dispense-cash, cash and 5 200…”

Section: Checking the Completeness And Consistency Of The Requirementmentioning

confidence: 99%

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

Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)

Yeom

show abstract

Object-oriented development of architecture transparent software for distributed parallel systems

Computer Communications

Chidambaram

1993

Object-oriented and functional software design for distributed real-time systems

Computer Communications

1994