Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures.
Jiandong LiShaoying LiuAi LiuRunhe HuangPublished in: QRS (2021)
Keyphrases
- formal specification
- multi dimensional
- object oriented design
- similarity measure
- model checking
- specification language
- specification languages
- concurrent systems
- formal methods
- life cycle
- programming language
- process algebra
- object oriented
- error correction
- source code
- distance measure
- java programs
- reverse engineering
- case study
- design methodology
- open source
- multiple dimensions
- object oriented systems
- data cube
- software components
- web services
- software design
- business rules
- database
- software architecture
- database applications
- high dimensional
- multi agent