726 search results - page 96 / 146 » Formal Requirements Engineering: Learning from the Students |
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
123
click to vote
SACMAT
2010
ACM
15 years 4 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
ICSE
2009
IEEE-ACM
16 years 19 days ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
109
click to vote
CIKM
2006
Springer
15 years 3 months ago
2006
Springer
We discuss information retrieval methods that aim at serving a diverse stream of user queries such as those submitted to commercial search engines. We propose methods that emphasi...
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Authorship attribution is used to determine the creator of works among many candidates, playing a vital role in software forensics, authorship disputes and academic integrity inve...