15784 search results - page 837 / 3157 » Mega Software Engineering |
195
click to vote
TFM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
210
click to vote
XPU
2007
Springer
16 years 1 months ago
2007
Springer
This research explored aspects of agile teamwork initiatives associated with positive socio-psychological phenomena, with a focus on phenomena outside the scope of traditional mana...
198
click to vote
ASWEC
2005
IEEE
16 years 1 months ago
2005
IEEE
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...
180
click to vote
RE
2004
Springer
16 years 29 days ago
2004
Springer
One of the most important principles in Software Engineering is the separation of concerns. When this principle is correctly applied, it helps to promote comprehensibility, mainta...
186
click to vote
WCRE
2002
IEEE
16 years 15 days ago
2002
IEEE
At MITRE we are developing tools to aid analysts in assessing the operational usability and quality of object-oriented code. Our tools statically examine source code, automaticall...