152 search results - page 9 / 31 » Capacities-Centered Integral Software Process Formalization |
ICECCS
1998
IEEE
13 years 11 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
WOSP
2000
ACM
13 years 12 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
BPM
2008
Springer
13 years 9 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
DCEIS
2006
13 years 9 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...