KIT | KIT-Bibliothek | Impressum | Datenschutz

Utilizing fifth generation technology in software development tools

Henhapl, Wolfgang; Kaes, Stefan; Snelting, Gregor


Software developers express a desire for more intelligent support for all phases of the software development process, but current CASE technology does not fully utilize the advancements which have been achieved in fields like automated deduction or specification languages. It is the aim of this paper to demonstrate how such techniques can detect and even prevent errors and inconsistencies much earlier than conventional tools. We describe inference-based support for interactive configuration management, interface checking, component reuse, and intelligent browsing; furthermore, we present a programming environment for rapid prototyping based on a lazy functional language. All tools make heavy use of automated deduction techniques such as order-sorted unification or AC1 unification, and are parameterized with language-specific information such as type inference or module dependency rules.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1991
Sprache Englisch
Identifikator ISBN: 978-3-540-54194-3
ISSN: 0302-9743
KITopen-ID: 1000017619
Erschienen in Software Development Environments and CASE Technology - European Symposium Königswinter, June 1719, 1991. Proceedings. Ed.: A. Endres
Verlag Springer Verlag
Seiten 153 - 166
Serie Lecture Notes in Computer Science ; 509
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page