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
This page online
GDPA Online
Last Updated 23.Nov.2003 by
C. Freericks