No label defined (Q4671215)
From MaRDI portal
scientific article; zbMATH DE number 2161254
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2161254 |
Statements
25 April 2005
0 references
acquisition
0 references
analytic document
0 references
attribute
0 references
client
0 references
computing system
0 references
descriptive document
0 references
description
0 references
design
0 references
domain
0 references
facet
0 references
feasibility
0 references
information repository
0 references
informative document
0 references
Jackson's principles
0 references
model checking
0 references
modelling
0 references
reactive system
0 references
requirement
0 references
RSL
0 references
phase
0 references
satisfiability
0 references
server
0 references
stakeholder
0 references
testing
0 references
triptych
0 references
validation
0 references
verification
0 references
