1173 search results - page 122 / 235 » Program Derivation Using Analogy |
115
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
164
click to vote
ISESE
2005
IEEE
2005
IEEE
Dialog-based protocol: an empirical research method for cognitive activities in software engineering
15 years 10 months ago
This paper proposes dialog-based protocol for the study of the cognitive activities during software development and evolution. The dialog-based protocol, derived from the idea of ...
113
click to vote
NECO
2008
15 years 5 months ago
2008
A new gradient technique is introduced for linear ICA based on the Edgeworth expansion of mutual information, for which the algorithm operates sequentially using fixed-point itera...
156
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
134
click to vote
UTP
2010
15 years 2 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...