Enginyeria del Software: Especificació (ES:E)
(http://www.lsi.upc.edu/~es-e/)
| Professors Responsables: |
M. RIBERA SANCHO SAMSO (ribera lsi.upc.edu)
|
|
Crèdits: 6.0 (3.0 T 1.5 P 1.5 L)
| |
Departament:
LSI
|
Tipus d'assignatura
Obligatoria de segon cicle per la EI
Obligatoria per la ETIG
Optativa per la ETIS
Requisits de l'assignatura
|
IBD
- Correquisit per la ETIG
|
|
|
IBD
- Pre-requisit per la EI , ETIS
|
|
Objectius docents
a) Tenir una visió inicial del procés de l'enginyeria del software.
b) Conèixer les propietats desitjables de les especificacions.
c) Conèixer que hi ha diferents models, mètodes i llenguatges per
a especificar sistemes software, i llur adequació als diversos dominis
d'aplicació.
d) Saber escriure especificacions en un model, mètode i llenguatge.
e) Saber analitzar la completesa i consistència de les
especificacions.
f) Saber relacionar els requeriments amb parts de les especificacions
funcionals.
g) Conèixer els estàndars de documentació de les
especificacions.
h) Saber generar casos de proves a partir de les especificacions.
Programa
1. Introducció a l'enginyeria del software.
Software. Enginyeria
del software. Paradigmes.
2. Requeriments i espeficificacions de sistemes.
Requerimens funcionals i no funcionals.
Objectius de les especificacions. Propietats desitjables.
Estàndards. Models d'especificació segons el domini
d'aplicació.
3. L'especificació orientada a objectes: la notació UML
Especificació de l'aspecte estàtic (Model Conceptual) i
de l'aspecte dinàmic (model del comportament: Diagrama de Casos
d'Ús, Diagrama de Seqüència d'Esdeveniments) d'un sistema software.
4. Especificació de sistemes de temps real en UML
5. Disseny de proves
Visió general de les proves de sistemes
software. Generació de casos de proves a partir de les
especificacions.
6. Altres models i mètodes d'especificació
L'anàlisi estructurada, mètodes formals. Adequació
segons domini d'aplicació.
Avaluació
La qualificació final d'un estudiant estarà formada per:
- Dos exercicis durant el curs: 10% cada un
- Participació: un 10%
- Projecte:un 20%
- Examen final: un 50%; per aprovar cal treure un mínim de 4 en l'examen final.
Si l'alumne no arriba a la nota mínima de 4 a l'examen final, la seva nota final del curs serà el mínim entre 4,5 i la nota resultant d'aplicar la fórmula anterior.
Bibliografia
Bibliografia bàsica
- J.Rumbaugh, I.Jacobson, G.Booch The Unified Modeling Language Reference Manual (versió en castellà titulada: "UML. El lenguaje unificado de modelado. Manual de Referencia") Addison-Wesley, 1999
- C. Larman Applying UML and Patterns: an Introduction to OO Analysis and Design (versió en castellà titulada: "UML y patrones. Introducción al análisis y diseño orientado a objetos") " Prentice-Hall, 1998
- D.Costal; M.R.Sancho; E.Teniente Enginyeria del Software: Especificació (Transparències del curs) Edicions UPC, 2000
- R.S. Pressman Software Engineering. A Practitioner's Approach McGraw-Hill,Inc, 4a.edició, 1997
Bibliografia complementària
- I.Jacobson, G.Booch, J.Rumbaugh The Unified Software Development Process (versió en castellà titulada: "UML. El proceso unificado de desarrollo del software") " Addison-Wesley, 1999
- P.A.Muller Modelado de Objetos con UML Eyrolles-Gestión 2000, 1997
- M.Fowler, K.Scott UML Distilled Addison-Wesley, 1997
- J.Warmer, A.Kleppe The Object Constraint Language Addison-Wesley, 1999
- Yourdon Inc. Yourdon Systems Method. Model-driven Systems Development. Yourdon Press, 1993
- IEEE Software engineering standars IEEE, 1987
Informació complementària
CLASSES DE PROBLEMES
L'objectiu de les classes de problemes és comentar i discutir
col.lectivament les diverses solucions possibles als exercicis plantejats. Els
professors indicaran els exercicis que es faran a cada sessió. És
totalment necessari que els estudiants resolguin aquest exercicis abans de la
classe corresponent. A la classe es discutiran les solucions aportades pels
estudiants.
CLASSES DE LABORATORI
L'objectiu de les classes de laboratori és especificar completament un
sistema proposat, de tamany mitjà. Es presentarà una eina CASE d'ajuda a
l'elaboració d'especificacions.
|
