|
СТ |
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations |
1997 |
France R. B., Bruel J. -M., Larrondo-Petrie M. M., Grant E. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
Guidelines for Formalizing Fusion Object-Oriented Analysis Models |
1996 |
Bates B. W., Bruel J. -M., France R. B., Larrondo-Petrie M. M. |
|
|
|
Lecture Notes in Computer Science |
06.06.1996 |
|
СТ |
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques |
1995 |
France R. B., Larrondo-Petrie M. M. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
|
СТ |
Understanding the Role of Formal Specification Techniques in Requirements Engineering |
1995 |
France R. B., Larrondo-Petrie M. M. |
|
|
|
Lecture Notes in Computer Science |
29.03.1995 |
|
СТ |
Computer Graphics Curriculum: Time for a Change? |
1994 |
Owen G. S., Larrondo-Petrie M. M., Laxer C. |
|
|
|
Computer Graphics |
16.09.1994 |
