"Programming Methodology" complements the knowledge of the previous subject called "Basic Programming" adding formal aspects to the algorithm design.

Skills in analysis, design, implementation, and maintenance of correct software

Skills in program specification, documentation, validation, and verification

Skills to reason about program properties

To know the relationship between iteration and recursion

To know techniques for correct program transformation

1) Specification, Correction and Design by Contract

2) Preconditions and Postconditions. Formal Specification

3) Hoare's Formal System

4) Recursion

5) Algebraic Specification of Abstract Data Types

6) Burstall's Method

The student has to read the book and do the exercises provided at the end of the chapters (after the classes). The theoretical classes will focus on providing general information about the discipline, solving doubts about the subject and resolving different kinds of exercises.

• Continuous Assessment System
• Final Assessment System
• Tools and qualification percentages:
  • Written test to be taken (%): 90
  • Realization of Practical Work (exercises, cases or problems) (%): 10

The subject has two modes of assessment: by final (or overall) assessment and by continuous assessment.

CONTINUOUS EVALUATION: The student will be able to take part voluntarily in it, since it is offered exclusively for those who can carry out the continuous monitoring of the subject within the established framework of dedication and assistance to presential activities. Pre-enrolment in the continuous assessment mode will take place during the first week of the course. Pre-enrolment will become definitive after confirmation of the application by the student on the dates established (around the 12th week with approximately 70% of the weight of the evaluation already completed) and after verification of partial performance by the teaching staff. If the student does not confirm his or her definitive enrolment in the continuous assessment on the above-mentioned dates, it will be understood that he or she dismisses this enrolment.

The course is focused on continuous assessment.

Three written tests will be developed with a weight of 20%+ 40% +30%. Laboratory work will account for 10%.

FINAL EVALUATION: This will be applicable to students who do not wish to take part in the system of continuous assessment and to those who do not pass the conditions for final registration.

In this case, a final examination of competence must be done. It will be carried out according to the official schedule of examinations of the Faculty and which will represent 100%. The minimum grade required in the final exam will be 5 out of 10.

A final examination of competence where the minimum grade is 5 out of 10.

Support material is available in the eGela virtual classroom.
A laboratory of recursion is done using ADA programming language.

Basic bibliography

- Especificación, Verificación y Derivación Formal de Programas.

Alvez J., Arregi X., Gaintzarain J., Lucio P., Maritxalar M. Pearson, 2015.

- Programazioaren Metodologia.

Alvez J., Arregi X., Lucio P., Maritxalar M. Open Course Ware. UPV/EHU. 2013.

- Metodología y Tecnología de la Programación II. M. Díaz Roca,, J. C. Rodríguez del Pino. Univ. Palmas Gran Canaria, 2004.

- Verificación de Programas y Metodología de la Programación. A. Díaz de Ilarraza, P. Lucio. Servicio Editorial Universidad del País Vasco, 1990.

- Program Derivation. The Development of Programs from Specifications. G. Dromey. Addison-Wesley, 1989.

In-depth bibliography

- Program Construction and Verification. R. C. Backhouse. Prentice-Hall, 1986.
- Programación metódica. J.L. Balcázar. MacGraw-Hill, 1993.
- Diseño de Programas.- Formalismo y Abstracción. Ricardo Peña. Prentice Hall, 1998.

Journals

- Acta Informatica
- Programming and Computer Software
- Science of Computer Programming
- Software Quality Journal
- Transactions on Software Engineering and Methodology

Web addresses

http://en.wikipedia.org/wiki/Formal_verification
http://en.wikipedia.org/wiki/Design_by_contract
http://en.wikipedia.org/wiki/Collatz_conjecture
http://ocw.ehu.es/course/view.php?id=191