Previous Next GDPA  
Projects and Products - C  

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
CAGIS
Cooperative Agents in Global Information Space
case/4/0
Analyse-, Design- und Programmierwerkzeuge
CLEANROOM
Theory-based, team-oriented engineering process
CMM
Capability Maturity Model
CoCoMo
Constructive Cost Model
CommonKADS
Enginnering and Managing Knowledge
Como Kit
Modeling and the management of complex work processes
COO
Cooperative Proccesses
CPM
Customer Product Management
CORDIS
Community Research and Development Information Service

On formal methods:

Acronym Description
CafeOBJ
Algebraic specification and programming language
CCS
Calculus of Communicating Systems
CIP
Communicating Interacting Processes
CIRCAL
CIRcuit CALculus
CLF
Object-oriented, predicate-calculus-based language
CoFI
Common Framework Initiative
COLD
Common Object-oriented Language for Design
Concurrency Factory
Concurrency Workbench toolkit
Coq
Proof Assistant
COSPAN
COordinated SPecification ANalysis
CSP
Communicating Sequential Processes
CWB
Concurrency Workbench

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 23.Nov.2003 by C. Freericks