321 search results - page 4 / 65 » What characterizes a (software) component |
KBSE
2002
IEEE
14 years 1 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
ICSE
1995
IEEE-ACM
14 years 15 days ago
1995
IEEE-ACM
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...
WICSA
2008
13 years 10 months ago
2008
Several architecture analysis methods are proposed in the literature for evaluating both the structure and the behavior of architectures. A parallel between humans and software sy...
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
—Software logging is a conventional programming practice. While its efficacy is often important for users and developers to understand what have happened in the production run, ...
ICSR
2009
Springer
13 years 6 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...