Specifying and Verifying Reconfigurable Software Architectures.
Virginia C. Carneiro de PaulaGeorge R. Ribeiro-JustoPaulo R. F. CunhaPublished in: PDSE (2000)
Keyphrases
- software architecture
- dynamic reconfiguration
- description language
- software systems
- reconfigurable architecture
- low cost
- software engineering
- general purpose
- model checking
- embedded software
- architectural design
- functional requirements
- systolic array
- distributed systems
- reference model
- design patterns
- hardware implementation
- fine grain
- reference architecture
- software development
- software requirements
- databases
- database
- security requirements
- open source
- commercial off the shelf
- database systems
- multi objective evolutionary