A Comparison of the Declarative Modelling Languages B, Dash, and TLA+

Ali Abbassi,Amin Bandali,Nancy A. Day,José Serna

2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE)（2018）

引用 5|浏览22

暂无评分

摘要

The following topics are dealt with: formal specification; systems analysis; formal verification; software quality; software engineering; object-oriented programming; software architecture; grammars; learning (artificial intelligence); public domain software.

查看译文

关键词

Declarative modelling,Comparison,Transition system

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要