Knowledge-Based Software Engineering Conference, 8th (KBSE-93).

Proceedings of a conference held in Chicago in September 1993. Papers are divided into sessions on synthesis, validation and verification, application, maintenance and evolution, requirements, reuse, evaluation and experiments, and demonstrations. Topics include diagrams for software synthesis, the...

Ausführliche Beschreibung

Gespeichert in:
Körperschaft:
Institute of Electrical and Electronics Engineers Computer Society Press
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 1993
Zusammenfassung:
Proceedings of a conference held in Chicago in September 1993. Papers are divided into sessions on synthesis, validation and verification, application, maintenance and evolution, requirements, reuse, evaluation and experiments, and demonstrations. Topics include diagrams for software synthesis, the ARIES simulation component, transformational approach to transportation scheduling, the knowledge base maintenance assistant, and implementation of bounded obligations. Contains only an author index. Annotation copyright by Book News, Inc., Portland, OR.
Umfang:
1 online resource (216 pages)
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Computers > Congresses.
Expert systems (Computer science) > Congresses.
Bezugswerke: