Search Sciweavers | Sciweavers

19587 search results - page 43 / 3918

» Systems Engineering for software Engineers

145

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 15 days ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

129

Voted

WOSS
2004
ACM

112views Software Engineering» more WOSS 2004»

A planning based approach to failure recovery in distributed systems

16 years 13 days ago

Download serl.cs.colorado.edu

Naveed Arshad, Dennis Heimbigner, Alexander L. Wol...

claim paper

Read More »

179

click to vote

WOSS
2004
ACM

147views Software Engineering» more WOSS 2004»

Self-adaptation for everyday systems

16 years 13 days ago

Download www.cs.cmu.edu

Svein O. Hallsteinsen, Erlend Stav, Jacqueline Flo...

claim paper

Read More »

146

click to vote

APSEC
2003
IEEE

124views Software Engineering» more APSEC 2003»

Security-Critical System Development with Extended Use Cases

16 years 10 days ago

Download www4.in.tum.de

Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth...

claim paper

Read More »

143

click to vote

SCAM
2003
IEEE

96views Software Engineering» more SCAM 2003»

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers