Algebraic Specification Language - Definition. Was ist Algebraic Specification Language
Diclib.com
Wörterbuch ChatGPT
Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆
Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

  • wie das Wort verwendet wird
  • Häufigkeit der Nutzung
  • es wird häufiger in mündlicher oder schriftlicher Rede verwendet
  • Wortübersetzungsoptionen
  • Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
  • Etymologie

Was (wer) ist Algebraic Specification Language - definition

ACRONYM RIGOROUS APPROACH TO INDUSTRIAL SOFTWARE ENGINEERING
RAISE Specification Language; RAISE specification language

Algebraic Specification Language      
1. <language> (ASL) ["Structured Algebraic Specifications: A Kernel Language", M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986]. 2. <language> (ASF) A language for equational specification of abstract data types. ["Algebraic Specification", J.A. Bergstra et al, A-W 1989]. (1995-12-13)
Common Algebraic Specification Language         
CASL (calculator language)
The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported.
Programming language specification         
DOCUMENTATION ARTIFACT THAT DEFINES A PROGRAMMING LANGUAGE
Language specification
In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity.

Wikipedia

Rigorous Approach to Industrial Software Engineering

RAISE (Rigorous Approach to Industrial Software Engineering) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. It consists of a set of tools designed for a specification language (RSL) for software development. It is especially espoused by UNU-IIST in Macau, who run training courses on site and around the world, especially in developing countries.