Interactive requirements validation for reactive systems through virtual requirements prototype

2011 Model-Driven Requirements Engineering Workshop ◽

10.1109/modre.2011.6045361 ◽

2011 ◽

Author(s):

Daniel Aceituna ◽

Hyunsook Do ◽

Seok-Won Lee

Keyword(s):

Reactive Systems ◽

Requirements Validation

Download Full-text

Air Conditioner Requirements Validation Review of the Divarty Computer Group of the Fire Direction Center, Artillery (OL-48B/GSB10(V)), or TACFIRE

10.21236/ada251180 ◽

1992 ◽

Author(s):

Gregory F. Brainard ◽

Andrew A. Thompson ◽

James P. Lucas

Keyword(s):

Air Conditioner ◽

Requirements Validation

Download Full-text

SOL: A Verifiable Synchronous Language for Reactive Systems

10.21236/ada465328 ◽

2002 ◽

Author(s):

Ramesh Bharadwaj

Keyword(s):

Reactive Systems ◽

Synchronous Language

Download Full-text

Scalable multiple-view analysis of reactive systems via bidirectional model transformations

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ◽

10.1145/3324884.3416579 ◽

2020 ◽

Author(s):

Christos Tsigkanos ◽

Nianyu Li ◽

Zhi Jin ◽

Zhenjiang Hu ◽

Carlo Ghezzi

Keyword(s):

Reactive Systems ◽

Model Transformations ◽

Download Full-text

Analyzing Event-Based Scheduling in Concurrent Reactive Systems

ACM Transactions on Embedded Computing Systems ◽

10.1145/2783438 ◽

2015 ◽

Vol 14 (4) ◽

pp. 1-27 ◽

Author(s):

Jian-Min Jiang ◽

Huibiao Zhu ◽

Qin Li ◽

Yongxin Zhao ◽

Lin Zhao ◽

...

Keyword(s):

Reactive Systems ◽

Download Full-text

Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems ◽

10.1145/3365438.3410939 ◽

2020 ◽

Author(s):

Majid Babaei ◽

Mojtaba Bagherzadeh ◽

Juergen Dingel

Keyword(s):

Reactive Systems ◽

Model Driven Development ◽

Model Driven ◽

Execution Traces

Download Full-text

Saturated Semantics for Reactive Systems

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.46 ◽

2006 ◽

Author(s):

F. Bonchi ◽

B. Konig ◽

U. Montanari

Keyword(s):

Reactive Systems

Download Full-text

Comfortable Modeling of Complex Reactive Systems

Proceedings of the Design Automation & Test in Europe Conference ◽

10.1109/date.2006.243970 ◽

2006 ◽

Author(s):

S. Prochnow ◽

R. von Hanxleden

Keyword(s):

Reactive Systems

Download Full-text

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

Theoretical Computer Science ◽

10.1016/j.tcs.2009.06.010 ◽

2009 ◽

Vol 410 (41) ◽

pp. 4044-4066 ◽

Author(s):

Filippo Bonchi ◽

Ugo Montanari

Keyword(s):

Reactive Systems

Download Full-text

Absorption and desorption mass transfer rates in chemically enhanced reactive systems. Part I: Chemical enhancement factors

Chemical Engineering Journal ◽

10.1016/j.cej.2012.03.052 ◽

2012 ◽

Vol 198-199 ◽

pp. 555-560 ◽

Author(s):

Espen S. Hamborg ◽

Geert F. Versteeg

Keyword(s):

Mass Transfer ◽

Reactive Systems ◽

Transfer Rates ◽

Chemical Enhancement ◽

Enhancement Factors

Download Full-text

Reactive Systems over Cospans

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.40 ◽

2006 ◽

Author(s):

V. Sassone ◽

P. Sobocinski

Keyword(s):

Reactive Systems

Download Full-text