H ?
«
‹
←
→
›
»
Language peer sets for Deva:
Germany↑
Germany/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Deva(ID:1723/dev001)
alternate simple view
Country: Germany
Designed 1993
Published: 1993
Typed functional language with deduction rules, capable of specifying programa as well as types
Refer extract from Anlauff (1993) for summary
Computer Aided Formal Reasoning Group, Technical University Berlin
Structures:
Related languages
References:
Weber, Matthias (1991) Weber, Matthias "Deriving Transivity of VDM-Reification in DEVA" VDM Europe (1) 1991: 406-427
Anlauff, M. (1993) Anlauff, M. "Devil - Deva's Interactive Laboratory. Tutorial and user manual" Technical Report 93-42, TU Berlin, 1993.
ps
Abstract
Extract:
What is Deva?
Biersack, M. (1993) Biersack, M. ; R. Raschke, and M. Simons. The DevaWEB System: Introduction, Tutorial, User Manual, and Implementation. Technical Report 93-39, TU Berlin, 1993
Abstract
ps
Simons, Martin; Lafontaine, Christine; Weber, Matt (1993) Simons, Martin; Lafontaine, Christine; Weber, Matthias K "The generic development language Deva: presentation and case studies". LNCS 738 Berlin Springer.
Abstract
Weber, Matthias (1993) Weber, Matthias "Definition and Basic Properties of the Deva Meta-Calculus" pp391-431
in (1993) Formal Aspects of Computing 5(5) 1993
Beyer, M. (1995) Beyer, M. ; S. Jähnichen, F. Kammüller, and T. Santen. Formalization of Algebraic Specification in the Development Language DEVA. In: M. Broy, S. Jähnichen (eds.). KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report. LCNS 1009, Springer-Verlag, 1995.
in (1993) Formal Aspects of Computing 5(5) 1993
(2002) Library of Congress Subject Headings D4
in (1993) Formal Aspects of Computing 5(5) 1993
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|