Previous Next GDPA  
Projects and Products - L  

A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z

On process technologies:

Acronym Description
Labyrinth
Semantics to sets of Web resources
LEU
Lion-Entwicklungsungebung
LIGHT
Lifecycle Global Hypertext
Little JIL
Graphical language for defining processes

On formal methods:

Acronym Description
LAMBDA
Formal verification
LARCH
Multi-site project exploring methods, languages, and tools on formal specifications
LeanTaP
A tableau-based deduction theorem prover for classical first-order logic
LEGO
Proof Assistant
LOTOS
Language of Temporal Ordering Specifications
LPV
Linear Programming based software Validation technology
LUSTRE
Language for programming reactive systems

A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z

Previous Next This page online  •  GDPA Online  •  Last Updated 05.Nov.2002 by C. Freericks