Login / Signup
Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach.
Job Zwiers
Willem P. de Roever
Published in:
Temporal Logic in Specification (1987)
Keyphrases
</>
design process
design principles
engineering design
process oriented
design requirements
process model
conceptual model
formal verification
design processes
data sets
genetic algorithm
decision making
business process
design methodology
requirements analysis