Search Sciweavers | Sciweavers

15783 search results - page 565 / 3157

» Evidence-Based Software Engineering

142

click to vote

SEKE
2001
Springer

85views Software Engineering» more SEKE 2001»

Operationalizing Application Descriptions in DTC: Building Applications with Generalized Markup Technologies

15 years 11 months ago

Download www.e-ucm.es

José Luis Sierra, Alfredo Fernández-...

claim paper

Read More »

143

click to vote

COMPSAC
2000
IEEE

94views Software Engineering» more COMPSAC 2000»

Reliable Transaction Design Using MTS

15 years 11 months ago

Download salmosa.kaist.ac.kr

Il-Chul Yoon, Hyung-Ho Kim, Doo-Hwan Bae, Cheong Y...

claim paper

Read More »

132

click to vote

KBSE
2000
IEEE

71views Software Engineering» more KBSE 2000»

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources

15 years 11 months ago

Download www-higashi.ist.osaka-u.ac.jp

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bo...

claim paper

Read More »

147

click to vote

ISSTA
2000
ACM

79views Software Engineering» more ISSTA 2000»

Putting static analysis to work for verification: A case study

15 years 11 months ago

Download rw4.cs.uni-saarland.de

Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhar...

claim paper

Read More »

137

click to vote

ISSTA
2000
ACM

92views Software Engineering» more ISSTA 2000»

A framework for testing database applications

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers