EPspectra: A Formal Toolkit for Developing DSP Software Applications
Hahnsang KimThierry TurlettiAmar BoualiPublished in: CoRR (2005)
Keyphrases
- formal methods
- software tools
- requirements specification
- digital signal processing
- software development
- software architecture
- formal model
- development lifecycle
- signal processing
- design and implementation issues
- database
- software application
- requirements engineering
- software package
- formal specification
- software systems
- test cases
- computer systems
- source code
- low cost
- data sets
- business intelligence solutions
- databases
- genetic algorithm
- software requirements
- development methodologies
- commercial software
- user interface
- embedded systems
- hardware design
- software developers
- software components