OO And Active Formal Information System Specification.
Isidro RamosOscar PastorVicente CasadoPublished in: DEXA (1991)
Keyphrases
- information systems
- formal specification
- formal methods
- conceptual models
- object oriented
- conceptual modeling
- specification languages
- object oriented programs
- requirements specification
- reactive systems
- formal language
- object oriented databases
- business rules
- design methodology
- knowledge management
- information technology
- operational semantics
- programming language
- neural network
- requirements analysis
- query language
- software engineering
- formal model
- state transition
- conceptual model
- formal languages
- object oriented modeling
- general purpose
- databases
- reverse engineering
- object orientation
- case study
- artificial intelligence