Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.
Wolfgang GrieskampMaritta HeiselHeiko DörrPublished in: FASE (1998)
Keyphrases
- embedded systems
- software components
- software systems
- computing power
- software reuse
- software development
- source code
- embedded devices
- low cost
- embedded software
- resource limited
- hardware software
- processing power
- software engineering
- real time systems
- building blocks
- commercial off the shelf
- web services
- real time image processing
- software modules
- reusable components
- embedded real time systems
- software architecture
- software quality
- formal specification
- protocol stack
- flash memory
- field programmable gate array
- mobile devices
- multi agent systems
- information systems
- machine learning
- hw sw
- consumer electronics
- real time