Abstract
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.
Preview
Unable to display preview. Download preview PDF.
8 References
Appel, A. and MacQueen, D.: A Standard ML Compiler. Proc. FPCA 87, LNCS 274, pp. 301–324.
Augustsson, L. and Johnsson, T.: The Chalmers Lazy ML Compiler. The Computer Journal 32, 2 (April 1989), pp. 127–141.
Bahlke, R. and Snelting, G.: The PSG System: From Formal Language Definitions to Interactive Programming Environments. ACM TOPLAS 8, 4 (October 1986), pp. 547–576.
Bahlke, R. and Snelting, G.: Design and Structure of a Semantics-based Programming Environment. International Journal of Man-Machine Studies, to appear.
Burstall, R., MacQueen, D. and Sanella, D.: HOPE: an experimental applicative language. Proc. Lisp Conference 1980, ACM.
Elzer, P.: Management von Softwareprojekten. Informatik Spektrum 12, 4 (August 1989), pp. 181–197.
Endres, A.: Software-Widerverwendung: Ziele, Wege und Erfahrungen. Informatik Spektrum, 11, 2 (April 1988), pp. 85–95.
Estublier, J.: Configuration Management. Proc. International Workshop on Software Version and Variant Control, Grassau 1988.
Fages, F.: Associative-Commutative Unification, Proc. 7th CADE, 1984, LNCS 170, pp. 194–208.
Feldmann, S. I.: Make — A program for maintaining computer programs. Software Practice and Experience, Vol. 9, April 1979.
Gloger, M., Kaes, S., and Thies, Ch.: Entwicklung funktionaler Programme in der SAMPLE Programmierumgebung. Report PI-R3/90, Technische Hochschule Darmstadt, Fachbereich Informatik, June 1990.
Harper, R.: Introduction to Standard ML. Report ECS-LFCS-86-14, University of Edinburgh, November 1986.
Hughes, J.: Why functional programming matters. The Computer Journal 32, 2 (April 1989), pp. 98–107.
Kaes, S.: Parametric Overloading in Polymorphic Programming Languages. Proc. 2nd European Symposium on Programming, LNCS 300, pp. 131–144.
Mahler A. and Lampen, A.: An Integrated Toolset for Engineering Software Configurations. Proc. Practical Software Engineering Environments, SIGPLAN Notices 24, 2 (February 1989).
Runciman, C. and Toyn, I.: Retrieving Re-usable Software Components by Polymorphic Type. Proc. Functional Languages and Computer Architecture, ACM 1989, pp. 166–173.
Rittri, M.: Using Types as Search Keys in Function Libraries. Proc. Functional Languages and Computer Architecture, ACM 1989, pp. 174–183.
Schroeder, U.: Incremental Variant Control. Proc. 2nd International Workshop on Software Version and Variant Control, Princeton 1989, pp. 145–148.
Snelting, G.: The Calculus of Context Relations. ACTA INFORMATICA, to appear.
Snelting, G., Grosch, F.J., and Schroeder, U.: Inference-based Support for Programming in the Large. Report PI-R13/90, Technische Hochschule Darmstadt, Fachbereich Informatik. Submitted for publication.
Tichy, W. F.: RCS — A System for Version Control. Software Practice and Experience 15, 7 (Juli 1985), pp. 637–654.
Turner, D.: Miranda: A non-strict functional language with polymorphic types. Proc. FPCA 85, LNCS 201, pp. 1–16.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Henhapl, W., Kaes, S., Snelting, G. (1991). Utilizing fifth generation technology in software development tools. In: Endres, A., Weber, H. (eds) Software Development Environments and CASE Technology. SDE 1991. Lecture Notes in Computer Science, vol 509. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54194-2_34
Download citation
DOI: https://doi.org/10.1007/3-540-54194-2_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54194-3
Online ISBN: 978-3-540-47485-2
eBook Packages: Springer Book Archive