Ingegneria del Software: Metodi di Specifica

Egon Börger        Tel. 0502212799

Introdurre lo studente a metodi di specifica utili per progetti industriali

Il corso introduce i metodi principali che si usano per la progettazione di software industriale. Gli approcci principali che verrano discussi sono Abstract State Machines, il metodo B, il metodo VDM ed il metodo UML.

Socrates) ***** The course introduces the main approaches used for industrial software design. The focus is on Abstract State Machines, B machines, VDM and UML.

The method of Abstract State Machines. The B method. The VDM method. The elements of UML. These methods will be explained mainly through case studies, taken from the areas of implementation of programming languages, design of embedded systems and architectural design (of virtual and instru8ction set machines). The students are invited to suggest case studies they want to see discussed.

References to the literature will be given during the lectures.

Scritto e orale