ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
FSTTCS
1995
Springer
13 years 11 months ago
1995
Springer
Karp and Zhang developed a general randomized parallel algorithm for solving branch and bound problems. They showed that with high probability their algorithm attained optimal spe...
FSTTCS
1995
Springer
13 years 11 months ago
1995
Springer
FSTTCS
1995
Springer
13 years 11 months ago
1995
Springer
EWSPT
1995
Springer
13 years 11 months ago
1995
Springer
EWSPT
1995
Springer
13 years 11 months ago
1995
Springer
ÐThis paper discusses the notion of process inconsistency and suggests that inconsistencies in software processes are inevitable and sometimes desirable. We present an approach to...
EWSPT
1995
Springer
13 years 11 months ago
1995
Springer
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key ...
EWSPT
1995
Springer
13 years 11 months ago
1995
Springer
Software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and...
EWSPT
1995
Springer
13 years 11 months ago
1995
Springer
A wide variety of techniques and approaches are needed to understand and improve software development processes. The critical research problem is supporting the move from completel...