Computational Ontologies and Information Systems II: Formal Specification.
Raj SharmanRajiv KishoreRam RameshPublished in: Commun. Assoc. Inf. Syst. (2004)
Keyphrases
- formal specification
- information systems
- model checking
- specification language
- process algebra
- object oriented design
- specification languages
- data abstraction
- reverse engineering
- information technology
- concurrent systems
- knowledge base
- formal methods
- heterogeneous information systems
- software components
- domain ontology
- knowledge representation
- business rules
- conceptual models
- knowledge acquisition
- knowledge management
- software engineering
- formal ontologies
- artificial intelligence