Sciweavers

5407 search results - page 18 / 1082

» The Software Engineering Global Model

17

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

14 years 1 months ago

Modeling synchronous systems in BIP

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

19

ICSR
2009
Springer

113views Software Engineering» more ICSR 2009»

Variability in Automation System Models

14 years 1 months ago

Variability in Automation System Models

Download embeddedcmmi.at

Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree

claim paper

Read More »

19

QOSA
2009
Springer

96views Software Engineering» more QOSA 2009»

Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems

14 years 1 months ago

Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems

Download www.dre.vanderbilt.edu

Amogh Kavimandan, Aniruddha S. Gokhale

claim paper

Read More »

20

APSEC
2008
IEEE

76views Software Engineering» more APSEC 2008»

Iterative Model Fixing with Counterexamples

14 years 1 months ago

Iterative Model Fixing with Counterexamples

Download repository.dl.itc.u-tokyo.ac.jp

Tsutomu Kumazawa, Tetsuo Tamai

claim paper

Read More »

24

ISPW
2008
IEEE

118views Software Engineering» more ISPW 2008»

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach

14 years 1 months ago

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach

Download www.icsp-conferences.org

Eduardo Aranha, Paulo Borba

claim paper

Read More »

« Prev « First page 18 / 1082 Last » Next »