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 × Ireland
1 × USA
Collaborated with:
J.M.Purtilo J.Clark J.Penix W.Visser E.Engstrom N.Weininger
Talks about:
methodolog (1) prototyp (1) schedul (1) partit (1) kernel (1) verif (1) time (1) larg (1) deo (1)

Person: Aaron Larson

DBLP DBLP: Larson:Aaron

Contributed to:

ICSE 20002000
ICSE 19911991

Wrote 2 papers:

ICSE-2000-PenixVELW #clustering #kernel #verification
Verification of time partitioning in the DEOS scheduler kernel (JP, WV, EE, AL, NW), pp. 488–497.
ICSE-1991-PurtiloLC #in the large #prototype
A Methodology for Prototyping-in-the-Large (JMP, AL, JC), pp. 2–12.

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.