|
СТ |
A Formal Semantics for a Language with Type Extension |
1995 |
Bancroft P., Hayes I. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
|
СТ |
A Technique for Modular Logic Program Refinement |
2001 |
Colvin R., Hayes I., Strooper P. |
|
|
|
Lecture Notes in Computer Science |
23.06.2001 |
|
СТ |
Composing Grammar Transformations to Construct a Specification of a Parser |
1995 |
Wildman L., Hayes I. |
|
|
|
Australian Computer Science Communications |
12.07.1995 |
|
СТ |
Deriving Modular Designs from Formal Specifications |
1993 |
Carrington D., Duke D., Hayes I., Welsh J. |
|
|
|
Software Engineering Notes |
12.04.1994 |
|
СТ |
Multi-Relations in Z: A cross between multi-sets and binary relations |
1992 |
Hayes I. |
|
|
|
Acta Informatica |
20.03.1992 |
|
СТ |
Reasoning about Non-terminating Loops Using Deadline Commands |
2000 |
Hayes I. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.2000 |
|
СТ |
Refinement of Higher-Order Logic Programs |
2003 |
Colvin R., Hayes I., Hemer D., Strooper P. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Structuring Real-Time Object-Z Specifications |
2000 |
Smith G., Hayes I. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
|
СТ |
Towards Real-Ttime Object-Z |
1999 |
Smith G., Hayes I. |
|
|
|
IFM 99 |
31.01.2001 |
|
СТ |
Towards a Refinement Calculus for Concurrent Real-Time Programs |
2002 |
Peuker S., Hayes I. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
