Abstract
In the construction of requirements specifications for a given problem, it is generally recommended that overspecification of the problem solution be avoided [1]. Such overspecification tends to distort the functionality required by suggesting implementation concepts at the outset. In order to avoid overspecification, and to provide a support environment to the specifier, a four-stage system design environment is proposed and has been partially implemented over a three-year period. The theoretical basis of this approach is explained in [2]. Our system-level specification language (DODAN) is developed in [3]. Based on this specification language, a prototype (DAA) [4, 5, 6] for supporting the requirements specification stage has been implemented. Our other protype (DARMS) addressing the module specification stage was developed in [7, 8]. In this paper, the current status of the project is described with an emphasis on the requirements specification stage.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
A.M. Davis,Software Requirements Analysis and Specification. Prentice Hall: Englewood Cliffs, NJ, 1990.
M.M. Tanik and E.S. Chan,Fundamentals of Computing for Software Engineers. Van Nostrand Reinhold: New York, 1991.
W.P. Yin, “An integrated software design paradigm,” Southern Methodist University, Dallas: TX, Ph.D. dissertation, 1988.
W.P. Yin and M.M. Tanik, “Users manual: DAA: A prototype of an integrated prototyping system,” Southern Methodist University, Technical Report, SMU-TR-89-CSE-3, February 1989.
W.P. Yin and M.M. Tanik, “Programmers reference manual: DAA: A prototype of an integrated prototyping system,” Southern Methodist University, Technical Report, SMU-TR-89-CSE-2, February 1989.
W.P. Yin, D.Y.Y. Yun, and M.M. Tanik, “Design activity agent: A knowledge-based software design environment,”Proc. Int. Conf. on Software Engineering and Knowledge Engineering, Chicago, IL, pp. 1–8, 1989.
M.G. Christiansen, “Integrating domain knowledge into software components,” Southern Methodist University, Dallas, TX, Ph.D. dissertation, 1989.
M.G. Christiansen and M.M. Tanik, “Design issues for a distributed software engineering support system,”Int. J. Computer Applications in Technol., vol. 1, no. 1/2, pp. 88–95, 1988.
A. Simon,The Sciences of the Artificial. The M.I.T. Press: Cambridge, MA, 1969.
W. Royce,Managing the Development of Large Software Systems. Proc. IEEE WESCON, August, 1970, pp. 1–9. Reprinted in Proc. 9th IEEE Int. Conf. on Software Engineering, Washington, DC, 1987, pp. 328–338.
P. Zave and R.T. Yeh, “Executable requirements for embedded systems,”Proc. 5th IEEE Conf. Software Engineering, March 9–12, 1981, San Diego, CA, 1981, pp. 295–304.
S. N. Delcambre and M.M. Tanik, “DARMS component developer domain environment construction and installation manual version 1.1,” Southern Methodist University, Technical Report, SMU-TR-91-CSE-30, November 1991.
P.A. Ng and R.T. Yeh (eds.),Modern Software Engineering: Foundations and Current Perspectives. Van Norstrand Reinhold: New York, 1990.
R. Balzer and N. Goldman, “Principles of good software specification and their implications for specification languages,” inSoftware Specification Techniques, N. Gehani and A.D. McGettrick, eds., International Computer Science Series, 1986.
ART Reference Manual, Inference Corporation, Los Angeles, CA, January 1987.
H.E. Koenig, Y. Tokad, H.K. Kesevan, and H.G. Hedges,Analysis of Discrete Physical Systems, McGraw-Hill: New York, 1967.
L. Padulo and M.A. Arbib,System Theory: A Unified State-Space Approach to Continuous and Discrete Systems. W.B. Saunders: Philadelphia, 1974.
M.K. Sain,Introduction to Algebraic System Theory. Academic Press: New York, 1981.
D.M. Betz, “Xlisp: An object oriented Lisp, Version 2.0,” Public domain software, February 6, 1988.
G. Booch, “Object oriented development”,IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 211–221, 1986.
W.P. Yin and M.M. Tanik, “Reusability in the real-time use of Ada,”Int. J. Computer Applications in Technol., vol. 4, no. 1, pp. 71–78, 1991.
H. Blomberg and R. Ylinen,Algebraic Theory for Multivariable Linear Systems, Academic Press: New York, 1983.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dogru, A.H., Delcambre, S.N., Bayrak, C. et al. An integrated system design environment: Concepts and a status report. Journal of Systems Integration 2, 319–347 (1992). https://doi.org/10.1007/BF02317478
Received:
Revised:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02317478