Automatically assigned DDC number: 005131

Manually assigned DDC number: 00514

Number of references: 16

Title: Automated Analysis of Software Frameworks

Author:

Subject: Matthew B. Dwyer Automated Analysis of Software Frameworks

Description: Domain-specific frameworks provide significant leverage for reusing design, implementation, validation and verification artifacts. The primary focus of most framework developers and consumers has been on leveraging implementations contained in a framework. Developers of high-assurance and safety-critical systems require more than just an implementation; they require very high degrees of confidence in the correctness of any software component they use. Traditional validation techniques, such as testing, cannot provide for such high-assurance. In this paper, we discuss research issues in applying automated finite-state verification techniques to this problem. These techniques can be applied to verify properties of a framework without considering the details of how the framework is used in any particular application. The same techniques can, in turn, be used to verify that a framework is used correctly in an application. To do this requires the availability of precise partial specificati...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1970-01-01

Pubyear: 1997

Format: ps

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

Source: http://www.cis.ksu.edu/~dwyer/papers/aapf.ps

Language: en

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="/98244.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="Analyzing   Partially-Implemented   Real-Time   Systems,">

            <identifier   Org="ISBN:0471228559"   Paper_ID="/98244.html"   Extracted="0471228559"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.25"   />

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

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

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

            <identifier   Org="ISBN:1852337109"   Paper_ID="/98244.html"   Extracted="1852337109"   DDC="629.45/84/09"   Normalized_DDC="629458409"   Normalized_Weight="0.25"   />

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

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

      </rec>

      <rec   ID="/86943.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGSOFT   94   Symposium   on   the   Foundations   of   Software   Engineering"   CiteSeer_Volume=""   Title="Towards   Scalable   Compositional   Analysis,">

            <identifier   Org="ISBN:0818675705"   Paper_ID="/86943.html"   Extracted="0818675705"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.5"   />

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

            <identifier   Org="ISBN:3540281959"   Paper_ID="/86943.html"   Extracted="3540281959"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/146840.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   SIGSOFT95   Third   ACM   SIGSOFT   Symposium   on   the   Foundations   of   Software   Engineering"   CiteSeer_Volume=""   Title="{Compositional   Reachability   Analysis   of   Finite-State   Distributed   Systems   with   User-Specified   Constraints},">

            <identifier   Org="ISBN:0769506046"   Paper_ID="/146840.html"   Extracted="0769506046"   DDC="620/.0042/0285"   Normalized_DDC="62000420285"   Normalized_Weight="0.16666666666666666"   />

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

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

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

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

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

            <identifier   Org="ISBN:354073550X"   Paper_ID="/146840.html"   Extracted="354073550X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/51115.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the18thInternational   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="Checking   subsystem   safety   properties   in   compositional   reachability   analysis,">

            <identifier   Org="ISBN:0470861002"   Paper_ID="/51115.html"   Extracted="0470861002"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.1111111111111111"   />

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

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

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

            <identifier   Org="ISBN:0818681543"   Paper_ID="/51115.html"   Extracted="0818681543"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.1111111111111111"   />

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

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

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

            <identifier   Org="ISBN:1880446057"   Paper_ID="/51115.html"   Extracted="1880446057"   />

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

            <identifier   Org="ISBN:3540253041"   Paper_ID="/51115.html"   Extracted="3540253041"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

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

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

      </rec>

      <rec   ID="/23829.html"   Type="inproceedings"   CiteSeer_Book="Proc   2nd   Workshop   on   Formal   Methods   in   Software   Practice   FMSP98"   CiteSeer_Volume=""   Title="Property   Specification   Patterns   for   Finite-State   Verification,">

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

            <identifier   Org="ISBN:1402085850"   Paper_ID="/23829.html"   Extracted="1402085850"   />

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

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

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

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

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

            <identifier   Org="ISBN:354022940X"   Paper_ID="/23829.html"   Extracted="354022940X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540281959"   Paper_ID="/23829.html"   Extracted="3540281959"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540406719"   Paper_ID="/23829.html"   Extracted="3540406719"   />

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/27759.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGSOFT   94   Symposium   on   the   Foundations   of   Software   Engineering"   CiteSeer_Volume=""   Title="Data   Flow   Analysis   for   Verifying   Properties   of   Concurrent   Programs,">

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

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

            <identifier   Org="ISBN:084931240X"   Paper_ID="/27759.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:3540401237"   Paper_ID="/27759.html"   Extracted="3540401237"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540416552"   Paper_ID="/27759.html"   Extracted="3540416552"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:354042315X"   Paper_ID="/27759.html"   Extracted="354042315X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

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

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

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

            <identifier   Org="ISBN:3540650121"   Paper_ID="/27759.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540756639"   Paper_ID="/27759.html"   Extracted="3540756639"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/270036.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Compact   Petri   Net   Representation   and   it's   Implications   for   Analysis,"   />

      <rec   ID="/321857.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the18thInternational   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="A   flexible   architecture   for   building   data   flow   analyzers,">

            <identifier   Org="ISBN:0897918088"   Paper_ID="/321857.html"   Extracted="0897918088"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1581138040"   Paper_ID="/321857.html"   Extracted="1581138040"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540649255"   Paper_ID="/321857.html"   Extracted="3540649255"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540733671"   Paper_ID="/321857.html"   Extracted="3540733671"   />

      </rec>

      <rec   ID="/214389.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Flow   Analysis   for   Verifying   Specifications   of   Concurrent   and   Distributed   Software,">

            <identifier   Org="ISBN:3540416552"   Paper_ID="/214389.html"   Extracted="3540416552"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:354042315X"   Paper_ID="/214389.html"   Extracted="354042315X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.3333333333333333"   />

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

      </rec>

      <rec   ID="/20430.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   theSixthEuropean   Software   Engineering   ConferenceESECFSE   97"   CiteSeer_Volume=""   Title="Model   Checking   Graphical   User   Interfaces   Using   Abstractions,">

            <identifier   Org="ISBN:0769508073"   Paper_ID="/20430.html"   Extracted="0769508073"   />

            <identifier   Org="ISBN:1852330538"   Paper_ID="/20430.html"   Extracted="1852330538"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.5"   />

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

      </rec>

      <rec   ID="/314638.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Software   Engineering   and   Methodology"   CiteSeer_Volume="3"   Title="A   graphical   interval   logic   for   specifying   concurrent   systems,">

            <identifier   Org="ISBN:0195104277"   Paper_ID="/314638.html"   Extracted="0195104277"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0321228626"   Paper_ID="/314638.html"   Extracted="0321228626"   DDC="620/.001/171"   Normalized_DDC="620001171"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:1402081480"   Paper_ID="/314638.html"   Extracted="1402081480"   DDC="004.256"   Normalized_DDC="004256"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:1586035762"   Paper_ID="/314638.html"   Extracted="1586035762"   />

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

            <identifier   Org="ISBN:3540281959"   Paper_ID="/314638.html"   Extracted="3540281959"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:3540416552"   Paper_ID="/314638.html"   Extracted="3540416552"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540426078"   Paper_ID="/314638.html"   Extracted="3540426078"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540590471"   Paper_ID="/314638.html"   Extracted="3540590471"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:4930813670"   Paper_ID="/314638.html"   Extracted="4930813670"   />

            <identifier   Org="ISBN:8480214341"   Paper_ID="/314638.html"   Extracted="8480214341"   />

            <identifier   Org="ISBN:981024424X"   Paper_ID="/314638.html"   Extracted="981024424X"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/77030.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Limiting   state   explosion   with   filter-based   refinement,">

            <identifier   Org="ISBN:0792371437"   Paper_ID="/77030.html"   Extracted="0792371437"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540222650"   Paper_ID="/77030.html"   Extracted="3540222650"   DDC="519.22"   Normalized_DDC="51922"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540410902"   Paper_ID="/77030.html"   Extracted="3540410902"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540423141"   Paper_ID="/77030.html"   Extracted="3540423141"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540436316"   Paper_ID="/77030.html"   Extracted="3540436316"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540439285"   Paper_ID="/77030.html"   Extracted="3540439285"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="/77030.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/21348.html"   Type="article"   CiteSeer_Book="Concurrency   Practice   and   Experience"   CiteSeer_Volume="9"   Title="A   framework   for   parallel   adaptive   grid   simulations,">

            <identifier   Org="ISBN:0471787566"   Paper_ID="/21348.html"   Extracted="0471787566"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.3333333333333333"   />

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

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

      </rec>

      <rec   ID="/70715.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   International   Conference   on   Parallel   and   Distributed   Processing   Techniques   and   Applications   PDPTA97"   CiteSeer_Volume=""   Title="Object-Oriented   Coordination   Abstractions   for   Parallel   Software,"   />

      <rec   ID="/277690.html"   Type="phdthesis"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Data   Flow   Analysis   for   Verifying   Correctness   Properties   of   Concurrent   Programs,">

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

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

      </rec>

      <rec   ID="/153829.html"   Type="inproceedings"   CiteSeer_Book="Automated   Software   Engineering"   CiteSeer_Volume=""   Title="Modular   Flow   Analysis   for   Concurrent   Software,">

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

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Automated   Analysis   of   Software   Frameworks"   />

</references_metadata>

www.000webhost.com