Fundamentals of Software Engineering, 2nd edition
by Carlo Ghezzi, Mehdi Jazayeri, and Dino Mandrioli
This page contains some links related to the different chapters.
Chapter 1
Software Engineering Body of Knowldege: a project of the IEEE Computer Society to characterize
the body of knowledge of software engineering.
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Petri Nets.
Chapter 6
Chapter 7
Open-source development
Testing tool and support for Agile
development and extreme programming.
Chapter 8
Chapter 9
The pvs system
The cvs system
Chapter 10
Case studies