chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.
J. Jenny LiJoseph Robert HorganPublished in: APSEC (1999)
Keyphrases
- software tools
- software application
- software package
- software platform
- analysis tool
- unit testing
- software systems
- software development
- control flow
- written in natural language
- computer systems
- source code
- fault diagnosis
- java code
- mysql database
- root cause
- neural network
- high level
- diagnostic tool
- tool support
- commercial software
- conceptual models
- software testing
- software design
- design tools
- medical diagnosis
- software architecture
- formal methods
- computational tools
- model based reasoning
- fault detection
- model based diagnosis
- requirements specification
- conceptual model
- test cases
- user interface