467 search results - page 4 / 94 » Program fields for continuous software |
CACM
2004
13 years 5 months ago
2004
s (theory, abstraction, and design) [2]. They put programming as a subpart of the design component of most of the nine areas, especially algorithms and software engineering. Their ...
ICSE
2012
IEEE-ACM
11 years 8 months ago
2012
IEEE-ACM
—The wide variety of software development tools available today have a great potential to improve the way developers make software, but that potential goes unfulfilled when deve...
PADL
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
PASTE
1999
ACM
13 years 10 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...
CSMR
2010
IEEE
13 years 21 days ago
2010
IEEE
While significant progress has been made over the last ten years in the research field of quality assessment, developers still can't take full advantage of the benefits of the...