2342 search results - page 64 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
101
Voted
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
Disclosures of health databases for secondary purposes is increasing rapidly. In this paper, we develop and evaluate a reidentification risk metric for the case where an intruder ...
115
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
119
click to vote
BCSHCI
2008
15 years 5 months ago
2008
This paper reports the results of an international web-based survey on the use of field studies in the design and evaluation of interactive systems, which was conducted between De...
119
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
138
click to vote
ACSC
2000
IEEE
15 years 7 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...