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 × Australia
1 × China
Collaborated with:

Talks about:
architect (1) support (1) generat (1) develop (1) system (1) specif (1) formal (1) tool (1) time (1) test (1)

Person: Richard O. Sinnott

DBLP DBLP: Sinnott:Richard_O=

Contributed to:

SEFM 20042004
SEFM 20032003

Wrote 2 papers:

SEFM-2004-Sinnott #development #realtime #tool support
The Formal, Tool Supported Development of Real Time Systems (ROS), pp. 388–395.
SEFM-2003-Sinnott #architecture #generative #specification #testing
Architecting Specifications for Test Case Generation (ROS), p. 24–?.

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.