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 × USA
1 × United Kingdom
Collaborated with:
C.M.Holloway D.Guaspari M.Smith
Talks about:
formal (2) fiction (1) shuttl (1) requir (1) method (1) space (1) navig (1) nasa (1) fact (1) new (1)

Person: Ben L. Di Vito

DBLP DBLP: Vito:Ben_L=_Di

Contributed to:

FME 19961996
TRI-Ada 19941994

Wrote 2 papers:

FME-1996-Vito #formal method #navigation #requirements
Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
TRI-Ada-1994-HollowayVGS #formal method
Formal Methods Fact vs. Fiction (CMH, BLDV, DG, MS), pp. 256–258.

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.