Metode de dezvoltare software (Gheorghe Stefanescu)

Cursuri

• Metode de dezvoltare software
• Grup de lucru pe Yahoo

Descriere

2, http://cheapmedsonline.co.uk/ cialis price,

Notare

• examen 50% ( cu cartile pe masa )
• preoiect 40%
• prezenta 10%

Bibliografie

• Limbajul Z
  • Mike Spivey - "The Z Reference Manual" - Prentice Hall 1992 [1]
  • Jim Woodcock - "Jim Davies, Using Z" - Prentice Hall 1996 [2]
  • Achim D. Brucker, Burkhart Wolff - "The HOL-Z Reference Manual" - Version 3.0, February 7, 2007
  • ISO/IEC 2002 - "Information technology - Z formal specification notation - Syntax, type system and semantics" - First edition 2002-07-01
• UML
  • G. Booch, J. Rumbaugh, I. Jacobson - "The Unified Modeing Language UML" - Addison Wesley, 1999
• Calcul paralel
  • B. Wilkinson, C.M. Allen - "Parallel Programming: Techniques and Applications Using Networked Workstations and Parallel Computers" - Prentice Hall 1999.
• Verificare
  • M. Huth, M. Ryan, Logic in Computer Science: Modelling and reasoning about systems, Cambridge University Press 2000.
• Statecharts
  • David Harel - "Statecharts: A Visual Formalism For Complex Systems" - Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, 1986

Subiecte date la examen

• la grupa 232

Pagina 1 download

Pagina 2 download

• la grupa 242

Pagina 1 download

Pagina 2 download

• la grupa 243 au fost similare cu cele de la grupa 242 (parametrii diferiti)