Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph.
Wenjuan WuDianfu MaYongwang ZhaoXianqi ZhaoPublished in: KSEM (2014)
Keyphrases
- high level
- low level
- domain knowledge
- formal models
- higher level
- knowledge sharing and reuse
- knowledge base
- requirements specification
- knowledge acquisition
- source code
- software development
- dynamic aspects
- intermediate level
- knowledge management
- graph theory
- knowledge level
- conceptual model
- modeling language
- expert systems
- prior knowledge
- formal representation
- knowledge based systems
- random walk
- software tools
- programming language
- domain experts
- software systems
- graph structure
- software maintenance
- directed graph
- software design
- knowledge discovery
- software engineering
- knowledge representation
- software architecture
- data mining techniques
- written in natural language