Previous Next GDPA Homepage  
Glossary L  

  Glossar - 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 About Glossary

Process Technologies: General

Laws of Software Evolution
Learning Technologies
Lifecycle Software Lifecycle (SLC)
Lifecycle model
Lifecycle model Software Lifecycle Model (SLCM)
Lifecycle processes
Lifecycle processes product
Load Module

Methods/Techniques: Software Development

Logical DB Modeling


Labyrinth - semantics to sets of Web resources
LAMBDA - formal verification
LEGO - Proof Assistant
LEU - Lion-Entwicklungsungebung
Little JIL
LIGHT - Lifecycle Global Hypertext
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 About Glossary

Previous Next This page online  •  GDPA Online  •  Last Updated 08.Oct.2002 by C. Freericks