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 × Sweden
1 × Switzerland
1 × USA
Collaborated with:
J.I.Lathrop J.H.Lutz R.R.Lutz E.R.Henderson T.H.Klinge T.Klinge E.Henderson D.A.Sheasha S.J.Ellis A.S.Miner D.M.Stull T.Bergquist
Talks about:
requir (3) analysi (2) nanomachin (1) nanodevic (1) molecular (1) watchdog (1) programm (1) product (1) assembl (1) verifi (1)

Person: Divita Mathur

DBLP DBLP: Mathur:Divita

Contributed to:

ASE 20142014
ICSE 20122012
RE 20122012

Wrote 3 papers:

ASE-2014-EllisHKLLLMM #analysis #automation #requirements
Automated requirements analysis for a molecular watchdog timer (SJE, ERH, THK, JIL, JHL, RRL, DM, ASM), pp. 767–778.
ICSE-2012-LutzLLKHMS #programmable #requirements #self #verification
Engineering and verifying requirements for programmable self-assembling nanomachines (RRL, JHL, JIL, TK, EH, DM, DAS), pp. 1361–1364.
RE-2012-LutzLLKMSBH #analysis #product line #requirements
Requirements analysis for a product family of DNA nanodevices (RRL, JHL, JIL, THK, DM, DMS, TB, ERH), pp. 211–220.

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.