 |
 |
 |
|
| Glossary S |
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
S-Type SystemsSatefy
Scenario
SDE
Security
Segment
Self-Assessment
Simulation
Process Simulation
Software (SW)
Software Automation
Software Component (SW Component)
Software Development Organization
Software Development Process Process
Software Documentation Support Environments Documentation Support Environments
Software Engineering
Software Engineering Process Process
Software Evolution Laws of Software Evolution
Software Item
Software Lifecycle (SLC)
Software Lifecycle Model (SLCM)
Software Maintenance
Software Module (SW Module)
Software Process Process
Software Process Assessment (SPA) Process Assessment
Software Process Automation Process Automation
Software Process Engineering Process Engineering
Software Process Establishment
Software Process Improvement Process Improvement
Software Process Model Process Model
Software Process Operators Process Operators
Software Product Product
Software Product Development Model Product Model
Software Production Process Model Production Process
Software Unit
Spiral Model
Standard
Standard Classification
Standard Development Phases
Standard Dimensions
Standard Lifecycle
Stepwise Refinement
Static Process Properties Process Properties
Sub-Model
Support Software
SW Substructure
SWMM Software
System
System Architecture
System Security
Methods/Techniques: Software Development
SDL - Specificationand Description LanguageShared Resource Methodology
Simulation Models
Simulation Models
Activity-Oriented Simulation ModelSimulation Models
Continuous Simulation ModelSimulation Models
Discrete Simulation ModelSimulation Models
Event-Driven Simulation ModelSimulation Models
Process-Oriented Simulation ModelSimulation Models
Time-Controlled Simulation ModelSimulation Models
Transaction-Oriented Simulation Model
Specification Algebraic Specification
Specification Algorithmic Specification
Specification Axiomatic Specification
Specification Formal Specification
Specification Mathematical Specification
Specification Temporal Logic Specification
Specification Traces Specification
State Charts
State Modeling in the OO Field
State Transition Modeling
Static Analysis
Statistic Models
Structured Design
Subsystem Modeling
System Behavior Models
Projects/products
SCR - Software Cost ReductionSDL - Specification and Description Language
SELECT
Serendipidy
SGM - State Graph Manipulator
Signal language
SMART
SLANG
SOCCA
SOTIP/EUTIP
SPADE
SPARK - secure subset of Ada
Spearmint
SPELL
SPICE
SPIDER
SPIN - is an automated verification tool
SPIRE
SSADM
STeP - Stanford Temporal Prover
SynerVision
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 |