1086 search results - page 112 / 218 » A Probabilistic Model for Software Projects |
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
FM
1999
Springer
14 years 16 days ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
PROMISE
2010
13 years 3 months ago
2010
BACKGROUND: Defect predictors learned from static code measures can isolate code modules with a higher than usual probability of defects. AIMS: To improve those learners by focusi...
ARCS
2006
Springer
14 years 2 hour ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
ACE
2004
13 years 9 months ago
2004
The Capability Maturity Model and SPICE approach to software process improvement has resulted in a robust system for improving development process capability in the field of softw...