Überlegungen
zur automatischen Programmsynthese reichen bereits relativ lange zurück, wie
zum Beispiel das folgende Schema von Prywes [Pryw 77] zeigt:
Problem description o
Requirements description
\|/
/ \
Answers prompted Questions, suggestions
or volunteered assumptions
| ^
--------
Top Part -----------|-----------------|-------------------------
V |
====================
+-----------------------+
+
Application + +-----------------------+
+
+ +-----------------------+
+
+ +-----------------------+
+
Base + +-----------------------+
+
+ | requirements
|
====================
+-----------------------+
|
---------
Bottom Part -------------------------|-------------------------
V
É================»+-----------------------+
| <-|
+ +
| optimization
|
|
+ Programming +
+-----------------------+
|
+ +
+-----------------------+
|
| -|
+ +
| optimization
|
+ Base +
+-----------------------+
+ +
+-----------------------+
|
È================¼
+-----------------------+
|
-----------------------------------------------|----------------
---------
V
Completed program modules
Die
Generierung von Programmen hat jedoch auch heute noch einen relativ geringen Anteil an
der neu entstehenden Software. Hier werden jedoch in nächster Zeit durchaus Änderungen
erwartet.
1. 6. Die Phasen im Software-Lebe...
