The SMARTIE framework for modelling discrete dynamic systems

  • Geert-Jan Houben
  • Jan L. G. Dietz
  • Kees M. van Hee
Conference paper
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 103)


Modelling Language Banking System Free Variable Finite State Machine Predicate Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Chang, C.L., Lee, R.C.T. (1973). Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.Google Scholar
  2. Dietz, J.G., van Hee, K.M. (1987). A Framework for the Conceptual Modeling of Discrete Dynamic Systems. Proc. of Temporal Aspects in Information Systems, 1987.Google Scholar
  3. Harel, D. (1986). Statecharts: A Visual Approach to Complex Systems. CS 86-02, The Weizmann Institute of Science, 1986.Google Scholar
  4. van Hee, K.M., Houben, G.J., Dietz, J.L.G. (1987). Modelling of Discrete Dynamic Systems Framework and Examples. Eindhoven University of Technology, 1987.Google Scholar
  5. Jackson, M. (1983). System Development. Prentice Hall, 1983.Google Scholar
  6. Lloyd, J.W. (1984). Foundations of Logic Programming. Springer Verlag, 1984.Google Scholar
  7. Reiter, R. (1984). Towards a Logical Reconstruction of Relational Databases. In M.L. Brodie, J. Mylopoulos, J.W. Schmidt (eds.), On Conceptual Modeling. Springer Verlag, 1984.Google Scholar
  8. Sridhar, K.T., Hoarc, C.A.R. (1985). Oxford University Computing Laboratory, 1985.Google Scholar
  9. Ward, P.T., Mellor, S.J. (1985). Structured Development for Real-Time Systems. Yourdon Press, 1985.Google Scholar

Copyright information

© International Institute for Applied Systems Analysis 1988

Authors and Affiliations

  • Geert-Jan Houben
  • Jan L. G. Dietz
  • Kees M. van Hee

There are no affiliations available

Personalised recommendations