BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × United Kingdom
2 × Australia
Collaborated with:
L.Wildman K.Winter J.S.Dong D.J.Duke P.A.Strooper B.Long P.King G.A.Rose G.Smith
Talks about:
object (8) specif (4) orient (3) formal (3) concurr (2) system (2) model (2) class (2) viewpoint (1) polymorph (1)

Person: Roger Duke

DBLP DBLP: Duke:Roger

Contributed to:

IFM 20042004
SEFM 20032003
IFM 20022002
TOOLS Pacific 19931993
TOOLS Pacific 19921992
TOOLS USA 19911991
VDM Europe 19901990

Wrote 10 papers:

IFM-2004-WildmanDS #component #concurrent #testing
Viewpoint-Based Testing of Concurrent Components (LW, RD, PAS), pp. 501–520.
SEFM-2003-DukeWL #concurrent #java #modelling
Modelling Java Concurrency with Object-Z (RD, LW, BL), pp. 173–181.
IFM-2002-WinterD #model checking #using
Model Checking Object-Z Using ASM (KW, RD), pp. 165–184.
TOOLS-PACIFIC-1993-DongD #morphism #polymorphism
Class Union and Polymorphism (JSD, RD), pp. 181–190.
TOOLS-PACIFIC-1993-Duke #design #formal method #object-oriented #specification
Formal Methods for the Design and Specification of Object-Oriented Systems (RD), p. 324.
Class Operators for Object Compatibility (RD), pp. 449–461.
TOOLS-PACIFIC-1992-Duke #case study #object-oriented #specification
Case Studies in Object-Oriented Formal Specification (RD), p. 236.
TOOLS-USA-1991-Duke #object-oriented #specification
Formal Specification of Object-Oriented Systems (RD), pp. 463–464.
TOOLS-USA-1991-DukeKRS #specification
Associated Paper: The Object-Z Specification Language (RD, PK, GAR, GS), pp. 465–484.
VDME-1990-DukeD #semantics #towards
Towards a Semantics for Object-Z (DJD, RD), pp. 244–261.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.