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
VDM-SL → Deva   Evolution of
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