112 search results - page 22 / 23 » Using Free Libre Open Source Software Projects as E-learning... |
SIGSOFT
2008
ACM
14 years 6 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
PPPJ
2006
ACM
14 years 3 days ago
2006
ACM
In Java programs, classes are coupled to each other through the use of typed references. In order to minimize coupling without changing the executed code, interfaces can be introd...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Several techniques have been developed for identifying similar code fragments in programs. These similar fragments, referred to as code clones, can be used to identify redundant c...
BMCBI
2005
13 years 6 months ago
2005
Background: BLAST is a widely used genetic research tool for analysis of similarity between nucleotide and protein sequences. This paper presents a software application entitled &...
ICSE
2007
IEEE-ACM
14 years 9 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...