1077 search results - page 51 / 216 » Introducing Software Engineering by means of Extreme Program... |
FORTE
2007
15 years 1 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
JSC
2010
14 years 10 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
STTT
2002
14 years 11 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
103
click to vote
COBUILD
1999
Springer
15 years 4 months ago
1999
Springer
A concept of complex objects, being artifacts that have one real physical part and several virtual parts representing certain aspects of the object, is introduced. These parts are ...