Opening book details…
Can I read Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures on EtoBox?
Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures by Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.) is a business book available to read on EtoBox.
What is Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures about?
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The seven tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The courses cover a wide spectrum of topics.
Who reads Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2006
- Language
- EN
- ISBN
- 9783540462538
- Category
- business
- Subjects
- Computer Science, Mathematics, Language Learning
- Updated
- 2026-03-25
Other editions & translations
- Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 r (2006)
- Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... (Lect (2006)
More by Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)
Similar books
- Testing techniques in software engineering : second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures — Patrícia Machado, Auri Vincenzi (auth.), Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook (2010)
- Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings (Lecture Notes in Computer Science, 10623) — Simone Cavalheiro; José Fiadeiro; Brazilian Symposium on Formal Methods (2017)
- Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures — Thomas Ball (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (2005)
- Rapid Integration of Software Engineering Techniques : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004 : Revised Selected Papers — Christopher Nelson, Jung Soo Kim (auth.), Nicolas Guelfi (2005)
- Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : Revised Papers — Michał Antkiewicz, Krzysztof Czarnecki (auth.), Ralf Lämmel, Joost Visser, João Saraiva (2008)
- Software Engineering: International Summer Schools, Issse 2006-2008, Salerno, Italy, Revised Tutorial Lectures (lecture Notes In Computer Science / Programming And Software Engineering) — Paola Inverardi, Massimo Tivoli (auth.), Andrea De Lucia, Filomena Ferrucci (2009)
