Search Sciweavers | Sciweavers

16541 search results - page 396 / 3309

» Ontologies and Software Engineering

139

Voted

RE
2005
Springer

97views Software Engineering» more RE 2005»

DesCOTS-EV: A Tool for the Evaluation of COTS Components

16 years 1 months ago

Download home.exetel.com.au

Carme Quer, Xavier Franch, Xavier Lopez-Pelegrin

claim paper

Read More »

161

Voted

RE
2005
Springer

91views Software Engineering» more RE 2005»

Exploring Web Services from a Business Value Perspective

16 years 1 months ago

Download www.cs.toronto.edu

Bas van der Raadt, Jaap Gordijn, Eric Yu

claim paper

Read More »

144

click to vote

TMRA
2005
Springer

90views Software Engineering» more TMRA 2005»

Subject Centric IT in Local Government

16 years 1 months ago

Download www.knowledge-synergy.com

Gabriel Hopmans, Peter-Paul Kruijsen, Roger Dols

claim paper

Read More »

144

click to vote

VMCAI
2005
Springer

101views Software Engineering» more VMCAI 2005»

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

16 years 1 months ago

Download www.cs.tau.ac.il

Roman Manevich, Eran Yahav, Ganesan Ramalingam, Sh...

claim paper

Read More »

143

click to vote

VMCAI
2005
Springer

81views Software Engineering» more VMCAI 2005»

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers