|
СТ |
A Behavioral Notion of Subtyping for Object-Oriented Programming in SPARK95 |
2003 |
Lin T. -M., Mcdermid J. A. |
|
|
|
Lecture Notes in Computer Science |
28.06.2003 |
|
СТ |
(True) Polymorphism in SPARK2000 |
2000 |
Lin T. -M., Mcdermid J. A. |
|
|
|
Lecture Notes in Computer Science |
29.07.2000 |
|
СТ |
Tool Support for High Integrity Ada Software |
1994 |
Hutcheon A. D., Jordan D. T., Mcdermid J. A., Pierce R. H., Wand I. C., Jepson B. J. |
|
|
|
Lecture Notes in Computer Science |
01.02.1995 |
|
СТ |
Towards Integrated Safety Analysis and Design |
1994 |
Fenelon P., Mcdermid J. A., Nicholson M., Pumfrey D. J. |
|
|
|
Applied Computing Review |
19.10.1994 |
|
СТ |
PROM: Pragmatic Reusable Object Management |
1993 |
Burd E. L., Mcdermid J. A. |
|
|
|
Position Paper Collection - Second Intern. Workshop on Software Reusability |
25.12.1993 |
