Previous Next GDPA  
Projects and Products - S  


On process technologies:

Acronym Description
SCR Software Cost Reduction
SDL Specification and Description Language
Serendipidy Process modelling, enactment and work coordination
SMART Approach for Software Process Engineering
SLANG Process model language
SOCCA Specifications Of Coordinated and Cooperative Activities
SOTIP/EUTIP European Open Telecommunications Systems Interconnection Profile
SPADE Software Process Analysis, Design and Enactment
Spearmint Software Process Elicitation, Analysis, Review, and Measurement in an INTegrated Modeling Environment
SPELL Language for Software Process Modeling and Evolution
SPICE Software Process Improvement and Capability dEtermination
SPIDER Software Development Process and Environment for LHC
SPIRE Software Process Improvement in Regions of Europe
SSADM Structured Systems Analysis and Design Method
SynerVision Process

On formal methods:

Acronym Description
SGM State Graph Manipulator
Signal language Signal language for synchronous systems
SPARK Secure subset of Ada
SPIN Automated verification tool
STeP Stanford Temporal Prover


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