OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: FORMAL



Results in the term's title:

·  Bird-Meertens Formalism
·  FORMAL
·  formal argument
·  Formal Description Technique
·  formal methods
·  Formal Object Role Modeling Language
·  formal review


Results in the term's text:

·  56 kbps
·  abstract machine
·  acceptance testing
·  actual argument
·  A Language for Attributed Definitions
·  ALEPH
·  algebraic structure
·  alpha conversion
·  ANNotated Ada
·  argument
·  ASPLE
·  automaton
·  axiomatic set theory
·  BABYLON
·  Backus-Naur Form
·  Berkeley Network
·  Birds Of a Feather
·  black art
·  Blue Book
·  B-Method
·  BMF
·  book titles
·  bound variable
·  B-Toolkit
·  CAJOLE
·  Calculus of Communicating Systems
·  CLEAR
·  Cluster 86
·  COLD-K
·  complete theory
·  data model
·  De Bruijn notation
·  design
·  Digital Equipment Computer Users Society
·  Domain Analysis
·  EML
·  EPROS
·  Estelle
·  EULER
·  European Computer-Industry Research Centre GmbH
·  Eva
·  Extended Affix Grammar
·  Extended Fortran Language
·  FDT
·  FFP
·  FLIP
·  FORMAL
·  formal argument
·  Formal Description Technique
·  formal methods
·  FORML
·  FSL
·  Gottlob Frege
·  grammar
·  Green Book
·  gripenet
·  heap
·  hook
·  Imperial Software Technology
·  infinite
·  Information Algebra
·  inline
·  inspection
·  Internet-Draft
·  John McCarthy
·  Kleene star
·  Knights of the Lambda-Calculus
·  knowledge base
·  knowledge representation
·  Language Of Temporal Ordering Specification
·  Larch
·  Larch/C++
·  lclint
·  LEAP
·  linear argument
·  Lions Book
·  lobotomy
·  Loglan
·  Low Voltage Differential
·  LUSTRE
·  macro
·  math-out
·  memetics
·  METAL
·  me too
·  ML
·  mod
·  modal logic
·  MPEG-1 audio layer 3
·  MSG.84
·  multiple perspective software development
·  nanobot
·  neats vs. scruffies
·  NESL
·  NEXTSTEP
·  nML
·  number crunching
·  Nuprl
·  Object Constraint Language
·  OBSCURE
·  ontology
·  Opal
·  operational test and evaluation
·  O' small
·  Pam
·  param
·  parameter
·  parser generator
·  pattern matching
·  Pleuk grammar development system
·  PL/I
·  POLYGOTH
·  POOL2
·  prefix
·  Program Design Language
·  PROgrammed Graph REwriting Systems
·  programming language
·  protocol
·  Pseudocode
·  Public-Key Cryptography Standards
·  query
·  Rapidly Extensible Language, English
·  Red Book
·  referential transparency
·  Request For Comments
·  Russell
·  safety-critical system
·  samizdat
·  SDF
·  set theory
·  SFLV
·  SIPLAN
·  SmallVDM
·  SMoLCS
·  SNAP
·  software reliability
·  source code
·  Squiggol
·  STREAM
·  STREAMS
·  String Oriented Symbolic Language
·  symbolic logic
·  symbolic mathematics
·  syntactic sugar
·  term rewriting system
·  texture
·  thunk
·  TL/I
·  TM
·  toasternet
·  toy language
·  TYPOL
·  universe of discourse
·  V.28
·  variable
·  Vienna Definition Language
·  Vienna Development Method
·  winchester


  


[ Return to Free On-line Dictionary of Computing ]

[ Go Back ]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0557 Seconds, with 15 Database-Queries
Zurück zur Startseite