Industrial integration of graphical and formal specifications-Reference-Cited by-同舟云学术

Industrial integration of graphical and formal specifications

Author:

Armstrong Jim

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference30 articles.

1. Safecharts: Safer and More Structured Statecharts;Armstrong;Dependable Computing Systems Centre TR/95/7, Version 2,1996

2. Definition of Ω1;Armstrong;Dependable Computing Systems Centre TR/96/11, Version 1,1996

3. Definition of Ω2;Armstrong;Dependable Computing Systems Centre TN/96/24, Version 1,1996

4. Definition and Proofs of Ω1.1 and ω1;Armstrong;Dependable Computing Systems Centre TR/97/3, Draft,1997

5. Definition of ΩADL;Armstrong;Dependable Computing Systems Centre TR/97/4, Draft,1997

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Integrating Formal Methods with Model-Driven Engineering;2009 Fourth International Conference on Software Engineering Advances;2009-09

3. Modeling statecharts and activitycharts as signal equations;ACM Transactions on Software Engineering and Methodology;2001-10

5. Real-Time Logic Revisited;Lecture Notes in Computer Science;2001