Integration of Specification for Modeling and Specification for System Design.
Chang-Yu WangKishor S. TrivediPublished in: Application and Theory of Petri Nets (1993)
Keyphrases
- sequence diagrams
- tool suite
- formal verification
- computer aided
- building blocks
- user defined
- modeling tool
- neural network
- specification language
- design decisions
- highly modular
- reactive systems
- requirements analysis
- modeling method
- modeling language
- design principles
- conceptual model
- design process
- user interface
- high level
- web services