Using Ellipsoidal Domains to Analyze Control Systems Software
Fernando AlegreEric FeronSantosh PandePublished in: CoRR (2009)
Keyphrases
- control system
- computer systems
- software development
- data sets
- development process
- software design
- application domains
- software systems
- real world
- user interface
- operating system
- software package
- software tools
- software quality
- software testing
- analysis tool
- commercial software
- cross domain
- personal computer
- software components
- design patterns
- software architecture
- test cases
- software engineering
- high level
- information retrieval
- databases