Sciweavers

147 search results - page 13 / 30
» Applying Value-Based Software Process: An ERP Example
Sort
View
ADAEUROPE
1997
Springer
15 years 3 months ago
Systematic Unit-Testing of Ada Programs
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
Joachim Wegener, Ines Fey
115
Voted
FASE
2005
Springer
15 years 5 months ago
Termination Criteria for Model Transformation
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabrie...
SFM
2009
Springer
15 years 6 months ago
Quantitative Analysis of Web Services Using SRMC
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
Allan Clark, Stephen Gilmore, Mirco Tribastone
METRICS
2003
IEEE
15 years 4 months ago
Using Service Utilization Metrics to Assess the Structure of Product Line Architectures
Metrics have long been used to measure and evaluate software products and processes. Many metrics have been developed that have lead to different degrees of success. Software arch...
André van der Hoek, Ebru Dincel, Nenad Medv...
BCSHCI
2007
15 years 1 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves