1217 search results - page 58 / 244 » Directions in Software Development and Maintenance |
111
click to vote
ICFEM
2009
Springer
14 years 7 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...
JSW
2008
14 years 9 months ago
2008
An estimation of change-proneness of parts of a software system is an active topic in the area of software engineering. Such estimates can be used to predict changes to different c...
106
click to vote
OPODIS
2004
14 years 11 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
KBSE
2010
IEEE
14 years 7 months ago
2010
IEEE
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Software process research deals with the methods and technologies used to assess, support, and improve software development activities. The field has grown up during the 80s to ad...