Search Sciweavers | Sciweavers

4919 search results - page 15 / 984

» A Process-Ontological Model for Software Engineering

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

14 years 2 months ago

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

click to vote

ICSR
2009
Springer

113views Software Engineering» more ICSR 2009»

Variability in Automation System Models

14 years 2 months ago

Download embeddedcmmi.at

Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree

claim paper

Read More »

click to vote

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

Download www.dre.vanderbilt.edu

Amogh Kavimandan, Aniruddha S. Gokhale

claim paper

Read More »

click to vote

APSEC
2008
IEEE

76views Software Engineering» more APSEC 2008»

Iterative Model Fixing with Counterexamples

14 years 1 months ago

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

Tsutomu Kumazawa, Tetsuo Tamai

claim paper

Read More »

click to vote

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers