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 × Italy
1 × The Netherlands
Collaborated with:
J.Liu B.Krieg-Brückner D.Hazel P.A.Strooper E.W.Karlsen
Talks about:
prospectra (1) methodolog (1) transform (1) transfonn (1) knowledg (1) uniform (1) program (1) develop (1) system (1) specif (1)

Person: Owen Traynor

DBLP DBLP: Traynor:Owen

Contributed to:

ASE 19981998
SEKE 19921992
VDM Europe (2) 19911991

Wrote 4 papers:

ASE-1998-HazelST #animation #requirements #specification #using #verification
Requirements Engineering and Verification using Specification Animation (DH, PAS, OT), pp. 302–305.
SEKE-1992-LiuTK #knowledge-based #programming
Knowledge-Based Transfonnational Programming (JL, OT, BKB), pp. 632–639.
VDME-1991-Krieg-BrucknerKLT #development
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development (BKB, EWK, JL, OT), pp. 363–397.

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.