1781 search results - page 99 / 357 » An Emerging Need for a New Software Engineering Method |
136
Voted
ICFEM
2009
Springer
14 years 10 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...
120
click to vote
EWSPT
2003
Springer
15 years 5 months ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
109
Voted
AC
2005
Springer
15 years 16 days ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
117
Voted
EUROMICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper introduces thread integration, a new method of providing low-cost concurrency for microcontrollers and microprocessors. This post-pass compiler technology effectively i...
132
Voted
CAISE
1997
Springer
15 years 4 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...