 |
 |
 |
|
| Glossary 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 EvolutionLearning Technologies
Lifecycle
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 ModelingProjects/products
Labyrinth - semantics to sets of Web resourcesLAMBDA - formal verification
LARCH
LeanTaP
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
|
|
|
This page online • GDPA Online • Last Updated 08.Oct.2002 by C. Freericks |