|
|
|
|
| |
| specialist areas |
|
-
software
engineering techniques involving object and component
technology
- software
development process improvement
- component-based
and formal methods
- the
mathematical aspects of system specification program
development; and
- the
mathematical development of small systems from formal
specifications.
International
standards Derek has worked on:
-
Information
technology - Programming languages, their environment
and system software interfaces - Vienna Development
Method - Specification Language Part 1 : Base Language,
P. G. Larsen, H. Bruun, B. S. Hansen, N. Platt, D.
J. Andrews (ed), et al, ISO/IEC 13817 - 1 : 1996.
-
Information technology - Programming languages - Part
1: Modula-2, Base Language, D. J. Andrews, R. Henry
(ed), D. Ward et al., ISO/IEC 10514 -- 1 : 1996.
-
The programming language PL/I, D. J. Andrews (ed)
et al, ANSI X3.53-1976, ISO 6160-1979.
|
|
|
| |
|
|
email
us or tel UK:
01625 850 839 international: +44 1625
850 839 |
|
|
|
|
