Search Sciweavers | Sciweavers

2639 search results - page 24 / 528

» Biological Systems as Reactive Systems

click to vote

ICST
2010
IEEE

178views Software Engineering» more ICST 2010»

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller

13 years 8 months ago

Download membres-liglab.imag.fr

—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...

Laya Madani, Virginia Papailiopoulou, Ioannis Pari...

claim paper

Read More »

click to vote

SERA
2009
Springer

85views Software Engineering» more SERA 2009»

Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study

14 years 4 months ago

Download users.encs.concordia.ca

Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulai...

claim paper

Read More »

click to vote

VL
2007
IEEE

106views Visual Languages» more VL 2007»

Towards Trace Visualization and Exploration for Reactive Systems

14 years 4 months ago

Download www.wisdom.weizmann.ac.il

Shahar Maoz, Asaf Kleinbort, David Harel

claim paper

Read More »

click to vote

EMSOFT
2007
Springer

100views Software Engineering» more EMSOFT 2007»

Existential abstractions for distributed reactive systems via syntactic transformations

14 years 4 months ago

Download www.cecs.uci.edu

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

claim paper

Read More »

click to vote

ASWEC
2006
IEEE

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers