Sciweavers

717 search results - page 19 / 144
» Modeling and Analysis of Software Aging Process
Sort
View
ICCBSS
2005
Springer
14 years 3 months ago
Using Goals and Quality Models to Support the Matching Analysis During COTS Selection
The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching b...
Carina Alves, Xavier Franch, Juan Pablo Carvallo, ...
MICCAI
2008
Springer
14 years 11 months ago
Tracking the Swimming Motions of C
Quantitative analysis of the swimming motions of C. elegans worms are of critical importance for many gene-related studies on aging. However no automated methods are currently in u...
Christophe Restif, Dimitris N. Metaxas
SAFECOMP
1998
Springer
14 years 1 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
CTW
2006
88views more  CTW 2006»
13 years 10 months ago
Using multiple cognitive task analysis methods for supervisory control interface design in high-throughput biological screening
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
David B. Kaber, Noa Segall, Rebecca S. Green, K. E...
RE
2004
Springer
14 years 3 months ago
From Goals to Aspects: Discovering Aspects from Requirements Goal Models
Aspect-oriented programming (AOP) has been attracting much attention in the Software Engineering community by advocating that programs should be structured according to programmer...
Yijun Yu, Julio Cesar Sampaio do Prado Leite, John...