1077 search results - page 9 / 216 » Introducing Software Engineering by means of Extreme Program... |
HASKELL
2006
ACM
15 years 3 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
ADAEUROPE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
VAMOS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract—Today, software product line engineering concentrates on tailoring the functionality of programs. However, we and others observed an increasing interest in non-functiona...