|
СТ |
Aspect-oriented Metamodeling |
2003 |
Clark T., Evans A., Kent S. |
|
|
|
The Computer J. |
23.09.2003 |
|
СТ |
A Metamodel for Package Extension with Renaming |
2002 |
Clark T., Evans A., Kent S. |
|
|
|
Lecture Notes in Computer Science |
30.10.2002 |
|
СТ |
Object-Oriented Theories for Model Driven Architecture |
2002 |
Clark T., Evans A., France R. |
|
|
|
Lecture Notes in Computer Science |
27.09.2002 |
|
СТ |
Engineering Modeling Languages: A Precise Meta-Modeling Approach |
2002 |
Clark T., Evans A., Kent S. |
|
|
|
Lecture Notes in Computer Science |
15.05.2002 |
|
СТ |
A Meta-model Facility for a Family of UML Constraint Languages |
2002 |
Clark T., Evans A., Kent S. |
|
|
|
Lecture Notes in Computer Science |
11.04.2002 |
|
СТ |
An Action Semantics for MML |
2001 |
Alvarez J. M., Clark T., Evans A., Sammut P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
|
СТ |
The Metamodeling Language Calculus: Foundation Semantics for UML |
2001 |
Clark T., Evans A., Kent S. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
|
СТ |
UML Semantics FAQ |
1999 |
Kent S., Evans A., Rumpe B. |
|
|
|
Lecture Notes in Computer Science |
26.01.2000 |
|
СТ |
Core Meta-Modeling Semantics of UML: The pUML Approach |
1999 |
Evans A., Kent S. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
|
СТ |
Rigorous Development in UML |
1999 |
Lano K., Evans A. |
|
|
|
Lecture Notes in Computer Science |
06.04.1999 |
|
СТ |
Using Z to Rigorously Review a Specification of a Network Management System |
1995 |
Bryant T., Evans A., Semmens L., Milovanovic R., Stockman S., Norris M., Selley C. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
|
П |
DIANA Reference Manual. Revision 3 |
1983 |
Evans A., Butler K. J., Goos G., Wulf W. A. |
|
|
Tartan Lab. |
|
19.06.1992 |
