Specifying embedded systems with statecharts and Z: an agenda for cyclic software components.
Wolfgang GrieskampMaritta HeiselHeiko DörrPublished in: Sci. Comput. Program. (2001)
Keyphrases
- embedded systems
- software components
- software systems
- computing power
- software development
- software reuse
- embedded devices
- software engineering
- low cost
- source code
- real time systems
- building blocks
- resource limited
- embedded software
- formal specification
- web services
- hardware software
- software modules
- commercial off the shelf
- software maintenance
- conceptual modeling
- regression testing
- formal methods
- software architecture
- multi agent systems
- hw sw
- consumer electronics
- reusable components
- embedded real time systems
- flash memory
- software quality
- software repositories
- field programmable gate array
- software projects
- e learning
- information systems
- real time