|
СТ |
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 |
|
СТ |
Reuse of Specification Patterns with the B Method |
2003 |
Blazy S., Gervais F., Laleau R. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Proving Event Ordering Properties for Information Systems |
2003 |
Frappier M., Laleau R. |
|
|
|
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 |
|
СТ |
A Rigorous Metamodel for UML Static Conceptual Modeling of Information Systems |
2001 |
Laleau R., Polack F. |
|
|
|
Lecture Notes in Computer Science |
29.06.2001 |
|
СТ |
A Generic Process to Refine a B Specification into a Relational Database Implementation |
2000 |
Laleau R., Mammar A. |
|
|
|
Lecture Notes in Computer Science |
21.10.2000 |
|
СТ |
Deriving Normalized Is_a Hierarchies by Using Applicability Constraints |
1996 |
Lammari N., Laleau R., Jouve M., Castellani X. |
|
|
|
Lecture Notes in Computer Science |
06.06.1996 |
