9626 search results - page 431 / 1926 » Invariant Based Programming |
172
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Software process improvement (SPI) has emerged as a critical area for organizations involved in software development. There is now considerable evidence that SPI can provide subst...
173
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
195
click to vote
DBPL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
181
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
218
click to vote
WISE
2010
Springer
15 years 4 months ago
2010
Springer
Mashup combines information or functionality from two or more existing Web sources to create a new Web page or application. The Web sources that are used to build mashup applicatio...