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: Davis:James_F=
Contributed to:
20052004Wrote 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.