Sciweavers

2342 search results - page 290 / 469
» A Methodology for Evaluating Software Engineering Methods an...
Sort
View
WWW
2003
ACM
16 years 4 months ago
TSpaces Services Suite: Automating the Development and Management of Web Services
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
Marcus Fontoura, Tobin J. Lehman, Dwayne Nelson, T...
ISBI
2004
IEEE
16 years 4 months ago
Image Analysis of Doppler Echocardiography for Patients with Atrial Fibrillation
Image analysis tools are used for the extraction of clinical data from Doppler Echocardiography images. Currently, manual methods are subject to large inter- and intraobserver var...
Oron Shechner, Hayit Greenspan, Mickey Sheinovitz,...
125
Voted
SIMUTOOLS
2008
15 years 5 months ago
Transforming sources to petri nets: a way to analyze execution of parallel programs
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
Jean-Baptiste Voron, Fabrice Kordon
128
Voted
RE
2007
Springer
15 years 10 months ago
Goal-Oriented Conceptual Database Design
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
Lei Jiang, Thodoros Topaloglou, Alexander Borgida,...
154
Voted
ASWEC
2005
IEEE
15 years 9 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
Soon-Kyeong Kim, Luke Wildman, Roger Duke