形式化方法

小bo波9 天前
java·软件工程·uml·面向对象·形式化方法·tla+
形式化方法 × UML代码写得好不好，和框架用得多溜，可能根本不是一回事。写Java的都知道，并发编程是噩梦。你写了一个ConcurrentHashMap的缓存逻辑，JUnit测了100遍都通过，上线后第101次请求还是可能死锁。为什么？
上海控安3 年前
形式化方法·航空
鉴源论坛 · 观模丨形式化方法的工业应用：航空领域作者 | 徐奕龙飞 上海控安可信软件创新研究院系统建模组版块 | 鉴源论坛 · 观模
我是有底线的