Search Sciweavers | Sciweavers

15727 search results - page 521 / 3146

» Software Engineering - Introduction

132

click to vote

RE
2001
Springer

82views Software Engineering» more RE 2001»

Integrating Organizational Requirements and Object Oriented Modeling

15 years 11 months ago

Download www.cin.ufpe.br

Jaelson Castro, John Mylopoulos, Fernanda M. R. Al...

claim paper

Read More »

136

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 »

135

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 »

126

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 »

139

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers