作者
Feng Chen, Grigore Roşu
发表日期
2005/4/4
图书
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
页码范围
546-550
出版商
Springer Berlin Heidelberg
简介
A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification formalisms can be included into the framework via logic plug-ins, allowing one to refer not only to the current state, but also to both past and future states.
引用总数
学术搜索中的文章
F Chen, G Roşu - International Conference on Tools and Algorithms for …, 2005