 |
 |
 |
|
| Glossary A |
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
Abnormal BehaviorAbstraction
Acceptance
Acquisition
Activity
Activity Class
Activity Decomposition
Activity Model
Activity Schema
Agent
Analysis
Process AnalysisAnalysis
Risk AnalysisAnalysis
Threat AnalysisApplicability
Application Generation
Articulation Work
Artifact
Assembling Reusable Components
ReusabilityAssessability of a HW Module
Assessment
Assessment Criteria
Assistance
Process Assistance Assured Characteristics
Automated Software Engineering
Software AutomationAutomation
Process AutomationAutomation
Software AutomationAtomic Item
Availability
Methods/Techniques: Software Development
Activity-Oriented Simulation ModelAlgebraic Specification
Algorithmic Specification
Analysis
Information Flow AnalysisAnalysis
Static AnalysisAnalysis
Trend AnalysisAnalysis of Covert Channels
Audit
Axiomatic Specification
Projects/products
ACL2 - A Computational Logic for Applicative Common LispACSR - Algebra of Communicating Shared Resources
actiF
Action Semantics
ADELE
ADL - Algebraic Design Language
ADLT - Assertion Definition Language Translator
ALF - A Framework for Building PSEE
AMI - Quality driven meta process
APEL
APPL/A
AQAP-150 - NATO Quality Assurance Requirements for Software Development
Arcadia
Argos
Articulator
ASM - Abstract State Machine
Atlantis
Autofocus
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 |