Search Sciweavers | Sciweavers

15787 search results - page 332 / 3158

» Is Software Engineering Training Enough for Software Enginee...

116

click to vote

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

16 years 2 days ago

Download maude.sip.ucm.es

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

claim paper

Read More »

105

Voted

EDBTW
2004
Springer

106views Software Engineering» more EDBTW 2004»

Context- and Situation-Awareness in Information Logistics

16 years 2 days ago

Download www.wireless-earth.de

Ulrich Meissen, Stefan Pfennigschmidt, Agnè...

claim paper

Read More »

146

click to vote

FASE
2004
Springer

103views Software Engineering» more FASE 2004»

A Systematic Methodology for Developing Component Frameworks

16 years 2 days ago

Download soft.ssu.ac.kr

Si Won Choi, Soo Ho Chang, Soo Dong Kim

claim paper

Read More »

116

click to vote

VMCAI
2004
Springer

92views Software Engineering» more VMCAI 2004»

Rule-Based Runtime Verification

16 years 16 hour ago

Download ti.arc.nasa.gov

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

claim paper

Read More »

142

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

16 years 16 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers