1481 search results - page 106 / 297 » Enriching the Software Development Process by Formal Methods |
137
click to vote
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
As agile software development principles and methods are being adopted by large software product organizations it is important to understand the role of software entropy. That is,...
125
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
134
click to vote
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...
154
Voted
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
134
Voted
JSW
2007
15 years 3 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...