Tools for Finding Inconsistencies in Real-world Logic-based Systems.
Kevin McAreaveyWeiru LiuPaul MillerChris MeenanPublished in: STAIRS (2012)
Keyphrases
- real world
- wide range
- data sets
- data mining
- management system
- user friendly
- complex systems
- learning systems
- software components
- computer systems
- analytic tools
- case study
- website
- database
- commercial products
- interactive systems
- software tools
- enabling technologies
- computer aided software engineering
- building blocks
- distributed systems
- information retrieval systems
- expert systems
- digital libraries
- information systems
- search engine