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

Yau, Stephen S.; Bae, Doo‐Hwan; Yeom, Keunhyuk

doi:10.1109/cmpsac.1994.342825

Cited by 7 publications

(5 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We have developed a formal approach to verify the OOA [5]. Some modifications have been made to incorporate the OOA verification into our framework as shown in Figure 6.…”

Section: Analysis Verificationmentioning

confidence: 99%

See 1 more Smart Citation

A framework for an integrated tool set for object-oriented analysis of application software development

Yau

Wang

Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96

Self Cite

View full text Add to dashboard Cite

A b s t r a c tThe object-oriented approach is promising in the rapid development of applzcataon software for either sequential or distributed parallel systems. Although automation in object-oriented code generation has been realized by various CASE tools, automation in objectoriented analysis is still immature. In this paper, a framework for building an integrated tool set for providing partial automation in object-oriented analysis is presented for significantly reducing the development effort. The analysis starts from the initial problem statements with user's close participation and the support of CASE tools. Then, the corresponding results are further verified and updated b y examining the graphical representations generated from the textual specifications. These analysis diagrams can be passed to the object-oriented design phase for further refinement.

show abstract

“…We have developed a formal approach to verify the OOA [5]. Some modifications have been made to incorporate the OOA verification into our framework as shown in Figure 6.…”

Section: Analysis Verificationmentioning

confidence: 99%

“…In [5], systematic top-down and bottom-up approaches for completeness and consistency checks between the OOA results and user problem statements can be realized through comparisons. The difference between top-down and bottom-up is as follows:…”

Section: Analysis Verificationmentioning

confidence: 99%

A framework for an integrated tool set for object-oriented analysis of application software development

Yau

Wang

Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96

Self Cite

View full text Add to dashboard Cite

show abstract

“…The concept of information tree was originally invented for effective checking of completeness and consistency between given requirements statements and its object-oriented requirements specifications(OORS) [12]. Information tree is built from formal specification written in a formal specification language.…”

Section: Building a Specification Information Treementioning

confidence: 99%

“…Such classes become applicationsemantic. documents that can be used for system's dynamic behavior [12].…”

Section: Building a Specification Information Treementioning

confidence: 99%

Object-oriented model refinement technique in software reengineering

Park¹,

Min²,

Bae³

et al.

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 3

View full text Add to dashboard Cite

Software reengineering for object-oriented rearchitecturing offers an exciting opportunity in migrating old legacy systems to evolvable systems in a disciplined manner. In the twofold-strategy software reengineering for object-oriented rearchitecturing, one of the problems to be solved is to derive a proper object-oriented model from the output of reverse engineering and the output of forward engineering. In general, the outputs of forward and reverse engineering can be inconsistent in their abstract levels, the amount of design information, naming conventions, and structures. In this paper, we present an Object-oriented model Refinement Technique(ORT) to build a final object model in the twofold-strategy software reengineering. We first organize the information gained from reverse engineering into specification information tree, and then compare the entities in the specification information tree with the information from forward engineering using tree-structured data dictionary to produce the final model. We demonstrate the usability of ORT by an example.

show abstract

“…To verify the OORS, we check the completeness and consistency between the requirement statements in the natural language and the OORS [7]. To do so, we transform the OORS which is expressed in terms of the object model and dynamic model generated by OORA into a formal specification using a formal specification language, which is then transformed to a graphic form called the information tree.…”

Section: Object-oriented Requirements Verifi-mentioning

confidence: 99%

An object-oriented software development framework for autonomous decentralized systems

Yau

Yeom

Gao

et al.

Proceedings ISADS 95. Second International Symposium on Autonomous Decentralized Systems

Self Cite

View full text Add to dashboard Cite

Developing software for distributed computing systems is challenging due t o lack of good software development methodologies f o r distributed computing systems. It is very important t o develop reliable, adaptable and expandable application software for distributed computing systems. Autonomous Decentralized Systems (ADS is a on-line maintainability and fault-tolerance capability. In this paper, a framework f o r developing A D S application software is presented. Our framework consists of objectoriented requirements analysis, system design, implementation, allocation, verification .and maintenance. It is based on the object-oriented computation model developed f o r A D S application software development which supports on-line expandability and on-line modifiability. CASE environments for A D S software development are also discussed.

show abstract

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

Cited by 7 publications

References 13 publications

A framework for an integrated tool set for object-oriented analysis of application software development

A framework for an integrated tool set for object-oriented analysis of application software development

Object-oriented model refinement technique in software reengineering

An object-oriented software development framework for autonomous decentralized systems

Contact Info

Product

Resources

About