Exploiting domain-specific knowledge to refine simulation specifications
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 117-124
- https://doi.org/10.1109/ase.1997.632831
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Synthesis of schedulers for planned shutdowns of power plantsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Synthesis of local search algorithms by algebraic meansPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Visual programming-in-the-large versus visual programming-in-the-smallPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A formal approach to domain-oriented software design environmentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Intelligent PlanningPublished by Springer Nature ,1997
- ON THE IMPLEMENTATION AND EVALUATION OF AbTweakComputational Intelligence, 1996
- Fundamentals of deductive program synthesisIEEE Transactions on Software Engineering, 1992
- Planning for conjunctive goalsArtificial Intelligence, 1987