Evolving Logical Specification in Information Systems.
Stefan ConradJaime RamosGunter SaakeCristina SernadasPublished in: Logics for Databases and Information Systems (1998)
Keyphrases
- information systems
- requirements analysis
- high level
- information technology
- conceptual models
- business rules
- neural network
- health care
- logical representation
- conceptual modeling
- software development
- formal methods
- specification language
- design science
- information systems development
- case study
- provably correct
- logical properties