|
СТ |
Design and Verification of Distributed Multimedia Systems |
2003 |
Akehurst D., Derrick J., Waters A. G. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
|
СТ |
Using Coupled Simulation in Non-atomic Refinement |
2003 |
Derrick J., Wehrheim H. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Timed GSP and Object-Z |
2003 |
Derrick J. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Recent Advances in Refinement |
2003 |
Derrick J., Boiten E. |
|
|
|
Lecture Notes in Computer Science |
28.03.2003 |
|
СТ |
Abstract Specification in Object-Z and CSP |
2002 |
Smith G., Derrick J. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
A UML Approach to the Design of Open Distributed Systems |
2002 |
Bordbar B., Derrick J., Waters G. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
Handling Inconsistencies in Z Using Quasi-Classical Logic |
2002 |
Miarka R., Derrick J., Boiten E. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
Analysis of a Multimedia Stream using Stochastic Process Algebra |
2001 |
Bowman H., Bryans J. W., Derrick J. |
|
|
|
The Computer J. |
17.08.2001 |
|
СТ |
Specifying component and context specification using Promotion |
1999 |
Derrick J., Boiten E. |
|
|
|
IFM 99 |
31.01.2001 |
|
СТ |
A Case Study in Partial Specification: Consistency and Refinement for Object-Z |
2000 |
Taylor C., Derrick J., Boiten E. |
|
|
|
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 |
26.12.2000 |
|
СТ |
Structural Refinement in Object-Z / CSP |
2000 |
Derrick J., Smith G. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
|
СТ |
Guards, Preconditions, and Refinement in Z |
2000 |
Miarka R., Boiten E., Derrick J. |
|
|
|
Lecture Notes in Computer Science |
21.10.2000 |
|
СТ |
Consistency of Partial Process Specifications |
1999 |
Steen M., Derrick J., Boiten E., Bowman H. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
Testing Refinements by Refining Tests |
1998 |
Derrick J., Boiten E. |
|
|
|
Lecture Notes in Computer Science |
08.12.1998 |
|
СТ |
Weak Refinement in Z |
1997 |
Derrick J., Boiten E., Bowman H., Steen M. |
|
|
|
Lecture Notes in Computer Science |
15.04.1997 |
|
СТ |
On the Role of Formal Techniques in Open Distributed Processing |
1994 |
Bowman H., Derrick J. |
|
|
|
Международная конференция-выставка "Открытые системы - решение для нового мира": Тез. докл. |
14.07.1994 |
