Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 16

Title: Integrating State Charts in Specware and Aspects of Correct Oberon Code Generation

Subject: Integrating State Charts in Specware and Aspects of Correct Oberon Code Generation

Description: State charts are finite state machines with hierarchical structuring and several models of communication. They are widely used in hardware, software, and communication industries to specify reactive and concurrent systems. In absence of a common semantics for state charts, we use Evolving Algebras, that showed to be powerful enough to model all types of sequential, parallel, distributed and real-time applications of dynamic systems. The generality of evolving algebras allows to mimic all state chart dialects. We use a many-sorted higher-order logic algebraic specification language with loose semantics to describe the states of evolving algebras. We have found that the hierarchical structuring operations of state charts coincide with the basic composition operations of the used specification language SLANG. We do not have to provide the complicated communication mechanisms existing in many state chart dialects, since SLANG is powerful enough to specify them upon need. SLANG supports con...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1970-01-01

Pubyear: 1996

Format: ps

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

Source: ftp://ftp.tik.ee.ethz.ch/pub/people/kutter/paper/Kut96b.a4.ps.gz

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="/76768.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Why   Use   Evolving   Algebras   for   Hardware   and   Software   Engineering?,">

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

            <identifier   Org="ISBN:3540006249"   Paper_ID="/76768.html"   Extracted="3540006249"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:3540260951"   Paper_ID="/76768.html"   Extracted="3540260951"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540415971"   Paper_ID="/76768.html"   Extracted="3540415971"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354042959X"   Paper_ID="/76768.html"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540606092"   Paper_ID="/76768.html"   Extracted="3540606092"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540619291"   Paper_ID="/76768.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540638113"   Paper_ID="/76768.html"   Extracted="3540638113"   DDC="620/.0042/0113"   Normalized_DDC="62000420113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540661581"   Paper_ID="/76768.html"   Extracted="3540661581"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:3540675302"   Paper_ID="/76768.html"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540678166"   Paper_ID="/76768.html"   Extracted="3540678166"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540679596"   Paper_ID="/76768.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/460.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   bakery   algorithm:   yet   another   specification   and   verification,">

            <identifier   Org="ISBN:0198538545"   Paper_ID="/460.html"   Extracted="0198538545"   DDC="004/.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:052155344X"   Paper_ID="/460.html"   Extracted="052155344X"   DDC="512/.24"   Normalized_DDC="51224"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1402079907"   Paper_ID="/460.html"   Extracted="1402079907"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540006222"   Paper_ID="/460.html"   Extracted="3540006222"   DDC="005.8/2"   Normalized_DDC="00582"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540298142"   Paper_ID="/460.html"   Extracted="3540298142"   />

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

            <identifier   Org="ISBN:3540606092"   Paper_ID="/460.html"   Extracted="3540606092"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540613773"   Paper_ID="/460.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540619291"   Paper_ID="/460.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.08333333333333333"   />

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

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

            <identifier   Org="ISBN:3540679596"   Paper_ID="/460.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/16386.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Correctness   Proof   for   Pipelining   in   RISC   Architectures,">

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

            <identifier   Org="ISBN:3540606092"   Paper_ID="/16386.html"   Extracted="3540606092"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540619291"   Paper_ID="/16386.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/15464.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   WAM   -   Definition   and   Compiler   Correctness,">

            <identifier   Org="ISBN:0198538545"   Paper_ID="/15464.html"   Extracted="0198538545"   DDC="004/.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0262600315"   Paper_ID="/15464.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540006249"   Paper_ID="/15464.html"   Extracted="3540006249"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540198520"   Paper_ID="/15464.html"   Extracted="3540198520"   DDC="005.101512"   Normalized_DDC="005101512"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540220941"   Paper_ID="/15464.html"   Extracted="3540220941"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:354042959X"   Paper_ID="/15464.html"   Extracted="354042959X"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354060359X"   Paper_ID="/15464.html"   Extracted="354060359X"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354060748X"   Paper_ID="/15464.html"   Extracted="354060748X"   DDC="003/.3"   Normalized_DDC="0033"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540619291"   Paper_ID="/15464.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540661581"   Paper_ID="/15464.html"   Extracted="3540661581"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

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

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

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

            <identifier   Org="ISBN:3540679596"   Paper_ID="/15464.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

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

      </rec>

      <rec   ID="/10395.html"   Type="incollection"   CiteSeer_Book="Computer   Science   Logic"   CiteSeer_Volume=""   Title="{The   Semantics   of   the   C   Programming   Language},">

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

            <identifier   Org="ISBN:0818673559"   Paper_ID="/10395.html"   Extracted="0818673559"   DDC="004.2/1/011"   Normalized_DDC="00421011"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0818676744"   Paper_ID="/10395.html"   Extracted="0818676744"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402003935"   Paper_ID="/10395.html"   Extracted="1402003935"   />

            <identifier   Org="ISBN:1402009976"   Paper_ID="/10395.html"   Extracted="1402009976"   DDC="355.6/213"   Normalized_DDC="3556213"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540006249"   Paper_ID="/10395.html"   Extracted="3540006249"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

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

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

            <identifier   Org="ISBN:3540209654"   Paper_ID="/10395.html"   Extracted="3540209654"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540405399"   Paper_ID="/10395.html"   Extracted="3540405399"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354043075X"   Paper_ID="/10395.html"   Extracted="354043075X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540569928"   Paper_ID="/10395.html"   Extracted="3540569928"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540578773"   Paper_ID="/10395.html"   Extracted="3540578773"   DDC="005.4/5"   Normalized_DDC="00545"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540613773"   Paper_ID="/10395.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

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

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

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

            <identifier   Org="ISBN:3540679596"   Paper_ID="/10395.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/9273.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="179"   Title="Equivalence   is   in   the   eye   of   the   beholder,">

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

            <identifier   Org="ISBN:3540606092"   Paper_ID="/9273.html"   Extracted="3540606092"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/589027.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   CSL95   Computer   Science   Logic"   CiteSeer_Volume=""   Title="{The   Railroad   Crossing   Problem:   An   Experiment   with   Instantaneous   Actions   and   Immediate   Reactions},">

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

            <identifier   Org="ISBN:3540006249"   Paper_ID="/589027.html"   Extracted="3540006249"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540008772"   Paper_ID="/589027.html"   Extracted="3540008772"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540220941"   Paper_ID="/589027.html"   Extracted="3540220941"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

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

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

            <identifier   Org="ISBN:3540613773"   Paper_ID="/589027.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540619291"   Paper_ID="/589027.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540638113"   Paper_ID="/589027.html"   Extracted="3540638113"   DDC="620/.0042/0113"   Normalized_DDC="62000420113"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/21021.html"   Type="incollection"   CiteSeer_Book="Specification   and   Validation   Methods"   CiteSeer_Volume=""   Title="{Group   Membership   Protocol:   Specification   and   Verification},">

            <identifier   Org="ISBN:0198538545"   Paper_ID="/21021.html"   Extracted="0198538545"   DDC="004/.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.14285714285714285"   />

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

            <identifier   Org="ISBN:3540220941"   Paper_ID="/21021.html"   Extracted="3540220941"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540255761"   Paper_ID="/21021.html"   Extracted="3540255761"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.14285714285714285"   />

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

            <identifier   Org="ISBN:3540613773"   Paper_ID="/21021.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540619291"   Paper_ID="/21021.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/543554.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="8"   Title="Statecharts:   {A}   Visual   Formalism   for   Complex   Systems,">

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

            <identifier   Org="ISBN:0792384296"   Paper_ID="/543554.html"   Extracted="0792384296"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:1402062532"   Paper_ID="/543554.html"   Extracted="1402062532"   />

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

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

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

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

            <identifier   Org="ISBN:3540442529"   Paper_ID="/543554.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540545638"   Paper_ID="/543554.html"   Extracted="3540545638"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540550925"   Paper_ID="/543554.html"   Extracted="3540550925"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

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

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

            <identifier   Org="ISBN:3540708804"   Paper_ID="/543554.html"   Extracted="3540708804"   />

            <identifier   Org="ISBN:3540728813"   Paper_ID="/543554.html"   Extracted="3540728813"   />

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

      </rec>

      <rec   ID="/429457.html"   Type="article"   CiteSeer_Book="Computer"   CiteSeer_Volume="30"   Title="Executable   Object   Modeling   with   Statecharts,">

            <identifier   Org="ISBN:0072865512"   Paper_ID="/429457.html"   Extracted="0072865512"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0262161893"   Paper_ID="/429457.html"   Extracted="0262161893"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:030909612X"   Paper_ID="/429457.html"   Extracted="030909612X"   DDC="570.285"   Normalized_DDC="570285"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0849319854"   Paper_ID="/429457.html"   Extracted="0849319854"   DDC="670.42/7"   Normalized_DDC="670427"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:1402059760"   Paper_ID="/429457.html"   Extracted="1402059760"   DDC="005.2732"   Normalized_DDC="0052732"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:1586033425"   Paper_ID="/429457.html"   Extracted="1586033425"   DDC="620/.00285/5"   Normalized_DDC="620002855"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540202439"   Paper_ID="/429457.html"   Extracted="3540202439"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540237232"   Paper_ID="/429457.html"   Extracted="3540237232"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540253750"   Paper_ID="/429457.html"   Extracted="3540253750"   DDC="570"   Normalized_DDC="57"   Normalized_Weight="0.05263157894736842"   />

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

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

            <identifier   Org="ISBN:3540440879"   Paper_ID="/429457.html"   Extracted="3540440879"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="/429457.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540619291"   Paper_ID="/429457.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540662529"   Paper_ID="/429457.html"   Extracted="3540662529"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05263157894736842"   />

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

      </rec>

      <rec   ID="/548670.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Software   Engineering   and   Methodology"   CiteSeer_Volume="5"   Title="The   {STATEMATE}   semantics   of   statecharts,">

            <identifier   Org="ISBN:0780355008"   Paper_ID="/548670.html"   Extracted="0780355008"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1591402964"   Paper_ID="/548670.html"   Extracted="1591402964"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540237232"   Paper_ID="/548670.html"   Extracted="3540237232"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.058823529411764705"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540631410"   Paper_ID="/548670.html"   Extracted="3540631410"   />

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

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

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

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

      </rec>

      <rec   ID="/21300.html"   Type="incollection"   CiteSeer_Book="Specification   and   Validation   Methods"   CiteSeer_Volume=""   Title="{Kermit:   Specification   and   Verification},">

            <identifier   Org="ISBN:0198538545"   Paper_ID="/21300.html"   Extracted="0198538545"   DDC="004/.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0818673559"   Paper_ID="/21300.html"   Extracted="0818673559"   DDC="004.2/1/011"   Normalized_DDC="00421011"   Normalized_Weight="0.1"   />

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

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

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

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

            <identifier   Org="ISBN:354060748X"   Paper_ID="/21300.html"   Extracted="354060748X"   DDC="003/.3"   Normalized_DDC="0033"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540619291"   Paper_ID="/21300.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:3540638113"   Paper_ID="/21300.html"   Extracted="3540638113"   DDC="620/.0042/0113"   Normalized_DDC="62000420113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540661581"   Paper_ID="/21300.html"   Extracted="3540661581"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/29054.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Montages:   Unified   Static   and   Dynamic   Semantics   of   Programming   Languages,">

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

      </rec>

      <rec   ID="/106297.html"   Type="inproceedings"   CiteSeer_Book="PROCOMET"   CiteSeer_Volume=""   Title="Augmenting   Algebraic   Specifications   with   Structured   Sorts   and   Structural   Subsorting,"   />

      <rec   ID="/141043.html"   Type="inproceedings"   CiteSeer_Book="Mathematics   of   Program   Construction"   CiteSeer_Volume=""   Title="Specware:   Formal   Support   for   Composing   Software,">

            <identifier   Org="ISBN:0471390526"   Paper_ID="/141043.html"   Extracted="0471390526"   DDC="621.303"   Normalized_DDC="621303"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792379497"   Paper_ID="/141043.html"   Extracted="0792379497"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792379535"   Paper_ID="/141043.html"   Extracted="0792379535"   DDC="006"   Normalized_DDC="006"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792397894"   Paper_ID="/141043.html"   Extracted="0792397894"   DDC="005.1/0285/633"   Normalized_DDC="00510285633"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0818676809"   Paper_ID="/141043.html"   Extracted="0818676809"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:3540230173"   Paper_ID="/141043.html"   Extracted="3540230173"   DDC="511.36028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:3540408347"   Paper_ID="/141043.html"   Extracted="3540408347"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540421270"   Paper_ID="/141043.html"   Extracted="3540421270"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540442332"   Paper_ID="/141043.html"   Extracted="3540442332"   DDC="005.1/14"   Normalized_DDC="005114"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540657657"   Paper_ID="/141043.html"   Extracted="3540657657"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540675302"   Paper_ID="/141043.html"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540676643"   Paper_ID="/141043.html"   Extracted="3540676643"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/71918.html"   Type="inproceedings"   CiteSeer_Book="Functional   Programming   Languages   and   Computer   Architecture"   CiteSeer_Volume=""   Title="Once   upon   a   type,">

            <identifier   Org="ISBN:0262631733"   Paper_ID="/71918.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1581134150"   Paper_ID="/71918.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:1581136676"   Paper_ID="/71918.html"   Extracted="1581136676"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540237240"   Paper_ID="/71918.html"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540403256"   Paper_ID="/71918.html"   Extracted="3540403256"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540419195"   Paper_ID="/71918.html"   Extracted="3540419195"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540420681"   Paper_ID="/71918.html"   Extracted="3540420681"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07692307692307693"   />

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

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

            <identifier   Org="ISBN:3540645705"   Paper_ID="/71918.html"   Extracted="3540645705"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540769277"   Paper_ID="/71918.html"   Extracted="3540769277"   />

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

            <identifier   Org="ISBN:3540789685"   Paper_ID="/71918.html"   Extracted="3540789685"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Integrating   State   Charts   in   Specware   and   Aspects   of   Correct   Oberon   Code   Generation"   />

</references_metadata>