author : Paolo Ciancarini

Short works

• A Course on Formal Methods in Software Engineering: Matching Requirements with Design. 1995. (In ZUM '95 )
• A Formal approach to software design: the Clepsydra methodology. 1995. (In ZUM '95 )
• Analysing and Refining an Architectural Style. 1997. (In ZUM '97 )
• Visualizing Z Notation in HTML Documents. 1998. (In ZUM '98 )