A Tool Proving Well-Definedness of Streams Using Termination Tools.
Hans ZantemaPublished in: CALCO (2009)
Keyphrases
- software tools
- analysis tool
- visualization tools
- programming tool
- tool support
- user friendly
- software environment
- visualization tool
- decision support
- software engineering
- sliding window
- end users
- program understanding
- custom built
- term rewrite systems
- search based software testing
- object oriented programming language
- design tools
- active rules
- database
- design decisions
- web services
- information systems
- search engine
- databases