|
СТ |
Developing Logic Programs from Specifications Using Stepwise Refinement |
2004 |
Colvin R., Groves L., Hayes I. J., Hemes D., Nickson R., Strooper P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
|
СТ |
Programs as Paths: An Approach to Timing Constraint Analysis |
2003 |
Hayes I. J. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
|
СТ |
Refining Specifications to Logic Programs |
1997 |
Hayes I. J., Nickson R. G., Strooper P. A. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
Understanding the Differences between VDM and Z |
1994 |
Hayes I. J., Jones C. B., Nicholls J. E. |
|
|
|
Software Engineering Notes |
16.09.1994 |
