Verification of software via integration of design and implementation.
Andrew S. MinerSamik BasuPublished in: IPDPS (2006)
Keyphrases
- hardware design
- user interface
- highly modular
- platform independent
- software design
- formal methods
- implementation issues
- software architecture
- software systems
- modular design
- development process
- aspect oriented
- embedded software
- formal verification
- circuit design
- software environment
- database application development
- rapid prototyping
- embedded systems
- design principles
- design patterns
- object oriented
- design methodology
- software implementation
- object oriented systems
- life cycle
- reconfigurable hardware
- file management
- software engineering
- hardware software partitioning