Search Sciweavers | Sciweavers

15777 search results - page 316 / 3156

» Software Engineering

132

Voted

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

16 years 20 days ago

Download maude.sip.ucm.es

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

claim paper

Read More »

116

Voted

EDBTW
2004
Springer

106views Software Engineering» more EDBTW 2004»

Context- and Situation-Awareness in Information Logistics

16 years 20 days ago

Download www.wireless-earth.de

Ulrich Meissen, Stefan Pfennigschmidt, Agnè...

claim paper

Read More »

160

click to vote

FASE
2004
Springer

103views Software Engineering» more FASE 2004»

A Systematic Methodology for Developing Component Frameworks

16 years 20 days ago

Download soft.ssu.ac.kr

Si Won Choi, Soo Ho Chang, Soo Dong Kim

claim paper

Read More »

129

Voted

VMCAI
2004
Springer

92views Software Engineering» more VMCAI 2004»

Rule-Based Runtime Verification

16 years 18 days ago

Download ti.arc.nasa.gov

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

claim paper

Read More »

153

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

16 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers