Formal Extreme (and Extremely Formal) Programming-Reference-Cited by-同舟云学术

Formal Extreme (and Extremely Formal) Programming

Published:2003 Issue: Volume: Page:88-96
ISSN:0302-9743
Container-title:Extreme Programming and Agile Processes in Software Engineering
language:
Short-container-title:

Author:

Herranz Ángel,Moreno-Navarro Juan José

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44870-5_12

Reference11 articles.

1. K. Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley, Pearson Education, 2000. ISBN 201-61641-6.

2. H. Ehrig, F. Orejas, and J. Padberg. Relevance, intergration and classification of specification formalism and formal specification techniques. In Proc. FORMS, Formale Techniken für die Eisenbahnsicherung, Fortschritt-Berichte VDI, Reihe 12,Nr. 436, VDI Verlag, 2000, pages 31–54, 1999.

3. M. Fowler, K. Beck, J. Brant, and W. Opdyke. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.

4. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns-Elements of Reusable Object Oriented Software. Addison-Wesley, 1995.

5. A. Herranz, J. Moreno, and N. Maya. Declarative reflection and its application as a pattern language. In M. Comini and M. Falaschi, editors, 11th. InternationalWorkshop on Functional and Logic Programming (WFLP’02), Grado, Italy, June 2002. University of Udine.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches;Proceedings of the XIV Brazilian Symposium on Information Systems - SBSI'18;2018

2. Combining Formal Specifications with Test Driven Development;Lecture Notes in Computer Science;2004

3. i 2 MAP: An Incremental and Iterative Modeling and Analysis Process;Model Driven Engineering Languages and Systems