@article{Boehm:1984:VVS:1308434.1308744,
    Address = {Los Alamitos, CA, USA},
    Author = {Boehm, B. W.},
    File = {Verifying and Validating Software Requirements and Design Specifications - Boehm (0) (0) - a - a - n.pdf},
    ISSN = {0740-7459},
    Journal = {IEEE Softw.},
    Keywords = {verification\&validation},
    Month = {January},
    Number = {1},
    Pages = {75--88},
    Publisher = {IEEE Computer Society Press},
    Title = {Verifying and Validating Software Requirements and Design Specifications},
    URL = {http://dx.doi.org/10.1109/MS.1984.233702},
    Volume = {1},
    Year = {1984},
    acmid = {1308744},
    bdsk-url-1 = {http://dx.doi.org/10.1109/MS.1984.233702},
    date-added = {2013-04-17 07:28:08 +0000},
    date-modified = {2013-04-17 07:33:16 +0000},
    issue_date = {January 1984},
    numpages = {14},
    doi = {10.1109/MS.1984.233702}
}

@article{Boehm:1984:VVS:1308434.1308744, Address = {Los Alamitos, CA, USA}, Author = {Boehm, B. W.}, File = {Verifying and Validating Software Requirements and Design Specifications - Boehm (0) (0) - a - a - n.pdf}, ISSN = {0740-7459}, Journal = {IEEE Softw.}, Keywords = {verification\&validation}, Month = {January}, Number = {1}, Pages = {75--88}, Publisher = {IEEE Computer Society Press}, Title = {Verifying and Validating Software Requirements and Design Specifications}, URL = {http://dx.doi.org/10.1109/MS.1984.233702}, Volume = {1}, Year = {1984}, acmid = {1308744}, bdsk-url-1 = {http://dx.doi.org/10.1109/MS.1984.233702}, date-added = {2013-04-17 07:28:08 +0000}, date-modified = {2013-04-17 07:33:16 +0000}, issue_date = {January 1984}, numpages = {14}, doi = {10.1109/MS.1984.233702} }