Sciweavers

7 search results - page 1 / 2
» ewspt 2003
Sort
View
EWSPT
2003
Springer
13 years 9 months ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner
EWSPT
2003
Springer
13 years 9 months ago
Process Support for Evolving Active Architectures
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
R. Mark Greenwood, Dharini Balasubramaniam, Sorana...
EWSPT
2003
Springer
13 years 9 months ago
An Approach and Framework for Extensible Process Support System
The issue of building a Process Support System Environment (PSSE), or a family of PSEE, to make them interoperate or to use them to pilot applications or services requires new solu...
Jacky Estublier, Jorge Villalobos, Anh-Tuyet Le, S...
EWSPT
2003
Springer
13 years 9 months ago
Formalizing Rework in Software Processes
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Oste...
EWSPT
2003
Springer
13 years 9 months ago
Lessons Learned and Recommendations from Two Large Norwegian SPI Programmes
: Software development is an experimental discipline, i.e. somewhat unpredictable. This suggests that software processes improvement should be based on the continuous iteration of ...
Reidar Conradi, Tore Dybå, Dag I. K. Sj&osla...