|
СТ |
A Framework for Reliability Assessment of Software Components |
2004 |
Shukla R., Strooper P., Carrington D. |
|
|
|
Lecture Notes in Computer Science |
05.06.2004 |
|
СТ |
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints |
2002 |
Kim S. -K., Carrington D. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
Specifying Interactive Systems in Object-Z and CSP |
1999 |
Maccoll I., Carrington D. |
|
|
|
IFM 99 |
31.01.2001 |
|
СТ |
Translating UAN into CSP |
2000 |
Maccoll I., Carrington D. |
|
|
|
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 |
26.12.2000 |
|
СТ |
A Formal Mapping between UML Models and Object-Z Specifications |
2000 |
Kim S. -K., Carrington D. |
|
|
|
Lecture Notes in Computer Science |
21.10.2000 |
|
СТ |
Formalizing the UML Class Diagram Using Object-Z |
1999 |
Kim S. -K., Carrington D. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
|
СТ |
Formal Derivation of Finite State Machines for Class Testing |
1998 |
Murray L., Carrington D., Maccoll I., Mcdonald J., Stooper P. |
|
|
|
Lecture Notes in Computer Science |
08.12.1998 |
|
СТ |
A Framework for Specification-Based Testing |
1996 |
Stocks P., Carrington D. |
|
|
|
IEEE Transactions on Software Engineering |
15.03.1997 |
|
СТ |
Structuring Z Specifications: Some Choices |
1995 |
Macdonald A., Carrington D. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
|
СТ |
Deriving Modular Designs from Formal Specifications |
1993 |
Carrington D., Duke D., Hayes I., Welsh J. |
|
|
|
Software Engineering Notes |
12.04.1994 |
|
СТ |
Test Template Framework: A Specification-Based Testing Case Study |
1993 |
Stocks P., Carrington D. |
|
|
|
Software Engineering Notes |
29.09.1993 |
