2342 search results - page 42 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
148
Voted
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...
171
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
118
Voted
ICSEA
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper discusses an interdisciplinary educational initiative led by an instructional team with backgrounds in engineering and psychology in the context of an ergonomics course...
104
Voted
SEKE
2007
Springer
15 years 9 months ago
2007
Springer
Reverse Engineering is becoming increasingly important in the software development world today as many organizations are battling to understand and maintain old legacy systems. To...
159
Voted
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...