|
СТ |
A Rigorous Metamodel for UML Static Conceptual Modeling of Information Systems |
2001 |
Laleau R., Polack F. |
|
|
|
Lecture Notes in Computer Science |
29.06.2001 |
|
СТ |
An Outline Pattern Language for Z: Five Illustrations and Two Tables |
2003 |
Stepney S., Polack F., Toyn I. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development |
2002 |
Laleau R., Polack F. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
Comparison of Formalization Approaches of UML Class Constructs in Z and Object-Z |
2003 |
Amalio N., Polack F. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Formal Proof from UML Models |
2004 |
Amalio N., Stepney S., Polack F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.02.2005 |
|
СТ |
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z |
2003 |
Stepney S., Polack F., Toyn I. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment |
2004 |
Ge X., Polack F., Laleau R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
13.07.2004 |
|
СТ |
Systems Development Using Z Generics |
1999 |
Polack F., Stepney S. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
The SAZ Project: Integrating SSADM and Z |
1993 |
Polack F., Whiston M., Mander K. |
|
|
|
Lecture Notes in Computer Science |
27.05.1993 |
