Incremental guideline formalization with tool support.
Radu SerbanAnna Puig-CentellesAnnette ten TeijePublished in: AIAI (2006)
Keyphrases
- tool support
- software development
- software tools
- software engineering
- software projects
- design decisions
- incremental learning
- formal model
- test suite
- requirements engineering
- clinical guidelines
- decision support system
- incremental version
- health care
- knowledge representation
- cooperative
- case study
- operational semantics
- real world
- databases
- database