Using Deep Ontologies in Formal Software Engineering.
Achim D. BruckerIdir Aït-SadouneNicolas MéricBurkhart WolffPublished in: ABZ (2023)
Keyphrases
- software engineering
- formal methods
- design patterns
- formal ontologies
- machine processable
- ontological engineering
- semantic mapping
- artificial intelligence
- precisely defined
- logical reasoning
- formal representation
- reverse engineering
- software systems
- object oriented
- semantic web
- semantic technologies
- information integration
- software development
- semantic relations
- knowledge management
- semantic relationships
- formal specification
- ontology mapping
- conceptual models
- related concepts
- domain specific
- ontology alignment
- knowledge representation
- databases
- development process
- domain ontology
- systems development
- background knowledge
- software maintenance
- semantic web technologies
- software projects
- description logics
- ontology integration
- knowledge engineering
- programming language
- ontology matching
- formal model