Two-dimensional software development model combining object-oriented method with formal method-Reference-Cited by-同舟云学术

Two-dimensional software development model combining object-oriented method with formal method

Published:1998-01 Issue:1 Volume:23 Page:81-85
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Xiaodong Yuan¹,Jiajun Chen¹,Guoliang Zheng¹

Affiliation:

1. Dept. of Computer Science, Nanjing University, Nanjing 210093, P.R. China

Abstract

Most of current software development models are linear, one-dimensional model. On the basis of the analysis of the current models, this paper provides a two-dimensional software development model that combines object-oriented method with formal method. This model has the advantages of both methods. We introduce three key stages of the model architecture in details

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/272263.272284

Reference15 articles.

1. {1} Hao Kegang. Research on Software Design. Publishing house of Northwest University. 1992:6. {1} Hao Kegang. Research on Software Design. Publishing house of Northwest University. 1992:6.

2. Smooth Transition of Structured Software Development Process;Jiajun Chen;Computer Research & Development,1996

3. {3} Eduardo Casais Thomas Lindner and Andreas Rüping. Formal Object-Oriented Methods. 1995. {3} Eduardo Casais Thomas Lindner and Andreas Rüping. Formal Object-Oriented Methods. 1995.

4. {4} Peter Coad and Edward Yourdon. Object-Oriented Analysis. Prentice-Hall Inc. Englewood Cliffs New Jersey 1991. {4} Peter Coad and Edward Yourdon. Object-Oriented Analysis. Prentice-Hall Inc. Englewood Cliffs New Jersey 1991.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Software Development for Educational Information Services Using Multilayering Semantics Adaptation;International Journal of Service Science, Management, Engineering, and Technology;2022-09-16

2. COOZ;ACM SIGSOFT Software Engineering Notes;1998-07