Knowledge-based management of legacy codes for automated design
暂无分享,去创建一个
[1] D. P. Siewiorek,et al. Evaluation and comparison of fault-tolerant software techniques , 1993 .
[2] Eva B Vedel Jensen,et al. The model-based approach , 1998 .
[3] Nancy G. Leveson,et al. Analyzing Software Safety , 1983, IEEE Transactions on Software Engineering.
[4] Mark Schwabacher,et al. Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design , 1993, AAAI.
[5] Kirstie L. Bellman. An approach to integrating and creating flexible software environments supporting the design of complex systems , 1991, 1991 Winter Simulation Conference Proceedings..
[6] Mark Schwabacher,et al. The Rutgers CAP Project Design Associate , 1992 .
[7] Thomas Ellman,et al. Knowledge-based re-engineering of legacy programs for robustness in automated design , 1996, Proceedings of the 11th Knowledge-Based Software Engineering Conference.
[8] Alexander Borgida,et al. Language features for flexible handling of exceptions in information systems , 1985, TODS.
[9] Beat Liver. Repair of Communication system by working around failures , 1995, Appl. Artif. Intell..
[10] Pattie Maes,et al. Meta-Level Architectures and Reflection , 1988 .
[11] Daniel G. Bobrow,et al. Book review: The Art of the MetaObject Protocol By Gregor Kiczales, Jim des Rivieres, Daniel G. and Bobrow(MIT Press, 1991) , 1991, SGAR.
[12] Mark Schwabacher,et al. Multilevel modelling for engineering design optimization , 1997, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.
[13] Ronald F. Boisvert,et al. GAMS: a framework for the management of scientific software , 1985, TOMS.
[14] Eleni Stroulia,et al. Functional representation and reasoning for reflective systems , 1995, Appl. Artif. Intell..
[15] Mohamed S. Kamel,et al. ODEXPERT: an expert system to select numerical solvers for initial value ODE systems , 1993, TOMS.
[16] Philippe Dague,et al. Troubleshooting: When Modeling Is the Trouble , 1987, AAAI.
[17] Siu Shing Tong. Coupling symbolic manipulation and numerical simulation for complex engineering designs , 1989 .
[18] Garret N. Vanderplaats,et al. Numerical Optimization Techniques for Engineering Design: With Applications , 1984 .
[19] Alex Quilici,et al. A knowledge-based approach to encouraging reuse of simulation and modeling programs , 1992, Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering.
[20] Michael Lucks,et al. Automated selection of mathematical software , 1992, TOMS.
[21] Nancy G. Leveson,et al. Software safety in embedded computer systems , 1991, CACM.
[22] Kenneth Man-kam Yip. Generating Global Behaviors using Deep knowledge of Local Dynamics , 1988, AAAI.
[23] David John Powell,et al. Inter-GEN: A hybrid approach to engineering design optimization , 1990 .
[24] B. Kuipers. Qualitative Simulation , 1986, Artif. Intell..
[25] Ikuo Takeuchi,et al. Object - Oriented Programming in Lisp , 1983 .
[26] Automating Software Reuse , 1995 .
[27] Philip E. Gill,et al. Practical optimization , 1981 .
[28] Naftaly H. Minsky. Law-governed systems , 1991, Softw. Eng. J..
[29] Christopher Landauer,et al. Wrapping Mathematical Tools , 1992 .
[30] Takahiro Murata,et al. A transformation system for interactive reformulation of design optimization strategies , 1995, Proceedings 1995 10th Knowledge-Based Software Engineering Conference.
[31] Andrew Gelsey,et al. A computational environment for exhaust nozzle design , 1995 .
[32] Flaviu Cristian,et al. Exception Handling and Software Fault Tolerance , 1982, IEEE Transactions on Computers.
[33] Stephen H. Edwards. A formal model of software subsystems , 1995 .
[34] Andrew Gelsey,et al. The use of artificial intelligence to improve the numerical optimization of complex engineering designs , 1996 .
[35] Eleni Stroulia,et al. Failure-driven learning as model-based self-redesign , 1994 .
[36] Elisha Sacks,et al. A Dynamic Systems Perspective on Qualitative Simulation , 1990, Artif. Intell..
[37] Paul R. Cohen,et al. Dominic II: Meta-Level Control in Iterative Redesign , 1988, AAAI.
[38] Naftaly H. Minsky. Independent on-line monitoring of evolving systems , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[39] Jochen Burghardt. Deductive Synthesis , 1995, Formal Development of Reactive Systems.
[40] Raymond J. Mooney,et al. Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes , 1995, AAAI/IAAI, Vol. 2.