|
 
|
Fiona Polack
Publications
2002
-
[LP02]
R. Laleau, F. Polack.
"Coming and going from UML to B : a proposal to support traceability in rigorous IS development",
ZB?2002: Int. Conf. on Formal Specification and Development in Z and B,
January 2002,
Vol. 2272,
Conférence Internationale avec comité de lecture
2001
-
[LP01a]
R. Laleau, F. Polack.
"Specification of integrity-preserving operations in information systems by using a formal UML-based language",
Information and Software Technology,
2001
-
[LP01]
R. Laleau, F. Polack.
"A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems Specification",
CAISE'01, Interlaken, Suisse,
January 2001,
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
2000
- [LP00] R. Laleau, F. Polack. "Metamodels for Static Conceptual Modelling of Information Systems", Workshop on Defining Precise Semantics for UML, ECOOP'2000, Sophia Antipolis, France, January 2000,
Conférence Internationale avec comité de lecture
1999
- [FLM99a] P. Facon, R. Laleau, A. Mammar, F. Polack. "Formal Specification of the UML Metamodel for Building Rigorous Caise Tools", Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-91)
