[1]Wu Huisong.Software development method based on object -oriented and formal technology[J].Journal of Zhengzhou University (Engineering Science),1997,18(01):99-104.
Copy
Journal of Zhengzhou University (Engineering Science)[ISSN
1671-6833/CN
41-1339/T] Volume:
18卷
Number of periods:
1997 01
Page number:
99-104
Column:
Public date:
1997-07-28
- Title:
-
Software development method based on object -oriented and formal technology
- Author(s):
-
Wu Huisong
-
Computer Application Research Office of North China Petroleum Survey and Design Institute
-
- Keywords:
-
Software development method; object -oriented; formalized method; software reuse; program transformation; system verification
- CLC:
-
-
- DOI:
-
-
- Abstract:
-
With the rapid expansion of software development, the current popular software development methods (including the current software engineering method) have difficulty meeting the requirements of development practice, and practice requires new progress in software development methods. In view of this, on the basis of object -oriented and opening methods, this article systematically proposes a strict software development method, trying to make the developer’s creativity and the automation ability of the development environment.