|
СТ |
Recent Advances in Refinement |
2003 |
Derrick J., Boiten E. |
|
|
|
Lecture Notes in Computer Science |
28.03.2003 |
|
СТ |
Handling Inconsistencies in Z Using Quasi-Classical Logic |
2002 |
Miarka R., Derrick J., Boiten E. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
Loose Specification and Refinement in Z |
2002 |
Boiten E. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
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 |
|
СТ |
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 |
|
М |
Views of Formal Program Development |
1992 |
Boiten E. |
|
|
Univ.Nijmegen |
|
13.07.1993 |
