E. Kant, F. Daube, E. MacGregor, and J. Wald, "Scientific Programming by Automated Synthesis", in: Michael R. Lowery and Robert D. McCartney (eds.), Automating Software Design, MIT Press, 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
IEEE TRANSACTIONS ON SOF'rVVARE ENGINEERING, VOL. 28, NO.. - Method For Concurrent (Correct)
Reconfigurable Architectures for Mixed-Initiative Planning and.. - Becker (1998) (1 citation) (Correct)
A Knowledge-Based Prototyping Environment for Construction.. - Keller, Rimon, Das (1994) (7 citations) (Correct)
Reusing Software Design Expertise - Mills (1994) (Correct)
Software Reuse by Specialization of Generic Procedures through.. - Novak, Jr. (1997) (11 citations) (Correct)
Creation of Views for Reuse of Software with Different Data.. - Novak, Jr. (1997) (9 citations) (Correct)
Effects Of Computational Technology On Composite Materials.. - Factory (Correct)
Software Change Through Design Maintenance - Baxter, Pidgeon (1997) (8 citations) (Correct)
"Living Design Memory" - Framework, Implementation, Lessons.. - Terveen, Selfridge (1995) (26 citations) (Correct)
Mechanical Tool Support for High Integrity Software Development - Mehlich, Baxter (1997) (4 citations) (Correct)
Automating Software Design For Resource Assignment Problems - Voigt (1995) (Correct)
CTADEL: A Generator of Multi-Platform High Performance.. - van Engelen, Wolters.. (1996) (Correct)
Diagrams for Software Synthesis - Jüllig, Srinivas (1993) (11 citations) (Correct)
The CTADEL Application Driver for Numerical Weather.. - van Engelen, Wolters.. (1997) (Correct)
Unknown - For (2004) (Correct)
Knowledge-based Automation of a Design Method for Concurrent.. - Mills, Gomaa (2 citations) (Correct)
A Problem-Solving Environment for Generating Certifiably.. - Kant, Yau, Liska (1995) (1 citation) Self-citation (Kant) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC