<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns="http://purl.org/rss/1.0/" xmlns:admin="http://webns.net/mvcb/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:cc="http://web.resource.org/cc/"><channel rdf:about="http://www.bibsonomy.org/author/Labaw"><title>BibSonomy publications for /author/Labaw</title><link>BibSonomypublrss/author/Labaw</link><description>BibSonomy RSS feed for /author/Labaw</description><dc:date>2012-02-15T20:36:38+01:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2432e286c456f354efd248bd596874714/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2d3de73250b80253b842f2083ff195f65/neilernst"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2ebb64274236a8e7c12b3a6fa5184235a/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/28fe5b43aaa7bcbf818b4c3f4b517c7af/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/29b16a81b04c103b8489022eb4682bf4c/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/21791cb02e33d69d74eb16620f20d0d90/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/20772003e02dff005a5432c2fb77efd26/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/21007d478937601f0efd4e52a1d3747e3/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2831491f740180694a9b22207d4ab966a/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2be238f4bf382433c1ee5eab08b5ec4b0/dblp"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/2432e286c456f354efd248bd596874714/dblp"><title>SCR*: A Toolset for Specifying and Analyzing Software Requirements.</title><link>http://www.bibsonomy.org/bibtex/2432e286c456f354efd248bd596874714/dblp</link><dc:creator>dblp</dc:creator><dc:date>2009-09-25T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Heitmeyer&#034;&gt;Constance L. Heitmeyer&lt;/a&gt;, &lt;a href=&#034;/author/Kirby&#034;&gt;James Kirby&lt;/a&gt;, &lt;a href=&#034;/author/Labaw&#034;&gt;Bruce G. Labaw&lt;/a&gt;,  and &lt;a href=&#034;/author/Bharadwaj&#034;&gt;Ramesh Bharadwaj&lt;/a&gt; &lt;/span&gt;&lt;em&gt;CAV, &lt;/em&gt;&lt;em&gt;volume 1427 of Lecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;page 526-531. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;1998&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2d3de73250b80253b842f2083ff195f65/neilernst"><title>Automated consistency checking of requirements specifications</title><link>http://www.bibsonomy.org/bibtex/2d3de73250b80253b842f2083ff195f65/neilernst</link><dc:creator>neilernst</dc:creator><dc:date>2006-09-18T06:26:07+02:00</dc:date><dc:subject>scr formal evolution requirements </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Heitmeyer&#034;&gt;Constance L. Heitmeyer&lt;/a&gt;, &lt;a href=&#034;/author/Jeffords&#034;&gt;Ralph D. Jeffords&lt;/a&gt;,  and &lt;a href=&#034;/author/Labaw&#034;&gt;Bruce G. Labaw&lt;/a&gt; &lt;/span&gt;&lt;em&gt;ACM Transactions on Software Engineering and Methodology&lt;/em&gt; &lt;em&gt;5(3):231--261&lt;/em&gt; (&lt;em&gt;1996&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/scr"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/formal"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/evolution"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/requirements"/></rdf:Bag></taxo:topics><description>Not previously uploaded</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2ebb64274236a8e7c12b3a6fa5184235a/dblp"><title>Applying the SCR requirements method to a weapons control panel: an experience report.</title><link>http://www.bibsonomy.org/bibtex/2ebb64274236a8e7c12b3a6fa5184235a/dblp</link><dc:creator>dblp</dc:creator><dc:date>2006-02-15T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Heitmeyer&#034;&gt;Constance L. Heitmeyer&lt;/a&gt;, &lt;a href=&#034;/author/Kirby&#034;&gt;James Kirby&lt;/a&gt;,  and &lt;a href=&#034;/author/Labaw&#034;&gt;Bruce G. Labaw&lt;/a&gt; &lt;/span&gt;&lt;em&gt;FMSP, &lt;/em&gt;&lt;em&gt;page 92-102. &lt;/em&gt;&lt;em&gt;ACM, &lt;/em&gt;(&lt;em&gt;1998&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/28fe5b43aaa7bcbf818b4c3f4b517c7af/dblp"><title>Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.</title><link>http://www.bibsonomy.org/bibtex/28fe5b43aaa7bcbf818b4c3f4b517c7af/dblp</link><dc:creator>dblp</dc:creator><dc:date>2004-10-14T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Heitmeyer&#034;&gt;Constance L. Heitmeyer&lt;/a&gt;, &lt;a href=&#034;/author/Kirby&#034;&gt;James Kirby&lt;/a&gt;, &lt;a href=&#034;/author/Labaw&#034;&gt;Bruce G. Labaw&lt;/a&gt;, &lt;a href=&#034;/author/Archer&#034;&gt;Myla Archer&lt;/a&gt;,  and &lt;a href=&#034;/author/Bharadwaj&#034;&gt;Ramesh Bharadwaj&lt;/a&gt; &lt;/span&gt;&lt;em&gt;IEEE Trans. Software Eng.&lt;/em&gt; &lt;em&gt;24(11):927-948&lt;/em&gt; (&lt;em&gt;1998&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/29b16a81b04c103b8489022eb4682bf4c/dblp"><title>Automated Consistency Checking of Requirements Specifications.</title><link>http://www.bibsonomy.org/bibtex/29b16a81b04c103b8489022eb4682bf4c/dblp</link><dc:creator>dblp</dc:creator><dc:date>2003-11-26T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Heitmeyer&#034;&gt;Constance L. Heitmeyer&lt;/a&gt;, &lt;a href=&#034;/author/Jeffords&#034;&gt;Ralph D. Jeffords&lt;/a&gt;,  and &lt;a href=&#034;/author/Labaw&#034;&gt;Bruce G. Labaw&lt;/a&gt; &lt;/span&gt;&lt;em&gt;ACM Trans. Softw. Eng. Methodol.&lt;/em&gt; &lt;em&gt;5(3):231-261&lt;/em&gt; (&lt;em&gt;1996&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/21791cb02e33d69d74eb16620f20d0d90/dblp"><title>A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.</title><link>http://www.bibsonomy.org/bibtex/21791cb02e33d69d74eb16620f20d0d90/dblp</link><dc:creator>dblp</dc:creator><dc:date>2003-05-22T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Brockmeyer&#034;&gt;Monica Brockmeyer&lt;/a&gt;, &lt;a href=&#034;/author/Jahanian&#034;&gt;Farnam Jahanian&lt;/a&gt;, &lt;a href=&#034;/author/Heitmeyer&#034;&gt;Constance L. Heitmeyer&lt;/a&gt;,  and &lt;a href=&#034;/author/Labaw&#034;&gt;Bruce G. Labaw&lt;/a&gt; &lt;/span&gt;&lt;em&gt;IEEE Real Time Technology and Applications Symposium, &lt;/em&gt;&lt;em&gt;page 125-135. &lt;/em&gt;&lt;em&gt;IEEE Computer Society, &lt;/em&gt;(&lt;em&gt;1997&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/20772003e02dff005a5432c2fb77efd26/dblp"><title>Consistency checking of SCR-style requirements specifications.</title><link>http://www.bibsonomy.org/bibtex/20772003e02dff005a5432c2fb77efd26/dblp</link><dc:creator>dblp</dc:creator><dc:date>2003-02-26T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Heitmeyer&#034;&gt;Constance L. Heitmeyer&lt;/a&gt;, &lt;a href=&#034;/author/Labaw&#034;&gt;Bruce G. Labaw&lt;/a&gt;,  and &lt;a href=&#034;/author/Kiskis&#034;&gt;Daniel L. Kiskis&lt;/a&gt; &lt;/span&gt;&lt;em&gt;RE, &lt;/em&gt;&lt;em&gt;page 56-65. &lt;/em&gt;&lt;em&gt;IEEE Computer Society, &lt;/em&gt;(&lt;em&gt;1995&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/21007d478937601f0efd4e52a1d3747e3/dblp"><title>A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.</title><link>http://www.bibsonomy.org/bibtex/21007d478937601f0efd4e52a1d3747e3/dblp</link><dc:creator>dblp</dc:creator><dc:date>2003-02-04T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Brockmeyer&#034;&gt;Monica Brockmeyer&lt;/a&gt;, &lt;a href=&#034;/author/Jahanian&#034;&gt;Farnam Jahanian&lt;/a&gt;, &lt;a href=&#034;/author/Winner&#034;&gt;Elly Winner&lt;/a&gt;, &lt;a href=&#034;/author/Heitmeyer&#034;&gt;Constance L. Heitmeyer&lt;/a&gt;,  and &lt;a href=&#034;/author/Labaw&#034;&gt;Bruce G. Labaw&lt;/a&gt; &lt;/span&gt;&lt;em&gt;HASE, &lt;/em&gt;&lt;em&gt;page 78-84. &lt;/em&gt;&lt;em&gt;IEEE Computer Society, &lt;/em&gt;(&lt;em&gt;1997&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2831491f740180694a9b22207d4ab966a/dblp"><title>The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.</title><link>http://www.bibsonomy.org/bibtex/2831491f740180694a9b22207d4ab966a/dblp</link><dc:creator>dblp</dc:creator><dc:date>2002-12-17T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Heitmeyer&#034;&gt;Constance L. Heitmeyer&lt;/a&gt;, &lt;a href=&#034;/author/Kirby&#034;&gt;James Kirby&lt;/a&gt;,  and &lt;a href=&#034;/author/Labaw&#034;&gt;Bruce G. Labaw&lt;/a&gt; &lt;/span&gt;&lt;em&gt;ICSE, &lt;/em&gt;&lt;em&gt;page 610-611. &lt;/em&gt;(&lt;em&gt;1997&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/2be238f4bf382433c1ee5eab08b5ec4b0/dblp"><title>MT: A Toolset for Specifying and Analyzing Real-Time Systems.</title><link>http://www.bibsonomy.org/bibtex/2be238f4bf382433c1ee5eab08b5ec4b0/dblp</link><dc:creator>dblp</dc:creator><dc:date>2002-01-03T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Clements&#034;&gt;Paul C. Clements&lt;/a&gt;, &lt;a href=&#034;/author/Heitmeyer&#034;&gt;Constance L. Heitmeyer&lt;/a&gt;, &lt;a href=&#034;/author/Labaw&#034;&gt;Bruce G. Labaw&lt;/a&gt;,  and &lt;a href=&#034;/author/Rose&#034;&gt;A. T. Rose&lt;/a&gt; &lt;/span&gt;&lt;em&gt;IEEE Real-Time Systems Symposium, &lt;/em&gt;&lt;em&gt;page 12-22. &lt;/em&gt;(&lt;em&gt;1993&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics><description>dblp</description></item></rdf:RDF>
