Вы здесь

Mcdermid J. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ (True) Polymorphism in SPARK2000 2000 Lin T. -M., Mcdermid J. A. Lecture Notes in Computer Science 29.07.2000
СТ 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
СТ PROM: Pragmatic Reusable Object Management 1993 Burd E. L., Mcdermid J. A. Position Paper Collection - Second Intern. Workshop on Software Reusability 25.12.1993
СТ 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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Proceedings of Third IEEE International Conference on Formal Engineering Methods - ICFEM 2000, York, England, 4-6 September 2000 2000
  1. Liu S.
  2. Mcdermid J. A.
  3. Hinchey M. G.
26.12.2000