СТ |
Analyzing Refinements of State Based Specifications: The Case of TB Nets |
1993 |
Felder M., Ghezzi C., Pezze M. |
|
|
|
Software Engineering Notes |
29.09.1993 |
СТ |
Toward Formalizing Structured Analysis |
1998 |
Baresi L., Pezze M. |
|
|
|
ACM Trans. on Software Engineering and Methodology |
10.04.1998 |
СТ |
Automated Testing of Classes |
2000 |
Buy U., Orso A., Pezze M. |
|
|
|
Software Engineering Notes |
14.12.2000 |
СТ |
On Formalizing UML with High-level Petri Nets |
2001 |
Baresi L., Pezze M. |
|
|
|
Lecture Notes in Computer Science |
25.05.2001 |
СТ |
A Toolbox for Automationg Visual Software Engineering |
2002 |
Baresi L., Pezze M. |
|
|
|
Lecture Notes in Computer Science |
15.05.2002 |