1001 search results - page 70 / 201 » Myths in Software Engineering: From the Other Side |
PROFES
2004
Springer
15 years 5 months ago
2004
Springer
The area of tool support for software inspection has been under active research since the early 1990's. Although numerous implementations exist and development is still taking...
CSMR
2009
IEEE
15 years 4 months ago
2009
IEEE
Currently, most software systems have a dynamic nature and need to evolve at run-time. For this reason, the dynamic reconfiguration of software architectures is a challenge that m...
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
Plagiarism of material from the Internet is a widespread and growing problem. Computer science students, and those in other science and engineering courses, can sometimes get away...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
The Prometheus Design Tool (PDT) is a graphical tool that is used to design a Multi-Agent System following the Prometheus Methodology. This paper describes the latest version of P...
114
click to vote
ICFP
2005
ACM
15 years 12 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...