Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development.
Hung LedangDang Van HungPublished in: TASE (2007)
Keyphrases
- systems development
- real time embedded
- real time systems
- information systems development
- software requirements
- systems engineering
- development process
- asynchronous circuits
- digital signal processor
- real time
- information systems
- software development
- quality management
- software engineering
- embedded systems
- development methodologies
- systems analysts
- database systems
- high level
- information technology
- specification language
- project management
- requirements engineering
- transaction processing
- data flow
- data management
- multi agent
- formal specification