Search Sciweavers | Sciweavers

15885 search results - page 336 / 3177

» Strategic Software Engineering

133

Voted

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

16 years 24 days ago

Download maude.sip.ucm.es

Manuel Clavel, Narciso Martí-Oliet, Miguel ...

claim paper

Read More »

119

Voted

EDBTW
2004
Springer

106views Software Engineering» more EDBTW 2004»

Context- and Situation-Awareness in Information Logistics

16 years 24 days ago

Download www.wireless-earth.de

Ulrich Meissen, Stefan Pfennigschmidt, Agnè...

claim paper

Read More »

162

click to vote

FASE
2004
Springer

103views Software Engineering» more FASE 2004»

A Systematic Methodology for Developing Component Frameworks

16 years 24 days ago

Download soft.ssu.ac.kr

Si Won Choi, Soo Ho Chang, Soo Dong Kim

claim paper

Read More »

131

Voted

VMCAI
2004
Springer

92views Software Engineering» more VMCAI 2004»

Rule-Based Runtime Verification

16 years 22 days ago

Download ti.arc.nasa.gov

Howard Barringer, Allen Goldberg, Klaus Havelund, ...

claim paper

Read More »

155

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

16 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers