TU Darmstadt / ULB / TUbiblio

Towards an evolutionary formal software-development using CASL -- ABSTRACT

Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel
Bert, Didier and Choppy, C. and Mosses, P. (eds.) (1999):
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: Recent trends in algebraic development techniques : 14th International Workshop on Algebraic Development Techniques, WADT'99, Berlin ; Heidelberg, Springer, pp. 73-88, [Book Section]

Item Type: Book Section
Erschienen: 1999
Editors: Bert, Didier and Choppy, C. and Mosses, P.
Creators: Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel
Title: Towards an evolutionary formal software-development using CASL -- ABSTRACT
Language: German
Title of Book: Recent trends in algebraic development techniques : 14th International Workshop on Algebraic Development Techniques, WADT'99
Series Name: Lecture Notes in Computer Science
Volume: 1827
Place of Publication: Berlin ; Heidelberg
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Event Location: Chateaux de Bonas, France
Event Dates: 15.-18. September 1999
Date Deposited: 09 Apr 2010 14:10
Additional Information:

autexier.ea:towards-an-evolutionary-formal-software-development-using-casl:1999b

Export:

Optionen (nur für Redakteure)

View Item View Item