Abstract
This paper puts forward a kind of novel methodology for software system development, from the point of view of the problem existed in software development -- the gap between the requirement specification level and the program implementation level. We attempt to begin from the specification level of software development to touch the process of high-level specification construction profoundly. We propose a specification language to support multiple semantic dimensions and based on which build a unified functional model of software system in a specific domain. On the bases of these, we apply transformation and refinement methods to the model and transit it from the specification level to the implementation level. We expect such a process can change the current software producing procedure in nature. We also put this methodology into the application of the software development in real-time serving domain we focus on, which turns out to be encouraging.
- {1} R.T. Yeh, Peter A. Ng, eds., 1990, Modern Software Engineering, Foundations and Current Perspective, Von Norstrand Reinhold.Google Scholar
- {2} N.E. Fuchs, 1992, Specifications are (preferably) executable, Software Engineering Journal, Sep. Google ScholarDigital Library
- {3} I.J. Hayes, 1989, Specifications are not (necessarily) executable, Software Engineering Journal, Nov. Google ScholarDigital Library
- {4} P. Zave, 1986, Salient Features of an Executable Specification Language and Its Environment, IEEE SE-12:2. Google ScholarDigital Library
- {5} C. Rich, R.C. Waters, 1988, The Programmer's Apprentice: A Research Overview, IEEE Computer 21:11. Google ScholarDigital Library
- {6} V. Berzins, et al., 1993, Using Transformations in Specification-Based Prototyping, IEEE SE-19:5. Google ScholarDigital Library
- {7} Michael R. Lowry, 1992, software Engineering in Twenty-First, AI Magzine, Vol. 14, No. 3. Google ScholarDigital Library
- {8} Michael R. Lowry, R.D. McCartney, 1991, Automating Software Design, AAAI Press. Google ScholarDigital Library
- {9} D.R. Smith, et al., 1985, Research on Knowledge-based Software Environments at Kestrel Institute, IEEE Tran.on Software Engineering 11:11. Google ScholarDigital Library
- {10} D.R. Barstow, 1986, A Perspective on Automatic Programming, Readings in Artificial Intelligence and Software Engineering, Eds. C. Rich and R.C. Waters, 537-559, San Mateo, Calif:Morgan Kaufmann. Google ScholarDigital Library
- {11} R. Balzer, 1985, A 15 Year Perspective on Automatic Programming, IEEE SE-11:11. Google ScholarDigital Library
- {12} V. Berzins, Luqi, 1990, An Introduction to the Specification Language Spec, IEEE Software, Mar. Google ScholarDigital Library
- {13} P. Zave, 1982, An Operational Approach to Requirements Specification for Embedded Systems, IEEE SE-8:3.Google Scholar
- {14} Y. Tung, et al., 1993, Multiple Views of an Executable Software Specification Language, J. Systems Software, No. 3, vol. 21. Google ScholarDigital Library
- {15} PIC: a commercial computer-connected information consulting net, Technical Report, PIC-TR-93-201, PIC Co., Hangzhou, 1993.Google Scholar
- {16} Zhijun He, et al., 1993, The High-level Construction of Expert System and Its Gap Bridging, Technical Report, Artificial Intelligence Institute, Zhejiang University.Google Scholar
- {17} Zhaohui Wu, Ying Jing, Zhijun He, 1992, A Survey of Coupled Expert System Building Toolkit, Proc. 10th European Conference on Artificial Intelligence (ECAI'92), Vienna, Austria. Google ScholarDigital Library
- {18} Ying Jing, Zhijun He, 1994, Intelligent Environment Supporting for Software Requirement Analysis and Development, journal of Zhejiang University, No. 1, Vol. 28.Google Scholar
- {19} Ying Jing, Zhijun He, 1993, New Approach to Integrating AI Techniques with CASE, Proc. 6th International Symposium on Artificial Intelligence (ISAI'93), Monterry, Mexico.Google Scholar
- {20} Ying Jing, et al., 1992, Representational Approach to Support Software Requirement Analysis and Development, Proc. 4th International Conference on Expert Systems Applications, Houston, U.S.A.Google Scholar
- {21} Ying Jing, 1995, Research on A Novel Software Development Methodology: High-level Software Specification Construction, Ph.D. Dissertation, Zhejiang University.Google Scholar
Index Terms
- A methodology for high-level software specification construction
Recommendations
A methodology for creating an IEEE standard 830-1998 software requirements specification document
Software intensive systems are developed to provide solutions in some problem domain and software engineering principles are employed to develop and implement such systems. Software engineering principles should enhance development and production of ...
Retrospective software specification
Experience gained in successfully applying formal methods to an animated programming environment (APE) is reported. These techniques were applied to specify precisely some features of the APE system. The benefits of applying formal methods particularly ...
Comments