Delaying difficult design decisions

The context of this paper is system engineering of the software needed in constructed complex systems, which are large systems managed or mediated by computing systems. In this paper, we describe an approach to systems engineering design and modeling that allows difficult design decisions to be delayed until enough information is available to make them properly. We use our Problem Solving Interpretation of programming languages to allow a mix of specification and implementation throughout the design process, and a model-based approach to design that provides an executable specification/model of the system at all stages of its development.

[1]  Christopher Landauer,et al.  Problem posing interpretation of programming languages , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[2]  Christopher Landauer,et al.  Wrapping Mathematical Tools , 1992 .

[3]  Kirstie L. Bellman.  An approach to integrating and creating flexible software environments supporting the design of complex systems , 1991, 1991 Winter Simulation Conference Proceedings..

[4]  Christopher Landauer,et al.  Computational Embodiment: Constructing Autonomous Software Systems , 1999, Cybern. Syst..

[5]  Christopher Landauer,et al.  Challenges for conceptual design environments: the VEHICLES experience , 1993 .

[6]  Christopher Landauer,et al.  Computational Infrastructure for Experiments in Cognitive Leverage , 2001, Cognitive Technology.

[7]  David Schmidt.  Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , 1993 .

[8]  Philippe Lalanda,et al.  A Domain-Specific Software Architecture for Adaptive Intelligent Systems , 1995, IEEE Trans. Software Eng..

[9]  G. Alan Creak.  Garbage-further investigations , 1991, SIGP.

[10]  Pattie Maes,et al.  Meta-Level Architectures and Reflection , 1988 .

[11]  Neil D. Jones,et al.  An introduction to partial evaluation , 1996, CSUR.

[12]  Donald O. Walter,et al.  Some issues in model integration , 1990 .

[13]  Olivier Danvy,et al.  Partial evaluation , 2003 .

[14]  K.L. Bellman,et al.  Wrappings for software development , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[15]  Christopher Landauer,et al.  Detecting anomalies in constructed complex systems , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[16]  Kirstie L. Bellman,et al.  The modeling issues inherent in testing and evaluating knowledge-based systems , 1990 .

[17]  Olivier Danvy,et al.  Tutorial notes on partial evaluation , 1993, POPL '93.

[18]  Christopher Landauer,et al.  Generic programming, partial evaluation, and a new programming paradigm , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.