9974 search results - page 291 / 1995 » Software Interconnection Models |
180
click to vote
ISSRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
177
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
168
click to vote
ICEBE
2006
IEEE
16 years 20 days ago
2006
IEEE
The alignment of business processes and their supporting application software is a major concern during the initial software design phases. This paper proposes a design approach a...
192
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
181
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a discrete simulation model for software projects which explicitly takes a scheduling strategy as input. The model represents varying staff skill levels, component coup...