Giuseppe Occorso

According to our database, Giuseppe Occorso authored at least 2 papers in 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Simulation-based Verification of UML models.

Luigi Lavazza, Giuseppe Occorso

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Towards UML-Based Formal Specifications of Component-Based Real-Time Software.

Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso

Proceedings of the Fundamental Approaches to Software Engineering, 2003