Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 32

Title: Automatic Analysis of Consistency between Requirements and Designs

Author:

Author:

Subject: Marsha Chechik,John Gannon Automatic Analysis of Consistency between Requirements and Designs

Description: Writing requirements in a formal notation permits automatic assessment of such properties as ambiguity, consistency, and completeness. However, verifying that the properties expressed in requirements are preserved in other software life cycle artifacts remains difficult. The existing techniques either require substantial manual effort and skill or suffer from exponential explosion of the number of states in the generated state spaces. "Light-weight" formal methods is an approach to achieve scalability in fully-automatic verification by checking an abstraction of the system for only certain properties. This paper describes light-weight techniques for automatic analysis of consistency between software requirements (expressed in SCR) and detailed designs in low-degree-polynomial time, achieved at the expense of using imprecise data-flow analysis techniques. A specification language SCR describes the systems as state machines with event-driven transitions. We define detailed de...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1999-07-27

Pubyear: 1996

Format: ps

Identifier: http://citeseer.ist.psu.edu/263427.html

Source: http://www.cs.toronto.edu/~chechik/pubs/tse.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/313186.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="State-Based   Model   Checking   of   Event-Driven   System   Requirements,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/313186.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/313186.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:0780365992"   Paper_ID="/313186.html"   Extracted="0780365992"   />

            <identifier   Org="ISBN:0818670177"   Paper_ID="/313186.html"   Extracted="0818670177"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818679719"   Paper_ID="/313186.html"   Extracted="0818679719"   />

            <identifier   Org="ISBN:3540304924"   Paper_ID="/313186.html"   Extracted="3540304924"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540418652"   Paper_ID="/313186.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354043738X"   Paper_ID="/313186.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/313186.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540604065"   Paper_ID="/313186.html"   Extracted="3540604065"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/313186.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/313186.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540650709"   Paper_ID="/313186.html"   Extracted="3540650709"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664637"   Paper_ID="/313186.html"   Extracted="3540664637"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664998"   Paper_ID="/313186.html"   Extracted="3540664998"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540671021"   Paper_ID="/313186.html"   Extracted="3540671021"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540732292"   Paper_ID="/313186.html"   Extracted="3540732292"   />

            <identifier   Org="ISBN:3540789162"   Paper_ID="/313186.html"   Extracted="3540789162"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/316859.html"   Type="article"   CiteSeer_Book="Automated   Software   Engineering   An   International   Journal"   CiteSeer_Volume="6"   Title="Model   Checking   Complete   Requirements   Specifications   Using   Abstraction,">

            <identifier   Org="ISBN:0120121492"   Paper_ID="/316859.html"   Extracted="0120121492"   />

            <identifier   Org="ISBN:0769507107"   Paper_ID="/316859.html"   Extracted="0769507107"   />

            <identifier   Org="ISBN:0792373235"   Paper_ID="/316859.html"   Extracted="0792373235"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/316859.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1402081561"   Paper_ID="/316859.html"   Extracted="1402081561"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540001166"   Paper_ID="/316859.html"   Extracted="3540001166"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540008993"   Paper_ID="/316859.html"   Extracted="3540008993"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540213775"   Paper_ID="/316859.html"   Extracted="3540213775"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540321330"   Paper_ID="/316859.html"   Extracted="3540321330"   />

            <identifier   Org="ISBN:3540401172"   Paper_ID="/316859.html"   Extracted="3540401172"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540427163"   Paper_ID="/316859.html"   Extracted="3540427163"   DDC="629.8/0285/63"   Normalized_DDC="6298028563"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/316859.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/316859.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/316859.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/316859.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540712887"   Paper_ID="/316859.html"   Extracted="3540712887"   />

            <identifier   Org="ISBN:3540740333"   Paper_ID="/316859.html"   Extracted="3540740333"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/263427.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="27"   Title="Automatic   Analysis   of   Consistency   between   Requirements   and   Designs,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/263427.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0780333918"   Paper_ID="/263427.html"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540440887"   Paper_ID="/263427.html"   Extracted="3540440887"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/278565.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   1994   Internation   Symposium   on   Software   Testing   and   Analysis   ISSTA"   CiteSeer_Volume=""   Title="Automatic   Verification   of   Requirements   Implementation,"   />

      <rec   ID="/65229.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Automatic   Analysis   of   Consistency   Between   Implementations   and   Requirements,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/65229.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0780326814"   Paper_ID="/65229.html"   Extracted="0780326814"   />

            <identifier   Org="ISBN:0780333918"   Paper_ID="/65229.html"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="1.0"   />

            <identifier   Org="ISBN:0780399781"   Paper_ID="/65229.html"   Extracted="0780399781"   />

            <identifier   Org="ISBN:0818676299"   Paper_ID="/65229.html"   Extracted="0818676299"   />

      </rec>

      <rec   ID="/246541.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Specification   and   Verification   of   the   PowerScale   Bus   Arbitration   Protocol:An   Industrial   Experiment   with   {LOTOS},">

            <identifier   Org="ISBN:0780344251"   Paper_ID="/246541.html"   Extracted="0780344251"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0792374703"   Paper_ID="/246541.html"   Extracted="0792374703"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0792386469"   Paper_ID="/246541.html"   Extracted="0792386469"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:081867931X"   Paper_ID="/246541.html"   Extracted="081867931X"   DDC="511.5"   Normalized_DDC="5115"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0818679611"   Paper_ID="/246541.html"   Extracted="0818679611"   />

            <identifier   Org="ISBN:3540204911"   Paper_ID="/246541.html"   Extracted="3540204911"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540442618"   Paper_ID="/246541.html"   Extracted="3540442618"   DDC="519.2/33"   Normalized_DDC="519233"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/246541.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540643567"   Paper_ID="/246541.html"   Extracted="3540643567"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/371548.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="16"   Title="Model   Checking   and   Abstraction,">

            <identifier   Org="ISBN:0387341552"   Paper_ID="/371548.html"   Extracted="0387341552"   DDC="621.3"   Normalized_DDC="6213"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402006071"   Paper_ID="/371548.html"   Extracted="1402006071"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586036254"   Paper_ID="/371548.html"   Extracted="1586036254"   />

            <identifier   Org="ISBN:3540003487"   Paper_ID="/371548.html"   Extracted="3540003487"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540236104"   Paper_ID="/371548.html"   Extracted="3540236104"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540238417"   Paper_ID="/371548.html"   Extracted="3540238417"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540410309"   Paper_ID="/371548.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/371548.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540439412"   Paper_ID="/371548.html"   Extracted="3540439412"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664998"   Paper_ID="/371548.html"   Extracted="3540664998"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/371548.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540665595"   Paper_ID="/371548.html"   Extracted="3540665595"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/371548.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540698493"   Paper_ID="/371548.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:3540709517"   Paper_ID="/371548.html"   Extracted="3540709517"   />

            <identifier   Org="ISBN:3540733698"   Paper_ID="/371548.html"   Extracted="3540733698"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540741275"   Paper_ID="/371548.html"   Extracted="3540741275"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540754539"   Paper_ID="/371548.html"   Extracted="3540754539"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540755950"   Paper_ID="/371548.html"   Extracted="3540755950"   DDC="511.3/6028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540787992"   Paper_ID="/371548.html"   Extracted="3540787992"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/149505.html"   Type="inproceedings"   CiteSeer_Book="The   Eleventh   International   Symposium   on   Computer   Hardware   Description   Languages   and   their   Applications"   CiteSeer_Volume=""   Title="{V}erification   of   the   {F}uturebus+   {C}ache   {C}oherence   {P}rotocol,"   />

      <rec   ID="/394952.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="15"   Title="The   Concurrency   Workbench:   {A}   Semantics-Based   Tool   for   the   Verification   of   Concurrent   Systems,">

            <identifier   Org="ISBN:0818672102"   Paper_ID="/394952.html"   Extracted="0818672102"   DDC="004.2/4/015115"   Normalized_DDC="00424015115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354021299X"   Paper_ID="/394952.html"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540230688"   Paper_ID="/394952.html"   Extracted="3540230688"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/394952.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540407537"   Paper_ID="/394952.html"   Extracted="3540407537"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540410538"   Paper_ID="/394952.html"   Extracted="3540410538"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540425411"   Paper_ID="/394952.html"   Extracted="3540425411"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540427163"   Paper_ID="/394952.html"   Extracted="3540427163"   DDC="629.8/0285/63"   Normalized_DDC="6298028563"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540551794"   Paper_ID="/394952.html"   Extracted="3540551794"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540568832"   Paper_ID="/394952.html"   Extracted="3540568832"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540580859"   Paper_ID="/394952.html"   Extracted="3540580859"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/394952.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354060300X"   Paper_ID="/394952.html"   Extracted="354060300X"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540610421"   Paper_ID="/394952.html"   Extracted="3540610421"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540617396"   Paper_ID="/394952.html"   Extracted="3540617396"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540625038"   Paper_ID="/394952.html"   Extracted="3540625038"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540657185"   Paper_ID="/394952.html"   Extracted="3540657185"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540667121"   Paper_ID="/394952.html"   Extracted="3540667121"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540766367"   Paper_ID="/394952.html"   Extracted="3540766367"   />

      </rec>

      <rec   ID="/424616.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Computer   Design"   CiteSeer_Volume=""   Title="Protocol   Verification   as   a   Hardware   Design   Aid,">

            <identifier   Org="ISBN:0387569227"   Paper_ID="/424616.html"   Extracted="0387569227"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0780318366"   Paper_ID="/424616.html"   Extracted="0780318366"   />

            <identifier   Org="ISBN:0780332946"   Paper_ID="/424616.html"   Extracted="0780332946"   />

            <identifier   Org="ISBN:0818631104"   Paper_ID="/424616.html"   Extracted="0818631104"   DDC="621.3819582"   Normalized_DDC="6213819582"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0818642300"   Paper_ID="/424616.html"   Extracted="0818642300"   />

            <identifier   Org="ISBN:0818682078"   Paper_ID="/424616.html"   Extracted="0818682078"   DDC="621.3819535"   Normalized_DDC="6213819535"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:084932615X"   Paper_ID="/424616.html"   Extracted="084932615X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0849379237"   Paper_ID="/424616.html"   Extracted="0849379237"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0897916530"   Paper_ID="/424616.html"   Extracted="0897916530"   />

            <identifier   Org="ISBN:3540001166"   Paper_ID="/424616.html"   Extracted="3540001166"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540208038"   Paper_ID="/424616.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354024297X"   Paper_ID="/424616.html"   Extracted="354024297X"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="/424616.html"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540292098"   Paper_ID="/424616.html"   Extracted="3540292098"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540425411"   Paper_ID="/424616.html"   Extracted="3540425411"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/424616.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540646086"   Paper_ID="/424616.html"   Extracted="3540646086"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540651918"   Paper_ID="/424616.html"   Extracted="3540651918"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540733698"   Paper_ID="/424616.html"   Extracted="3540733698"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540741275"   Paper_ID="/424616.html"   Extracted="3540741275"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/19995.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="24"   Title="Experiences   Using   Lightweight   Formal   Methods   for   Requirements   Modeling,">

            <identifier   Org="ISBN:0309065585"   Paper_ID="/19995.html"   Extracted="0309065585"   DDC="384.3"   Normalized_DDC="3843"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780399277"   Paper_ID="/19995.html"   Extracted="0780399277"   />

            <identifier   Org="ISBN:0849328241"   Paper_ID="/19995.html"   Extracted="0849328241"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/19995.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1581131011"   Paper_ID="/19995.html"   Extracted="1581131011"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:158488360X"   Paper_ID="/19995.html"   Extracted="158488360X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1591406048"   Paper_ID="/19995.html"   Extracted="1591406048"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1852339470"   Paper_ID="/19995.html"   Extracted="1852339470"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540236112"   Paper_ID="/19995.html"   Extracted="3540236112"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/19995.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540664629"   Paper_ID="/19995.html"   Extracted="3540664629"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540665889"   Paper_ID="/19995.html"   Extracted="3540665889"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540711554"   Paper_ID="/19995.html"   Extracted="3540711554"   />

            <identifier   Org="ISBN:3540740333"   Paper_ID="/19995.html"   Extracted="3540740333"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/58017.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation   PLDI   96"   CiteSeer_Volume=""   Title="Static   Detection   of   Dynamic   Memory   Errors,">

            <identifier   Org="ISBN:0769510280"   Paper_ID="/58017.html"   Extracted="0769510280"   />

            <identifier   Org="ISBN:1581135394"   Paper_ID="/58017.html"   Extracted="1581135394"   DDC="004.5"   Normalized_DDC="0045"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1581136285"   Paper_ID="/58017.html"   Extracted="1581136285"   />

            <identifier   Org="ISBN:1595930140"   Paper_ID="/58017.html"   Extracted="1595930140"   />

            <identifier   Org="ISBN:1595933700"   Paper_ID="/58017.html"   Extracted="1595933700"   />

            <identifier   Org="ISBN:3540201769"   Paper_ID="/58017.html"   Extracted="3540201769"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540208135"   Paper_ID="/58017.html"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540231765"   Paper_ID="/58017.html"   Extracted="3540231765"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540407960"   Paper_ID="/58017.html"   Extracted="3540407960"   DDC="005.1/12"   Normalized_DDC="005112"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540422064"   Paper_ID="/58017.html"   Extracted="3540422064"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540661565"   Paper_ID="/58017.html"   Extracted="3540661565"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/58017.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540672621"   Paper_ID="/58017.html"   Extracted="3540672621"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/58017.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540735887"   Paper_ID="/58017.html"   Extracted="3540735887"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/73528.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGSOFT   94   Symposium   on   the   Foundations   of   Software   Engineering"   CiteSeer_Volume=""   Title="{LCL}int:   A   Tool   for   Using   Specifications   to   Check   Code,"   />

      <rec   ID="/352956.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="16"   Title="Model   Checking   and   Modular   Verification,">

            <identifier   Org="ISBN:1402012705"   Paper_ID="/352956.html"   Extracted="1402012705"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586036254"   Paper_ID="/352956.html"   Extracted="1586036254"   />

            <identifier   Org="ISBN:3540216715"   Paper_ID="/352956.html"   Extracted="3540216715"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354024297X"   Paper_ID="/352956.html"   Extracted="354024297X"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540252363"   Paper_ID="/352956.html"   Extracted="3540252363"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540403345"   Paper_ID="/352956.html"   Extracted="3540403345"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540418652"   Paper_ID="/352956.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540423451"   Paper_ID="/352956.html"   Extracted="3540423451"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540434194"   Paper_ID="/352956.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/352956.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540441654"   Paper_ID="/352956.html"   Extracted="3540441654"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540544305"   Paper_ID="/352956.html"   Extracted="3540544305"   />

            <identifier   Org="ISBN:3540564969"   Paper_ID="/352956.html"   Extracted="3540564969"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540603859"   Paper_ID="/352956.html"   Extracted="3540603859"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/352956.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/352956.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540664998"   Paper_ID="/352956.html"   Extracted="3540664998"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540698493"   Paper_ID="/352956.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/352956.html"   Extracted="3540712089"   />

            <identifier   Org="ISBN:3540755950"   Paper_ID="/352956.html"   Extracted="3540755950"   DDC="511.3/6028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/549091.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="16"   Title="{STATEMATE}:   A   Working   Environment   for   the   Development   of   Complex   Reactive   Systems,">

            <identifier   Org="ISBN:0309057329"   Paper_ID="/549091.html"   Extracted="0309057329"   DDC="621.48/3"   Normalized_DDC="621483"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0818671238"   Paper_ID="/549091.html"   Extracted="0818671238"   />

            <identifier   Org="ISBN:0824722906"   Paper_ID="/549091.html"   Extracted="0824722906"   />

            <identifier   Org="ISBN:0849328241"   Paper_ID="/549091.html"   Extracted="0849328241"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0932633145"   Paper_ID="/549091.html"   Extracted="0932633145"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1558607021"   Paper_ID="/549091.html"   Extracted="1558607021"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1586031929"   Paper_ID="/549091.html"   Extracted="1586031929"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540204989"   Paper_ID="/549091.html"   Extracted="3540204989"   DDC="005.75/8"   Normalized_DDC="005758"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540231358"   Paper_ID="/549091.html"   Extracted="3540231358"   DDC="005.10943"   Normalized_DDC="00510943"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540564519"   Paper_ID="/549091.html"   Extracted="3540564519"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540580433"   Paper_ID="/549091.html"   Extracted="3540580433"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/549091.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540643036"   Paper_ID="/549091.html"   Extracted="3540643036"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354064556X"   Paper_ID="/549091.html"   Extracted="354064556X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540651101"   Paper_ID="/549091.html"   Extracted="3540651101"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540672613"   Paper_ID="/549091.html"   Extracted="3540672613"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/549091.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540752080"   Paper_ID="/549091.html"   Extracted="3540752080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540781269"   Paper_ID="/549091.html"   Extracted="3540781269"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/177557.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Generating   Code   from   Hierarchical   State-Based   Requirements,">

            <identifier   Org="ISBN:0818677406"   Paper_ID="/177557.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/177557.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/185191.html"   Type="inproceedings"   CiteSeer_Book="RE95   Second   IEEE   International   Symposium   on   Requirements   Engineering"   CiteSeer_Volume=""   Title="Consistency   Checking   of   {SCR}-Style   Requirements   Specifications,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/185191.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0769510868"   Paper_ID="/185191.html"   Extracted="0769510868"   DDC="620/.001/171"   Normalized_DDC="620001171"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0769517633"   Paper_ID="/185191.html"   Extracted="0769517633"   />

            <identifier   Org="ISBN:0780326814"   Paper_ID="/185191.html"   Extracted="0780326814"   />

            <identifier   Org="ISBN:0780333918"   Paper_ID="/185191.html"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/185191.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:078034863X"   Paper_ID="/185191.html"   Extracted="078034863X"   />

            <identifier   Org="ISBN:0780363957"   Paper_ID="/185191.html"   Extracted="0780363957"   DDC="629.135"   Normalized_DDC="629135"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818670177"   Paper_ID="/185191.html"   Extracted="0818670177"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818674458"   Paper_ID="/185191.html"   Extracted="0818674458"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818677406"   Paper_ID="/185191.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818679719"   Paper_ID="/185191.html"   Extracted="0818679719"   />

            <identifier   Org="ISBN:0818680024"   Paper_ID="/185191.html"   Extracted="0818680024"   DDC="620/.0028"   Normalized_DDC="6200028"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1566764858"   Paper_ID="/185191.html"   Extracted="1566764858"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/185191.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/185191.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/185191.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/185191.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/430308.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Software   Engineering   and   Methodology"   CiteSeer_Volume="5"   Title="Automated   consistency   checking   of   requirements   specifications,">

            <identifier   Org="ISBN:0769510868"   Paper_ID="/430308.html"   Extracted="0769510868"   DDC="620/.001/171"   Normalized_DDC="620001171"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/430308.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:0818677406"   Paper_ID="/430308.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/430308.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1591403758"   Paper_ID="/430308.html"   Extracted="1591403758"   DDC="003.3"   Normalized_DDC="0033"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540201262"   Paper_ID="/430308.html"   Extracted="3540201262"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540421033"   Paper_ID="/430308.html"   Extracted="3540421033"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/430308.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/430308.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/430308.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664637"   Paper_ID="/430308.html"   Extracted="3540664637"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/430308.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540691472"   Paper_ID="/430308.html"   Extracted="3540691472"   />

            <identifier   Org="ISBN:3540740333"   Paper_ID="/430308.html"   Extracted="3540740333"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3642005926"   Paper_ID="/430308.html"   Extracted="3642005926"   />

      </rec>

      <rec   ID="/60691.html"   Type="inproceedings"   CiteSeer_Book="Compass   95   10th   Annual   Conference   on   Computer   Assurance"   CiteSeer_Volume=""   Title="{SCR}*:   {A}   Toolset   for   Specifying   and   Analyzing   Requirements,">

            <identifier   Org="ISBN:0780326814"   Paper_ID="/60691.html"   Extracted="0780326814"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/60691.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:0780363957"   Paper_ID="/60691.html"   Extracted="0780363957"   DDC="629.135"   Normalized_DDC="629135"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0818677406"   Paper_ID="/60691.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/60691.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1591403758"   Paper_ID="/60691.html"   Extracted="1591403758"   DDC="003.3"   Normalized_DDC="0033"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540412190"   Paper_ID="/60691.html"   Extracted="3540412190"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540421033"   Paper_ID="/60691.html"   Extracted="3540421033"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354043092X"   Paper_ID="/60691.html"   Extracted="354043092X"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/60691.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/60691.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/60691.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540646086"   Paper_ID="/60691.html"   Extracted="3540646086"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/60691.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540657037"   Paper_ID="/60691.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540787429"   Paper_ID="/60691.html"   Extracted="3540787429"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3642005926"   Paper_ID="/60691.html"   Extracted="3642005926"   />

      </rec>

      <rec   ID="/55031.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Automated   Analysis   of   Cryptographic   Protocols   Using   Mur$\phi$,"   />

      <rec   ID="/252435.html"   Type="article"   CiteSeer_Book="IEEE   Transactions   on   Software   Engineering"   CiteSeer_Volume="20"   Title="Requirements   Specification   for   Process-Control   Systems,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/252435.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0769502482"   Paper_ID="/252435.html"   Extracted="0769502482"   />

            <identifier   Org="ISBN:0769511252"   Paper_ID="/252435.html"   Extracted="0769511252"   />

            <identifier   Org="ISBN:0780333918"   Paper_ID="/252435.html"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/252435.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:0780363957"   Paper_ID="/252435.html"   Extracted="0780363957"   DDC="629.135"   Normalized_DDC="629135"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818663308"   Paper_ID="/252435.html"   Extracted="0818663308"   DDC="005.16"   Normalized_DDC="00516"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818677406"   Paper_ID="/252435.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818680024"   Paper_ID="/252435.html"   Extracted="0818680024"   DDC="620/.0028"   Normalized_DDC="6200028"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818681292"   Paper_ID="/252435.html"   Extracted="0818681292"   />

            <identifier   Org="ISBN:158113262X"   Paper_ID="/252435.html"   Extracted="158113262X"   />

            <identifier   Org="ISBN:1591405076"   Paper_ID="/252435.html"   Extracted="1591405076"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354029189X"   Paper_ID="/252435.html"   Extracted="354029189X"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354044307X"   Paper_ID="/252435.html"   Extracted="354044307X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540604065"   Paper_ID="/252435.html"   Extracted="3540604065"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/252435.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/252435.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/252435.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540672613"   Paper_ID="/252435.html"   Extracted="3540672613"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/300998.html"   Type="inproceedings"   CiteSeer_Book="FORTE"   CiteSeer_Volume=""   Title="Specification   and   Verification   of   a   Sliding   Window   Protocol   in   {LOTOS},">

            <identifier   Org="ISBN:1586039075"   Paper_ID="/300998.html"   Extracted="1586039075"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540223819"   Paper_ID="/300998.html"   Extracted="3540223819"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540606300"   Paper_ID="/300998.html"   Extracted="3540606300"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:8120326539"   Paper_ID="/300998.html"   Extracted="8120326539"   />

      </rec>

      <rec   ID="/14685.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Model   checking   for   security   protocols,">

            <identifier   Org="ISBN:0309087368"   Paper_ID="/14685.html"   Extracted="0309087368"   DDC="363.32"   Normalized_DDC="36332"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0387240500"   Paper_ID="/14685.html"   Extracted="0387240500"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0387887741"   Paper_ID="/14685.html"   Extracted="0387887741"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0769502016"   Paper_ID="/14685.html"   Extracted="0769502016"   />

            <identifier   Org="ISBN:0769516890"   Paper_ID="/14685.html"   Extracted="0769516890"   />

            <identifier   Org="ISBN:0792376838"   Paper_ID="/14685.html"   Extracted="0792376838"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581135289"   Paper_ID="/14685.html"   Extracted="1581135289"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540007083"   Paper_ID="/14685.html"   Extracted="3540007083"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540253882"   Paper_ID="/14685.html"   Extracted="3540253882"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540427007"   Paper_ID="/14685.html"   Extracted="3540427007"   DDC="332.1/0285"   Normalized_DDC="33210285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540441573"   Paper_ID="/14685.html"   Extracted="3540441573"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540443096"   Paper_ID="/14685.html"   Extracted="3540443096"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540662243"   Paper_ID="/14685.html"   Extracted="3540662243"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/14685.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540668004"   Paper_ID="/14685.html"   Extracted="3540668004"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354067442X"   Paper_ID="/14685.html"   Extracted="354067442X"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540698493"   Paper_ID="/14685.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:364201464X"   Paper_ID="/14685.html"   Extracted="364201464X"   />

      </rec>

      <rec   ID="/223091.html"   Type="book"   CiteSeer_Book="User   Guide   for   the   PVS   Specification   and   Verification   System"   CiteSeer_Volume=""   Title="User   Guide   for   the   {PVS}   Specification   and   Verification   System,">

            <identifier   Org="ISBN:0769504213"   Paper_ID="/223091.html"   Extracted="0769504213"   />

            <identifier   Org="ISBN:0780326814"   Paper_ID="/223091.html"   Extracted="0780326814"   />

            <identifier   Org="ISBN:0818666005"   Paper_ID="/223091.html"   Extracted="0818666005"   />

            <identifier   Org="ISBN:0818670177"   Paper_ID="/223091.html"   Extracted="0818670177"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:081867105X"   Paper_ID="/223091.html"   Extracted="081867105X"   DDC="006.6"   Normalized_DDC="0066"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818675225"   Paper_ID="/223091.html"   Extracted="0818675225"   />

            <identifier   Org="ISBN:0818677554"   Paper_ID="/223091.html"   Extracted="0818677554"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818680024"   Paper_ID="/223091.html"   Extracted="0818680024"   DDC="620/.0028"   Normalized_DDC="6200028"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0849328241"   Paper_ID="/223091.html"   Extracted="0849328241"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540001166"   Paper_ID="/223091.html"   Extracted="3540001166"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="/223091.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354029189X"   Paper_ID="/223091.html"   Extracted="354029189X"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354042525X"   Paper_ID="/223091.html"   Extracted="354042525X"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/223091.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540601171"   Paper_ID="/223091.html"   Extracted="3540601171"   DDC="004.2/0151"   Normalized_DDC="00420151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540633790"   Paper_ID="/223091.html"   Extracted="3540633790"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540646086"   Paper_ID="/223091.html"   Extracted="3540646086"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540651918"   Paper_ID="/223091.html"   Extracted="3540651918"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/310156.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="25"   Title="Functional   Documents   for   Computer   Systems,">

            <identifier   Org="ISBN:079184255X"   Paper_ID="/310156.html"   Extracted="079184255X"   DDC="620/.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1402079966"   Paper_ID="/310156.html"   Extracted="1402079966"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/310156.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:158113472X"   Paper_ID="/310156.html"   Extracted="158113472X"   DDC="005.452"   Normalized_DDC="005452"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1586030655"   Paper_ID="/310156.html"   Extracted="1586030655"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1591405076"   Paper_ID="/310156.html"   Extracted="1591405076"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540007024"   Paper_ID="/310156.html"   Extracted="3540007024"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540200835"   Paper_ID="/310156.html"   Extracted="3540200835"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540219897"   Paper_ID="/310156.html"   Extracted="3540219897"   DDC="005.117"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540278826"   Paper_ID="/310156.html"   Extracted="3540278826"   DDC="004.13/1"   Normalized_DDC="004131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540290109"   Paper_ID="/310156.html"   Extracted="3540290109"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/310156.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540421238"   Paper_ID="/310156.html"   Extracted="3540421238"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540441573"   Paper_ID="/310156.html"   Extracted="3540441573"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540606882"   Paper_ID="/310156.html"   Extracted="3540606882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/310156.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540664629"   Paper_ID="/310156.html"   Extracted="3540664629"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540897615"   Paper_ID="/310156.html"   Extracted="3540897615"   />

            <identifier   Org="ISBN:9051994311"   Paper_ID="/310156.html"   Extracted="9051994311"   />

      </rec>

      <rec   ID="/38684.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the9thInternational   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="Version   control   in   the   inscape   environment,">

            <identifier   Org="ISBN:0471942456"   Paper_ID="/38684.html"   Extracted="0471942456"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:081860879X"   Paper_ID="/38684.html"   Extracted="081860879X"   />

            <identifier   Org="ISBN:0818619643"   Paper_ID="/38684.html"   Extracted="0818619643"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0818684518"   Paper_ID="/38684.html"   Extracted="0818684518"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0818685204"   Paper_ID="/38684.html"   Extracted="0818685204"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1558601015"   Paper_ID="/38684.html"   Extracted="1558601015"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/38684.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:3540534520"   Paper_ID="/38684.html"   Extracted="3540534520"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540562915"   Paper_ID="/38684.html"   Extracted="3540562915"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540605789"   Paper_ID="/38684.html"   Extracted="3540605789"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354061964X"   Paper_ID="/38684.html"   Extracted="354061964X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540630147"   Paper_ID="/38684.html"   Extracted="3540630147"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/43029.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   11th   International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="The   Inscape   Environment,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/43029.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:081860638X"   Paper_ID="/43029.html"   Extracted="081860638X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818606398"   Paper_ID="/43029.html"   Extracted="0818606398"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:081862048X"   Paper_ID="/43029.html"   Extracted="081862048X"   />

            <identifier   Org="ISBN:0818667923"   Paper_ID="/43029.html"   Extracted="0818667923"   DDC="005.1/6"   Normalized_DDC="00516"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818684518"   Paper_ID="/43029.html"   Extracted="0818684518"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0863411711"   Paper_ID="/43029.html"   Extracted="0863411711"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1558601015"   Paper_ID="/43029.html"   Extracted="1558601015"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/43029.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:3540238417"   Paper_ID="/43029.html"   Extracted="3540238417"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540534520"   Paper_ID="/43029.html"   Extracted="3540534520"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540605789"   Paper_ID="/43029.html"   Extracted="3540605789"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354061964X"   Paper_ID="/43029.html"   Extracted="354061964X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540637745"   Paper_ID="/43029.html"   Extracted="3540637745"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:9810210272"   Paper_ID="/43029.html"   Extracted="9810210272"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/24102.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Testing   Analysis   and   Verification"   CiteSeer_Volume=""   Title="The   Logic   of   Propagation   in   the   Inscape   Environment,">

            <identifier   Org="ISBN:081867301X"   Paper_ID="/24102.html"   Extracted="081867301X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0818684518"   Paper_ID="/24102.html"   Extracted="0818684518"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/24102.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:3540238417"   Paper_ID="/24102.html"   Extracted="3540238417"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540534520"   Paper_ID="/24102.html"   Extracted="3540534520"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:354061964X"   Paper_ID="/24102.html"   Extracted="354061964X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/329949.html"   Type="inproceedings"   CiteSeer_Book="Mathematics   of   Program   Construction"   CiteSeer_Volume=""   Title="Computer-Aided   Computing,">

            <identifier   Org="ISBN:0262611120"   Paper_ID="/329949.html"   Extracted="0262611120"   DDC="004/.0207"   Normalized_DDC="0040207"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0780320131"   Paper_ID="/329949.html"   Extracted="0780320131"   DDC="534.55"   Normalized_DDC="53455"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0780331257"   Paper_ID="/329949.html"   Extracted="0780331257"   />

            <identifier   Org="ISBN:0780399781"   Paper_ID="/329949.html"   Extracted="0780399781"   />

            <identifier   Org="ISBN:078764093X"   Paper_ID="/329949.html"   Extracted="078764093X"   DDC="423.1"   Normalized_DDC="4231"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0787640980"   Paper_ID="/329949.html"   Extracted="0787640980"   DDC="423.1"   Normalized_DDC="4231"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0852951906"   Paper_ID="/329949.html"   Extracted="0852951906"   DDC="660.2/8"   Normalized_DDC="66028"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540601171"   Paper_ID="/329949.html"   Extracted="3540601171"   DDC="004.2/0151"   Normalized_DDC="00420151"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/329949.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/304747.html"   Type="inproceedings"   CiteSeer_Book="Compass96   Eleventh   Annual   Conference   on   Computer   Assurance"   CiteSeer_Volume=""   Title="Feasibility   of   Model   Checking   Software   Requirements,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/304747.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0131469134"   Paper_ID="/304747.html"   Extracted="0131469134"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0387953876"   Paper_ID="/304747.html"   Extracted="0387953876"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0612094146"   Paper_ID="/304747.html"   Extracted="0612094146"   />

            <identifier   Org="ISBN:0780333918"   Paper_ID="/304747.html"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/304747.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:078039979X"   Paper_ID="/304747.html"   Extracted="078039979X"   />

            <identifier   Org="ISBN:0818677406"   Paper_ID="/304747.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/304747.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:3540417117"   Paper_ID="/304747.html"   Extracted="3540417117"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/304747.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/304747.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540627901"   Paper_ID="/304747.html"   Extracted="3540627901"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/304747.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540643567"   Paper_ID="/304747.html"   Extracted="3540643567"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540929657"   Paper_ID="/304747.html"   Extracted="3540929657"   />

      </rec>

      <rec   ID="/248596.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Model   checking   large   software   specifications,">

            <identifier   Org="ISBN:0120121492"   Paper_ID="/248596.html"   Extracted="0120121492"   />

            <identifier   Org="ISBN:0792373235"   Paper_ID="/248596.html"   Extracted="0792373235"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/248596.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:354020461X"   Paper_ID="/248596.html"   Extracted="354020461X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540210024"   Paper_ID="/248596.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/248596.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540410309"   Paper_ID="/248596.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540418636"   Paper_ID="/248596.html"   Extracted="3540418636"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540418652"   Paper_ID="/248596.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354043738X"   Paper_ID="/248596.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/248596.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/248596.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/248596.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/248596.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540664882"   Paper_ID="/248596.html"   Extracted="3540664882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540671021"   Paper_ID="/248596.html"   Extracted="3540671021"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/248596.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540691472"   Paper_ID="/248596.html"   Extracted="3540691472"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/248596.html"   Extracted="3540851135"   />

            <identifier   Org="ISBN:9812560947"   Paper_ID="/248596.html"   Extracted="9812560947"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/89713.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   SIGSOFT95   Third   ACM   SIGSOFT   Symposium   on   the   Foundations   of   Software   Engineering"   CiteSeer_Volume=""   Title="{Model   Checking   Software   Systems:   A   Case   Study},">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/89713.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0521559766"   Paper_ID="/89713.html"   Extracted="0521559766"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0780333918"   Paper_ID="/89713.html"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0818679611"   Paper_ID="/89713.html"   Extracted="0818679611"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/89713.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:158488360X"   Paper_ID="/89713.html"   Extracted="158488360X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540426671"   Paper_ID="/89713.html"   Extracted="3540426671"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Automatic   Analysis   of   Consistency   between   Requirements   and   Designs">

            <identifier   Org="ISBN:0120121433"   Paper_ID="SELF"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0780333918"   Paper_ID="SELF"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540440887"   Paper_ID="SELF"   Extracted="3540440887"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.5"   />

      </rec>

</references_metadata>