Sciweavers

16790 search results - page 125 / 3358

» A Future for Software Engineering

98

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

15 years 10 months ago

Modeling synchronous systems in BIP

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

88

Voted

FSEN
2009
Springer

118views Software Engineering» more FSEN 2009»

Towards a Notion of Unsatisfiable Cores for LTL

15 years 10 months ago

Towards a Notion of Unsatisfiable Cores for LTL

Download www.schuppan.de

Viktor Schuppan

claim paper

Read More »

104

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

15 years 10 months ago

European Train Control System: A Case Study in Formal Verification

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

98

ICSR
2009
Springer

113views Software Engineering» more ICSR 2009»

Variability in Automation System Models

15 years 10 months ago

Variability in Automation System Models

Download embeddedcmmi.at

Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree

claim paper

Read More »

103

ICSR
2009
Springer

91views Software Engineering» more ICSR 2009»

Refactoring Feature Modules

15 years 10 months ago

Refactoring Feature Modules

Download www.cs.uni-magdeburg.de

Martin Kuhlemann, Don S. Batory, Sven Apel

claim paper

Read More »

« Prev « First page 125 / 3358 Last » Next »