DMCA
Formal Extreme (and Extremely Formal) Programming (2003)
Cached
Download Links
- [babel.ls.fi.upm.es]
- [babel.ls.fi.upm.es]
- DBLP
Other Repositories/Bibliography
by
Angel Herranz
,
Juan José Moreno-Navarro
| Venue: | FOURTH INTERNATIONAL CONFERENCE ON EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING (XP’03 |
| Citations: | 13 - 2 self |
BibTeX
@INPROCEEDINGS{Herranz03formalextreme,
author = {Angel Herranz and Juan José Moreno-Navarro},
title = {Formal Extreme (and Extremely Formal) Programming},
booktitle = {FOURTH INTERNATIONAL CONFERENCE ON EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING (XP’03},
year = {2003},
pages = {88--96},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper is an exploratory work were the authors study how the technology of Formal Methods (FM) can interact with agile process in general and with Extreme Programming (XP) in particular. Our thesis is that most of XP practices (pair programming, daily build, the simplest design or the metaphor) are technology independent and therefore can be used in FM based developments.
