1086 search results - page 112 / 218 » A Probabilistic Model for Software Projects |
124
Voted
ETFA
2006
IEEE
15 years 8 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...
146
Voted
FM
1999
Springer
15 years 6 months 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...
119
Voted
PROMISE
2010
14 years 9 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...
119
Voted
ARCS
2006
Springer
15 years 6 months 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...
143
Voted
ACE
2004
15 years 4 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...