A Layered Software Specification Architecture.
Monique SnoeckStephan PoelmansGuido DedenePublished in: ER (2000)
Keyphrases
- requirements engineering
- requirements specification
- software development
- software engineering
- software architecture
- reactive systems
- software systems
- case study
- distributed architecture
- formal verification
- data flow
- real time
- software design
- software platform
- software developers
- management system
- simulation environment
- specification language
- conceptual model
- platform independent
- software implementation
- distributed systems
- high level
- highly modular