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

15 years 10 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

15 years 10 months ago

Download embeddedcmmi.at

Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree

claim paper

Read More »

113

click to vote

QOSA
2009
Springer

96views Software Engineering» more QOSA 2009»

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

15 years 9 months ago

Download www.dre.vanderbilt.edu

Amogh Kavimandan, Aniruddha S. Gokhale

claim paper

Read More »

Voted

APSEC
2008
IEEE

76views Software Engineering» more APSEC 2008»

Iterative Model Fixing with Counterexamples

15 years 9 months ago

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

Tsutomu Kumazawa, Tetsuo Tamai

claim paper

Read More »

108

Voted

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers