2682 search results - page 131 / 537 » An Iterative-Cyclic Software Process Model |
SEFM
2006
IEEE
15 years 4 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
100
click to vote
CODES
2010
IEEE
14 years 8 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Inspections provide an effective way of acquiring and reusing experience knowledge. Several details, in both the inspection processes and the inspection event itself, can be found...
108
click to vote
CCGRID
2006
IEEE
15 years 4 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
100
click to vote
RE
2010
Springer
14 years 4 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...