@inproceedings{conf/cav/HeitmeyerKLB98, added-at = {2009-09-25T00:00:00.000+0200}, author = {Heitmeyer, Constance L. and Kirby, James and Labaw, Bruce G. and Bharadwaj, Ramesh}, biburl = {http://www.bibsonomy.org/bibtex/2432e286c456f354efd248bd596874714/dblp}, booktitle = {CAV}, crossref = {conf/cav/1998}, date = {2009-09-25}, description = {dblp}, editor = {Hu, Alan J. and Vardi, Moshe Y.}, ee = {http://dx.doi.org/10.1007/BFb0028775}, interhash = {bc0d32d5b3660b5da5cd82cf1b2ed334}, intrahash = {432e286c456f354efd248bd596874714}, isbn = {3-540-64608-6}, keywords = {dblp}, pages = {526-531}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {SCR*: A Toolset for Specifying and Analyzing Software Requirements.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav98.html#HeitmeyerKLB98}, volume = 1427, year = 1998 } @article{heitmeyer96, abstract = {This article describes a formal analysis technique, called consistency checking, for automatic detection of errors, such as type errors, nondeterminism, missing cases, and circular definitions, in requirements specifications. The technique is designed to analyze requirements specifications expressed in the SCR (Software Cost Reduction) tabular notation. As background, the SCR approach to specifying requirements is reviewed. To provide a formal semantics for the SCR notation and a foundation for ...}, added-at = {2006-09-18T06:26:07.000+0200}, author = {Heitmeyer, Constance L. and Jeffords, Ralph D. and Labaw, Bruce G.}, biburl = {http://www.bibsonomy.org/bibtex/2d3de73250b80253b842f2083ff195f65/neilernst}, citeulike-article-id = {238222}, description = {Not previously uploaded}, interhash = {8834a18314e83eab598a4e413f0d0feb}, intrahash = {d3de73250b80253b842f2083ff195f65}, journal = {ACM Transactions on Software Engineering and Methodology}, keywords = {scr formal evolution requirements}, number = 3, pages = {231--261}, priority = {0}, title = {Automated consistency checking of requirements specifications}, url = {http://citeseer.ist.psu.edu/heitmeyer96automated.html}, volume = 5, year = 1996 } @inproceedings{conf/fmsp/HeitmeyerKL98, added-at = {2006-02-15T00:00:00.000+0100}, author = {Heitmeyer, Constance L. and Kirby, James and Labaw, Bruce G.}, biburl = {http://www.bibsonomy.org/bibtex/2ebb64274236a8e7c12b3a6fa5184235a/dblp}, booktitle = {FMSP}, crossref = {conf/fmsp/1998}, date = {2006-02-15}, description = {dblp}, editor = {Ardis, Mark A. and Atlee, Joanne M.}, ee = {http://doi.acm.org/10.1145/298595.298863}, interhash = {aa4a0e0ae5788fa8ad10ae536ff23301}, intrahash = {ebb64274236a8e7c12b3a6fa5184235a}, isbn = {0-89791-954-8}, keywords = {dblp}, pages = {92-102}, publisher = {ACM}, title = {Applying the SCR requirements method to a weapons control panel: an experience report.}, url = {http://dblp.uni-trier.de/db/conf/fmsp/fmsp1998.html#HeitmeyerKL98}, year = 1998 } @article{journals/tse/HeitmeyerKLAB98, added-at = {2004-10-14T00:00:00.000+0200}, author = {Heitmeyer, Constance L. and Kirby, James and Labaw, Bruce G. and Archer, Myla and Bharadwaj, Ramesh}, biburl = {http://www.bibsonomy.org/bibtex/28fe5b43aaa7bcbf818b4c3f4b517c7af/dblp}, date = {2004-10-14}, description = {dblp}, ee = {http://csdl.computer.org/comp/trans/ts/1998/11/e0927abs.htm}, interhash = {a02501f35502549e5f7891729570bc14}, intrahash = {8fe5b43aaa7bcbf818b4c3f4b517c7af}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 11, pages = {927-948}, title = {Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse24.html#HeitmeyerKLAB98}, volume = 24, year = 1998 } @article{journals/tosem/HeitmeyerJL96, added-at = {2003-11-26T00:00:00.000+0100}, author = {Heitmeyer, Constance L. and Jeffords, Ralph D. and Labaw, Bruce G.}, biburl = {http://www.bibsonomy.org/bibtex/29b16a81b04c103b8489022eb4682bf4c/dblp}, date = {2003-11-26}, description = {dblp}, ee = {http://doi.acm.org/10.1145/234426.234431}, interhash = {8834a18314e83eab598a4e413f0d0feb}, intrahash = {9b16a81b04c103b8489022eb4682bf4c}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 3, pages = {231-261}, title = {Automated Consistency Checking of Requirements Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem5.html#HeitmeyerJL96}, volume = 5, year = 1996 } @inproceedings{conf/rtas/BrockmeyerJHL97, added-at = {2003-05-22T00:00:00.000+0200}, author = {Brockmeyer, Monica and Jahanian, Farnam and Heitmeyer, Constance L. and Labaw, Bruce G.}, biburl = {http://www.bibsonomy.org/bibtex/21791cb02e33d69d74eb16620f20d0d90/dblp}, booktitle = {IEEE Real Time Technology and Applications Symposium}, crossref = {conf/rtas/1997}, date = {2003-05-22}, description = {dblp}, ee = {http://computer.org/proceedings/rtas/8016/80160125abs.htm}, interhash = {110a26746ee5fe5636cadce5a9211205}, intrahash = {1791cb02e33d69d74eb16620f20d0d90}, isbn = {0-8186-8016-4}, keywords = {dblp}, pages = {125-135}, publisher = {IEEE Computer Society}, title = {A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.}, url = {http://dblp.uni-trier.de/db/conf/rtas/rtas1997.html#BrockmeyerJHL97}, year = 1997 } @inproceedings{conf/re/HeitmeyerLK95, added-at = {2003-02-26T00:00:00.000+0100}, author = {Heitmeyer, Constance L. and Labaw, Bruce G. and Kiskis, Daniel L.}, biburl = {http://www.bibsonomy.org/bibtex/20772003e02dff005a5432c2fb77efd26/dblp}, booktitle = {RE}, crossref = {conf/re/1995}, date = {2003-02-26}, description = {dblp}, ee = {http://computer.org/proceedings/re/7017/70170056abs.htm}, interhash = {5e32c095a3726f623b35f9be76cebd88}, intrahash = {0772003e02dff005a5432c2fb77efd26}, keywords = {dblp}, pages = {56-65}, publisher = {IEEE Computer Society}, title = {Consistency checking of SCR-style requirements specifications.}, url = {http://dblp.uni-trier.de/db/conf/re/re1995.html#HeitmeyerLK95}, year = 1995 } @inproceedings{conf/hase/BrockmeyerJWHL97, added-at = {2003-02-04T00:00:00.000+0100}, author = {Brockmeyer, Monica and Jahanian, Farnam and Winner, Elly and Heitmeyer, Constance L. and Labaw, Bruce G.}, biburl = {http://www.bibsonomy.org/bibtex/21007d478937601f0efd4e52a1d3747e3/dblp}, booktitle = {HASE}, crossref = {conf/hase/1997}, date = {2003-02-04}, description = {dblp}, ee = {http://computer.org/proceedings/hase/7971/79710078abs.htm}, interhash = {dd8b63eab313cc6767de38b289c37aee}, intrahash = {1007d478937601f0efd4e52a1d3747e3}, isbn = {0-8186-7971-9}, keywords = {dblp}, pages = {78-84}, publisher = {IEEE Computer Society}, title = {A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase1997.html#BrockmeyerJWHL97}, year = 1997 } @inproceedings{conf/icse/HeitmeyerKL97, added-at = {2002-12-17T00:00:00.000+0100}, author = {Heitmeyer, Constance L. and Kirby, James and Labaw, Bruce G.}, biburl = {http://www.bibsonomy.org/bibtex/2831491f740180694a9b22207d4ab966a/dblp}, booktitle = {ICSE}, date = {2002-12-17}, description = {dblp}, ee = {http://doi.acm.org/10.1145/253228.253498}, interhash = {0a831c406a534334af916adb4701e506}, intrahash = {831491f740180694a9b22207d4ab966a}, keywords = {dblp}, pages = {610-611}, title = {The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse97.html#HeitmeyerKL97}, year = 1997 } @inproceedings{conf/rtss/ClementsHLR93, added-at = {2002-01-03T00:00:00.000+0100}, author = {Clements, Paul C. and Heitmeyer, Constance L. and Labaw, Bruce G. and Rose, A. T.}, biburl = {http://www.bibsonomy.org/bibtex/2be238f4bf382433c1ee5eab08b5ec4b0/dblp}, booktitle = {IEEE Real-Time Systems Symposium}, date = {2002-01-03}, description = {dblp}, interhash = {ebca35d135b0cb925a3d15d4ad63fd55}, intrahash = {be238f4bf382433c1ee5eab08b5ec4b0}, keywords = {dblp}, pages = {12-22}, title = {MT: A Toolset for Specifying and Analyzing Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/rtss/rtss1993.html#ClementsHLR93}, year = 1993 }