Prof. Jeffrey Kramer

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

E-Mail

Homepage

Address

Distributed Software Engineering Section
Department of Computing, Imperial College,
180 Queen's Gate, London SW7 2BZ
UK
Voice: +44-171-594-8271
Fax: +44-171-581-8024

Institution

Publications

2000:
/Magee, 2000/ Graphical Animation of Behavior Models

1999:
/Giannakopoulou, 1999/ Checking Progress with Action Priority: Is it Fair?
/Magee, 1999/ Concurrency - State Models & Java Programs

1995:
/Leonhardt, 1995/ Decentralised Process Enactment in a Multi-perspective Development Environment
/Nuseibeh, 1995/ Decentralised Process Modelling

1994:
/Derniame, 1994/ Directions in Software Process Modelling and Technology: A Preface
/Finkelstein, 1994/ Software Process Modelling and Technology

1993:
/Nuseibeh, 1993/ Fine-Grain Process Modelling

1984:
/Kramer, 1984/ Environment requirements for system evolution

Conferences

See Also

Also in

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster