1799 search results - page 26 / 360 » The Logic of Correctness in Software Engineering |
212
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
103
click to vote
ESSOS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
140
click to vote
RWEB
2010
Springer
14 years 11 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
108
click to vote
ENTCS
2006
15 years 1 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
SEW
2005
IEEE
15 years 7 months ago
2005
IEEE
The topic of this full-day tutorial was the correct use and interpretation of case studies as an empirical research method. Using an equal blend of lecture and discussion, it gave...