1128 search results - page 29 / 226 » Little Engines of Proof |
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
The popularity of empirical methods in software engineering research is on the rise. Surveys, experiments, metrics, case studies, and field studies are examples of empirical method...
IEEEIAS
2009
IEEE
15 years 4 months ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...
PPPJ
2006
ACM
15 years 3 months ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
IS
2008
14 years 9 months ago
2008
In recent years, while search engines have become more and more powerful, several specialized search engines have been developed for different domains (e.g. library services, serv...
SEE
2010
Springer
14 years 7 months ago
2010
Springer
Making decisions with an, often significant, element of risk seems to be an integral part of many of the projects of the diverse profession of engineering. Whether it be decisions...