9006 search results - page 79 / 1802 » Modeling Software |
102
click to vote
CODES
1996
IEEE
15 years 6 months ago
1996
IEEE
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
116
Voted
AC
2005
Springer
15 years 2 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
126
click to vote
SOPR
2002
15 years 1 months ago
2002
Good project scheduling is an essential, but extremely hard task in software management practice. In a software project, the time needed to complete some development activity is d...
114
click to vote
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
The resource decisions in software project using cost models do not satisfy managerial decision, as it does not support trade-off analysis among resources. A Bayesian net approach...
144
click to vote
CLEIEJ
2010
14 years 11 months ago
2010
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...