Abstract
Production of software for complex scientific and engineering computing requires high quality design. This paper explores application of system theory instrumented modelling and simulation with automated support to the design of software. The paper discusses the Development of Computer Aided Systems Theory (CAST) method banks as a research program at Johannes Kepler University of Linz/Austria.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bauer, F. L., ed., 1973, Advanced Course on Software Engineering, Lecture Notes in Economics and Mathematical Systems.
Eilenberg, S., 1974, Automata, Languages and Machines, Vol. A, Academic Press.
Holcombe, M., 1987, Goal Directed Task Analysis and Formal Interface Specifications, International Command & Control, Communications & Information Systems, Vol. 1, No. 4, pp. 14–22.
Holcombe, M., 1988, X-Machines as a Basis for Dynamic Systems Specification, Software Engineering Journal, March 1988 pp. 69–88.
Jamshidi, M., and Herget, C. J., 1985, Computer-Aided Control Systems Engineering, Series 1, North Holland, Amsterdam, Springer Verlag, Berlin.
Klir, G. J., 1985, The Architecture of Problem Solving, Plenum Publishing Corporation, New York. Mesarovic, M. D., Macko, D., and Takahara, Y., 1970, Theory of Hierarchical, Multi-level Systems, Academic Press, New York.
Mittelmann, R., 1988, Object Oriented Implementation of Petri Nets Concepts, Cybernetics and Systems ‘88, Trappl, R., ed., Kluwer Academic Publishers, Dordrecht, pp. 759–766.
Pichler, F., 1988, CAST-Computer Aided Systems Theory: A Framework for Interactive Method Banks, Cybernetics and Systems ‘88, Trappl, R., ed., Kluwer Academic Publishers, Dordrecht, pp. 731–736.
Pichler, F., and Prähofer, H., 1988, CAST.FSM Computer Aided Systems Theory: Finite State Machines, Cybernetics and Systems ‘88, Trappl, R., ed., Kluwer Academic Publishers, Dordrecht, pp. 737–742.
Pichler, F., and Schwärtzel, H., 1989, CAST: Computerunterstützte Systemtheorie Konstruktion interaktiver Methodenbanken, book manuscript 1988 (intended for publication at Springer Verlag Berlin 1989 ).
Rozenblit, J., 1988, Systems Theory Instrumented Simulation Modeling, Proceedings of the 1988 Winter Simulation Conference, San Diego, California, December 1988 (to appear).
Wymore, A. W., 1976, Systems Engineering Methodology for Interdisciplinary Teams, John Wiley & Sons, New York.
Wymore, A. W., 1980, A Mathematical Theory of System Design, Engineering Experiment Station, College of Engineering, The University of Arizona, Tucson.
Zeigler, B. P., 1984, Multifaceted Modelling and Discrete Event Simulation, Academic Press, London.
Zurcher, F. W., and Randell, B, 1968, Interactive Multi-Level Modelling, IFIP Congress Proceedings, Amsterdam, North Holland, 1968, pp. D138-D142.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Plenum Press, New York
About this chapter
Cite this chapter
Pichler, F. (1990). CAST — Modelling Approaches in Software Design. In: Zunde, P., Hocking, D. (eds) Empirical Foundations of Information and Software Science V. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-5862-6_5
Download citation
DOI: https://doi.org/10.1007/978-1-4684-5862-6_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4684-5864-0
Online ISBN: 978-1-4684-5862-6
eBook Packages: Springer Book Archive