Sciweavers

338 search results - page 10 / 68
» Safety Methods in Software Process Improvement
Sort
View
ISCI
2007
82views more  ISCI 2007»
13 years 8 months ago
Managing software process measurement: A metamodel-based approach
The evaluation of software processes is nowadays a very important issue due to the growing interest of software companies in the improvement of the productivity and quality of del...
Francisco García, Manuel A. Serrano, Jos&ea...
ICCL
1998
IEEE
14 years 29 days ago
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
Christopher Colby, Lalita Jategaonkar Jagadeesan, ...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
14 years 2 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
KBSE
2005
IEEE
14 years 2 months ago
Process support to help novices design software faster and better
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...
Aaron G. Cass, Leon J. Osterweil
ICCBR
2001
Springer
14 years 1 months ago
Applying CBR and Object Database Techniques in Chemical Process Design
The aim of this paper is to introduce a new method for finding and reusing process equipment design and inherently safer process configurations by case-based reasoning (CBR) and ob...
Timo Seuranen, Elina Pajula, Markku Hurme