BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:

Talks about:
engin (3) system (2) lifecycl (1) softwar (1) method (1) inform (1) formal (1) critic (1) compon (1) applic (1)

Person: James F. Davis

DBLP DBLP: Davis:James_F=

Contributed to:

SIGAda 20052005
SIGAda 20042004

Wrote 2 papers:

SIGAda-2005-Davis #formal method #re-engineering
The affordable application of formal methods to software engineering (JFD), pp. 57–62.
SIGAda-2004-Davis #component #information management #lifecycle #security
Information systems security engineering: a critical component of the systems engineering lifecycle (JFD), pp. 13–18.

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.