5407 search results - page 152 / 1082 » The Software Engineering Global Model |
129
Voted
APAQS
2000
IEEE
15 years 7 months ago
2000
IEEE
The use of the statistical technique of mixture model analysis as a tool for early prediction of fault-prone program modules is investigated. The Expectation-Maximum likelihood (E...
119
Voted
WOSP
2000
ACM
15 years 7 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
154
click to vote
DAGSTUHL
2009
15 years 4 months ago
2009
It is commonly agreed that a self-adaptive software system is one that can modify itself at run-time due to changes in the system, its requirements, or the environment in which it ...
112
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
106
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...