An Agile Formal Specification Language Design Based on K Framework.
Jianyu ZhangLong ZhangYixuan WuFeng YangPublished in: CoRR (2024)
Keyphrases
- software architecture
- neural network
- computer aided
- theoretical framework
- case study
- probabilistic model
- computational framework
- design process
- design principles
- design patterns
- real time
- modular design
- formal methods
- simulation environment
- design methodology
- engineering design
- conceptual model
- machine learning
- information systems
- main contribution
- lightweight
- knowledge based systems
- evolutionary algorithm