Sciweavers

2369 search results - page 263 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
SEKE
2004
Springer
16 years 18 days ago
Automated Assistance for Eliciting User Expectations
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
Orna Raz, Rebecca B. Buchheit, Mary Shaw, Philip K...
METRICS
2003
IEEE
16 years 16 days ago
Definition and Validation of Design Metrics for Distributed Applications
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
Pablo Rossi, George Fernandez
JSS
2006
88views more  JSS 2006»
15 years 7 months ago
A formal representation of functional size measurement methods
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
Marjan Hericko, Ivan Rozman, Ales Zivkovic
ISSRE
2006
IEEE
16 years 1 months ago
Queuing Models for Field Defect Resolution Process
This paper explores a novel application of queuing theory to the corrective software maintenance problem to support quantitative balancing between resources and responsiveness. In...
Swapna S. Gokhale, Robert E. Mullen
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
16 years 24 days ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser