Wrappings for one-of-a-kind software development

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn 2002-January, Issue , 2002, Pages 3987-3995

  Landauer, C ^a   Bellman, K L ^a  

^a AEROSPACE CORPORATION   (United States)

Author keywords

Aerospace engineering; Application software; Computer applications; Computer architecture; Design engineering; Postal services; Programming; Specification languages; Systems engineering and theory; Wrapping

Indexed keywords

AEROSPACE ENGINEERING; APPLICATION PROGRAMS; COMPUTATION THEORY; COMPUTER APPLICATIONS; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DESIGN; MATHEMATICAL PROGRAMMING; PACKAGING; POSTAL SERVICES; SOFTWARE DESIGN; SPECIFICATION LANGUAGES; SYSTEMS ENGINEERING;

CONVENTIONAL TECHNIQUES; DESIGN ENGINEERING; ENGINEERING PRACTICES; EXPLICIT CONNECTIONS; HETEROGENEOUS COMPUTING SYSTEM; PROGRAMMING PARADIGMS; SYSTEMS ENGINEERING AND THEORIES; VERIFICATION TECHNIQUES;

COMPUTER SYSTEMS PROGRAMMING;

EID: 84948700743     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2002.994472     Document Type: Conference Paper

References (50)

1. Harold Abelson, Gerald Sussman, with Julie Sussman, The Structure and Interpretation of Computer Programs, Bradford Books, now MIT Press (1985)
2. Kirstie L. Bellman, "The Modelling Issues Inherent in Testing and Evaluating Knowledge-based Systems", pp. 199-215 in Chris Culbert (ed.), Special Issue: Verification and Validation of Knowledge Based Systems, Expert Systems With Applications Journal, Volume 1, No. 3 (1990)
3. Kirstie L. Bellman, "An Approach to Integrating and Creating Flexible Software Environments Supporting the Design of Complex Systems", pp. 1101-1105 in Proceedings of WSC'91: The 1991 Winter Simulation Conference, 8-11 December 1991, Phoenix, Arizona (1991);
4. Kirstie L. Bellman, Christopher Landauer, "Flexible Software Environments Supporting the Design of Complex Systems", Proceedings of the Artificial Intelligence in Logistics Meeting, 8-10 March 1993, Williamsburg, Virginia, American Defense Preparedness Association (1993)
5. Kirstie L. Bellman, April Gillam, and Christopher Landauer, "Challenges for Conceptual Design Environments: The VEHICLES Experience", Revue Internationale de CFAO et d'Infographie, Hermes, Paris (September 1993)
6. Kirstie L, Bellman, Christopher Landauer, "Integration Science is More Than Putting Pieces Together", (to appear) in Proceedings of the 2000 IEEE Aerospace Conference, 18-25 March 2000, Big Sky, Montana, IEEE Press (2000)
7. Richard Bellman, P. Brock, "On the concepts of a problem and problem-solving", American Mathematical Monthly, Volume 67, pp. 119-134 (1960)
8. Thomas A. Bruce, Designing Quality Databases with IDEF1X Information Models, Dorset House (1992)
9. Timothy Budd, Multiparadigm Programming in LEDA, Addison-Wesley (1995)
10. C. Consel, O. Danvy, "Tutorial Notes on Partial Evaluation", Proceedings PoPL'93: The 20th ACM Symposium on Principles of Programming Languages, Charleston, South Carolina (January 1993)
11. Olivier Danvy, Robert Glück, Peter Thiemann (eds.), Partial Evaluation, Proceedings of the International Seminar, 12-16 February 1996, Dagstuhl Castle, Germany, Springer Lecture Notes in Computer Science, Volume 1110 (1996)
12. Paul K. Davis, "An Introduction to Variable-Resolution Modeling and Cross-Resolution Model Connection", pp. 1-43 in [12];
13. Paul K. Davis, "An Introduction to Variable-Resolution Modeling and Cross-Resolution Model Connection", RAND report R-4252-DARPA, RAND Corp. (1993)
14. Paul K. Davis, Richard Hillestad (eds.), Proceedings of DARPA Variable-Resolution Modeling Conference, 5-6 May 1992, Herndon, Virginia, Conference Proceedings CF-103-DARPA, RAND Corp. (March 1993)
15. R. Kent Dybvig, The Scheme Programming Language, Prentice-Hall (1987)
16. David W. Embley, Barry D. Kurtz, Scott N. Woodfield, Object-Oriented Systems Analysis, Yourdon Press (1992)
17. Hans-Erik Eriksson, Magnus Penker, UML Toolkit, Wiley (1998)
18. Adele Goldberg and David Robson, Smalltalk-80: The Language and its Implementation, Addison-Wesley (1983)
19. John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (eds.), Partial Evaluation: Practice and Theory, Proceedings of the DIKU 1998 International Summer School, 29 June - 10 July 1998, Copenhagen, Denmark, Springer Lecture Notes in Computer Science, Volume 1706 (1998)
20. P. Hudak, N. D. Jones (eds.), "Partial Evaluation and Semantics-Based Program Manipulation", SIGPLAN Notices, Volume 26, No. 9 (1991)
21. N. D. Jones, "Partial Evaluation", Computing Surveys, Volume 28, No. 3 (September 1996)
22. N. D. Jones, C. K. Gomard, P. Sestoft, Partial Evaluation and Automatic Program Generation, Prentice-Hall (1993)
23. Catriona M. Kennedy, "Distributed Reflective Architectures for Adjustable Autonomy", in David Kortenkamp, Gregory Dorais, Karen L. Myers (eds.), Proceedings of IJCAI-99 Workshop on Adjustable Autonomy Systems, 1 August 1999, Stockholm, Sweden (1999)
24. Gregor Kiczales, Jim des Rivières, Daniel G. Bobrow, The Art of the Meta-Object Protocol, MIT Press (1991)
25. Haim Kilov, James Ross, Information Modeling, Prentice-Hall (1994)
26. Christopher Landauer, "Wrapping Mathematical Tools", pp. 261-266 in Proceedings of the 1990 SCS Eastern Multi-Conference, 23-26 April 1990, Nashville, Tennessee, Simulation Series, Volume 22(3), SCS (1990);
27. pp. 415-419 in Proceedings of Interface'90: The 22nd Symposium on the Interface (between Computer Science and Statistics), 17-19 May 1990, East Lansing, Michigan (1990)
28. Christopher Landauer, Kirstie L. Bellman, "Integration Systems and Interaction Spaces", pp. 161-178 in Proceedings of FroCoS'96: The First International Workshop on Frontiers of Combining Systems, 26-29 March 1995, Munich, Germany (March 1996)
29. Christopher Landauer, Kirstie L. Bellman, "Model-Based Simulation Design with Wrappings", pp. 169-174 in Proceedings of OOS'97: Object Oriented Simulation Conference, part of WMC'97: The 1997 SCS Western Multi-Conference, 12-15 January 1997, Phoenix, Arizona, SCS International (1997)
30. Christopher Landauer, Kirstie L. Bellman, "Computational Embodiment: Constructing Autonomous Software Systems", pp. 42-54 in Judith A. Lombardi (ed.), Continuing the Conversation: Dialogues in Cybernetics, Volume I, Proceedings of the 1997 ASC Conference, American Society for Cybernetics, 8-12 March 1997, U. Illinois (1997);
31. pp. 131-168 in Cybernetics and Systems: An International Journal Volume 30, No. 2 (1999)
32. Christopher Landauer, Kirstie L. Bellman, "Wrappings for Software Development", pp. 420-429 in Proceedings of HICSS'98: The 31st Hawaii Conference on System Sciences, Volume III: Emerging Technologies, Software Process Improvement Mini-Track, 6-9 January 1998, Kona, Hawaii (1998)
33. Christopher Landauer, Kirstie L. Bellman, "Generic Programming, Partial Evaluation, and a New Programming Paradigm", Paper etspi02 in Proceedings of HICSS'99: The 32nd Hawaii Conference on System Sciences, Track III: Emerging Technologies, Software Process Improvement Mini-Track, 5-8 January 1999, Maui, Hawaii (1999);
34. Christopher Landauer, Kirstie L. Bellman, "Generic Programming, Partial Evaluation, and a New Programming Paradigm", Chapter 8, pp. 108-154 in Gene McGuire (ed.), Software Process Improvement, Idea Group Publishing (1999)
35. Christopher Landauer, Kirstie L. Bellman, "Problem Posing Interpretation of Programming Languages", Paper etecc07 in Proceedings of HICSS'99: the 32nd Hawaii Conference on System Sciences, Track III: Emerging Technologies, Engineering Complex Computing Systems Mini-Track, 5-8 January 1999, Maui, Hawaii (1999)
36. Christopher Landauer, Kirstie L. Bellman, "Reflective Infrastructure for Autonomous Systems", in Proceedings of Agents'99/ACS'99: Workshop on Autonomy Control Software,1 May 1999, Seattle, Washington (1999);
37. Christopher Landauer, Kirstie L. Bellman, "Reflective Infrastructure for Autonomous Systems", in Proceedings of EMCSR'2000: The 15th European Meeting on Cybernetics and Systems Research, Symposium on Autonomy Control: Lessons from the Emotional, 25-28 April 2000, Vienna (April 2000)
38. Christopher Landauer, Kirstie L. Bellman, "Lessons Learned with Wrapping Systems", pp. 132-142 in Proceedings of ICECCS'99: the 5th International Conference on Engineering Complex Computing Systems, 18-22 October 1999, Las Vegas, Nevada (1999)
39. Christopher Landauer, Kirstie L. Bellman, "Detecting Anomalies in Constructed Complex Systems", in Proceedings HICSS'2000: The 33rd Hawaii International Conference on System Sciences, Track IV: Emerging Technologies, 4-7 January 2000, Maui, Hawaii (2000)
40. Christopher Landauer, Kirstie L. Bellman, "Abstraction Based Software System Design", Proceedings of ANNIE'2001: The 2001 Artificial Neural Nets and Industrial Engineering Conference, 4-7 November 2001, St. Louis, Missouri (2001)
41. Christopher Landauer, Kirstie L. Bellman, "Flexible Design Support System", Proceedings of ANNIE'2001: The 2001 Artificial Neural Nets and Industrial Engineering Conference, 4-7 November 2001, St. Louis, Missouri (2001)
42. Christopher Landauer, Kirstie L. Bellman, April Gillam, "Software Infrastructure for System Engineering Support", Proceedings AAAI'93 Workshop on Artificial Intelligence for Software Engineering, 12 July 1993, Washington, D.C. (1993)
43. Pattie Maes, "Concepts and Experiments in Computational Reflection", pp. 147-155 in Proceedings OOPSLA '87 (1987)
44. Pattie Maes, D. Nardi (eds.), Meta-Level Architectures and Reflection, Proceedings of the Workshop on Meta-Level Architectures and Reflection, 27-30 October 1986, Alghero, Italy, North-Holland (1988)
45. Alex Meystel, "Multiresolutional Architectures for Autonomous Systems with Incomplete and Inadequate Knowledge Representations", Chapter 7, pp.159-223 in S. G. Tzafestas, H. B. Verbruggen (eds.), Artificial Intelligence in Industrial Decision Making, Control and Automation, Kluwer (1995)
46. Mary Shaw, David Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall (1996)
47. Mary Shaw, William A. Wulf, "Tyrannical Languages still Preempt System Design", pp. 200-211 inProceedings of ICCL'92: The 1992 International Conference on Computer Languages, 20-23 April 1992, Oakland, California (1992);
48. Mary Shaw, William A. Wulf, "Toward Relaxing Assumptions in Languages and their Implementations", ACM SIGPLAN Notices, Volume 15, No. 3, pp. 45-51 (March 1980)
49. Guy L. Steele, Jr., Gerry J. Sussman, "The Art of the Interpreter, or, the Modularity Complex", (Parts Zero, One, and Two), AI Memo 453, MIT (1978)
50. Donald O. Walter, Kirstie L. Bellman, "Some Issues in Model Integration", pp. 249-254 in Proceedings of the SCS Eastern MultiConference, 23-26 April 1990, Nashville, Tennessee, Simulation Series, Volume 22(3), SCS (1990)