Yuan Xiaodong
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
- {1} Hao Kegang. Research on Software Design. Publishing house of Northwest University. 1992:6.Google Scholar
- {2} Chen Jiajun and Zheng Guoliang. Smooth Transition of Structured Software Development Process. Computer Research & Development, 1996, 3:176-180.Google Scholar
- {3} Eduardo Casais, Thomas Lindner and Andreas Rüping. Formal Object-Oriented Methods. 1995.Google Scholar
- {4} Peter Coad and Edward Yourdon. Object-Oriented Analysis. Prentice-Hall, Inc. Englewood Cliffs, New Jersey, 1991. Google ScholarDigital Library
- {5} Nobuto Kotaka, Yoshinori Kishimoto and Shinichi Honiden. Specification process modeling in OOA. In: Technology of Object-Oriented Languages and Systems Tools 6, Prentice Hall, Englewood Cliffs, New Jersey, 1991:67-81.Google Scholar
- {6} Mark Ratjens. Discovering classes and their properties in large-scale information systems. In: Technology of Object-Oriented Languages and Systems Tools 6, Prentice Hall, Englewood Cliffs, New Jersey, 1991:53-65.Google Scholar
- {7} Rebecce Wirfs-Brock, Brian Wilkerson and Lauren Wiener, Designing Object-Oriented Software. Prentice-Hall, Inc. Englewood Cliffs, New Jersey, 1990. Google ScholarDigital Library
- {8} J Ayre, F G Wilkje and J G Hughes. An approach to the design of object associations. Information and Software Technology, 1995, 8:443-451.Google ScholarCross Ref
- {9} David W. Embley, Barry D. Kurtz and Scott N. Woodtield. Object-Oriented Systems Analysis. Prentice-Hall, Inc. Englewood Cliffs, New Jersey, 1992.Google Scholar
- {10} Hanns-Helmuth Deubler and Meinhard Koestler. Introducing Object Orientation into Large and Complex Systems. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 11:840-848. Google ScholarDigital Library
- {11} Andreas Rüping. Modules In Object-Oriented Systems.Google Scholar
- {12} K. Lano. Rifinement in Object-Oriented Specification Languages. In: 6th Refinement Workshop(1994):236-259.Google Scholar
- {13} Yuan Xiaodong, Chen Jiajun and Zheng Guoliang. Research on Automatic Refinement of OOZE. To appear.Google Scholar
- {14} Susan Stepney, Rosalind Barden and David Cooper(Eds.). Object Orientation in Z. Workshops in Computing Springer-Verlag. 1992. Google ScholarDigital Library
- {15} Huang Tao, Feng Yulin and Lijing. A Formal Semantic Model for Object. Journal of Software, 1995, Supplement:207-212.Google Scholar
Index Terms
- Two-dimensional software development model combining object-oriented method with formal method
Recommendations
A Framework of Generating Software Process Including Milestones for Object-Oriented Development Method
APSEC '96: Proceedings of the Third Asia-Pacific Software Engineering ConferenceOne of the major problems in object-oriented software projects is the lack of management ability to comprehend and control the development progress of a project. This is because traditional phases of software development are not appropriate for object-...
Object-oriented software development with the Demeter Method (abstract)
The Demeter Method is a formal method that lifts object-oriented software development to a higher level of abstraction by using a graphical specification language for describing object-oriented programs. Executable programs are automatically generated ...
Comments