Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories.
Zhiming LiuJiadong TengBo LiuPublished in: FACS (2023)
Keyphrases
- relevant concepts
- ontological engineering
- software components
- software systems
- cognitive psychology
- software architecture
- computational systems
- formal methods
- software tools
- software development
- user interface
- conceptual graphs
- software design
- related topics
- formal representation
- design concepts
- formal logic
- software maintenance
- domain knowledge
- computational models
- background knowledge
- modeling language
- formal specification
- requirements specification
- concept learning
- technical issues
- logical formulas
- logical structure
- source code
- aspect oriented programming
- aspect oriented
- case study
- computer systems
- theoretical models
- semantic relations
- formal models
- binary relations
- software quality
- artificial intelligence