1137 search results - page 117 / 228 » Disciplined Methods of Software Specification: A Case Study |
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper describes a method for the "Analysis and Prediction of Performance for Evolving Architectures" (APPEAR). The method aims at performance estimation of adapted ...
FATES
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
ALMOB
2006
14 years 10 months ago
2006
Background: An important challenge in eukaryotic gene prediction is accurate identification of alternatively spliced exons. Functional transcripts can go undetected in gene expres...