Lopez-Nores, Martin Pazos-Arias, Jose J. Garcia-Duque, Jorge Blanco-Fernandez, Yolanda <br/><br/>
Procedures and Algorithms  for  Continuous Integration in an Agile Specification Environment 

 - 47-78 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal Specification<br/>Agile Software Development<br/>Continuous Integration