Heterogeneous analysis and verification for distributed systems:
Abstract: "In this paper we present an environment for the development of special purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of application specific heterogeneous tools and 2) providing facilities for the automation...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Passau
1995
|
| Series: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
1995,09 |
| Subjects: | |
| Summary: | Abstract: "In this paper we present an environment for the development of special purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of application specific heterogeneous tools and 2) providing facilities for the automation of the synthesis process. Based on a specification language that uniformly combines taxonomic component specifications, interface conditions, and ordering constraints, our method adds a global view to conventional single component retrieval. Following a user session, we illustrate the interactive synthesis process, which supports the inclusion of a satisfactory new software component into the repository by proposing an appropriately precomputed default taxonomic classification. This guarantees convenient retrieval for later reuse." |
| Physical Description: | 22 S. Ill. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010425727 | ||
| 003 | DE-604 | ||
| 005 | 19960124 | ||
| 007 | t| | ||
| 008 | 951012s1995 xx a||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)35571472 | ||
| 035 | |a (DE-599)BVBBV010425727 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-154 |a DE-739 |a DE-12 |a DE-384 |a DE-29T |a DE-91G |a DE-634 | ||
| 100 | 1 | |a Steffen, Bernhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Heterogeneous analysis and verification for distributed systems |c Bernhard Steffen ; Tiziana Margaria ; Andreas Claßen |
| 264 | 1 | |a Passau |c 1995 | |
| 300 | |a 22 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |v 1995,09 | |
| 520 | 3 | |a Abstract: "In this paper we present an environment for the development of special purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of application specific heterogeneous tools and 2) providing facilities for the automation of the synthesis process. Based on a specification language that uniformly combines taxonomic component specifications, interface conditions, and ordering constraints, our method adds a global view to conventional single component retrieval. Following a user session, we illustrate the interactive synthesis process, which supports the inclusion of a satisfactory new software component into the repository by proposing an appropriately precomputed default taxonomic classification. This guarantees convenient retrieval for later reuse." | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Computer software |x Verification | |
| 650 | 4 | |a Electronic data processing |x Distributed processing | |
| 650 | 4 | |a Software engineering | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Margaria, Tiziana |e Verfasser |4 aut | |
| 700 | 1 | |a Claßen, Andreas |e Verfasser |4 aut | |
| 810 | 2 | |a Fakultät für Mathematik und Informatik: MIP |t Universität <Passau> |v 1995,09 |w (DE-604)BV000905393 |9 1995,09 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006946351 | |
Record in the Search Index
| _version_ | 1820882317183287296 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Steffen, Bernhard Margaria, Tiziana Claßen, Andreas |
| author_facet | Steffen, Bernhard Margaria, Tiziana Claßen, Andreas |
| author_role | aut aut aut |
| author_sort | Steffen, Bernhard |
| author_variant | b s bs t m tm a c ac |
| building | Verbundindex |
| bvnumber | BV010425727 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)35571472 (DE-599)BVBBV010425727 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010425727</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960124</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">951012s1995 xx a||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35571472</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010425727</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-154</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Steffen, Bernhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Heterogeneous analysis and verification for distributed systems</subfield><subfield code="c">Bernhard Steffen ; Tiziana Margaria ; Andreas Claßen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22 S.</subfield><subfield code="b">Ill.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Universität <Passau> / Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="v">1995,09</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In this paper we present an environment for the development of special purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of application specific heterogeneous tools and 2) providing facilities for the automation of the synthesis process. Based on a specification language that uniformly combines taxonomic component specifications, interface conditions, and ordering constraints, our method adds a global view to conventional single component retrieval. Following a user session, we illustrate the interactive synthesis process, which supports the inclusion of a satisfactory new software component into the repository by proposing an appropriately precomputed default taxonomic classification. This guarantees convenient retrieval for later reuse."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Margaria, Tiziana</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Claßen, Andreas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="t">Universität <Passau></subfield><subfield code="v">1995,09</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">1995,09</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006946351</subfield></datafield></record></collection> |
| id | DE-604.BV010425727 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:04:58Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006946351 |
| oclc_num | 35571472 |
| open_access_boolean | |
| owner | DE-154 DE-739 DE-12 DE-384 DE-29T DE-91G DE-BY-TUM DE-634 |
| owner_facet | DE-154 DE-739 DE-12 DE-384 DE-29T DE-91G DE-BY-TUM DE-634 |
| physical | 22 S. Ill. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
| spelling | Steffen, Bernhard Verfasser aut Heterogeneous analysis and verification for distributed systems Bernhard Steffen ; Tiziana Margaria ; Andreas Claßen Passau 1995 22 S. Ill. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1995,09 Abstract: "In this paper we present an environment for the development of special purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of application specific heterogeneous tools and 2) providing facilities for the automation of the synthesis process. Based on a specification language that uniformly combines taxonomic component specifications, interface conditions, and ordering constraints, our method adds a global view to conventional single component retrieval. Following a user session, we illustrate the interactive synthesis process, which supports the inclusion of a satisfactory new software component into the repository by proposing an appropriately precomputed default taxonomic classification. This guarantees convenient retrieval for later reuse." Datenverarbeitung Application software Computer software Verification Electronic data processing Distributed processing Software engineering Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s Informatik (DE-588)4026894-9 s Mathematik (DE-588)4037944-9 s DE-604 Margaria, Tiziana Verfasser aut Claßen, Andreas Verfasser aut Fakultät für Mathematik und Informatik: MIP Universität <Passau> 1995,09 (DE-604)BV000905393 1995,09 |
| spellingShingle | Steffen, Bernhard Margaria, Tiziana Claßen, Andreas Heterogeneous analysis and verification for distributed systems Datenverarbeitung Application software Computer software Verification Electronic data processing Distributed processing Software engineering Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4026894-9 (DE-588)4037944-9 |
| title | Heterogeneous analysis and verification for distributed systems |
| title_auth | Heterogeneous analysis and verification for distributed systems |
| title_exact_search | Heterogeneous analysis and verification for distributed systems |
| title_full | Heterogeneous analysis and verification for distributed systems Bernhard Steffen ; Tiziana Margaria ; Andreas Claßen |
| title_fullStr | Heterogeneous analysis and verification for distributed systems Bernhard Steffen ; Tiziana Margaria ; Andreas Claßen |
| title_full_unstemmed | Heterogeneous analysis and verification for distributed systems Bernhard Steffen ; Tiziana Margaria ; Andreas Claßen |
| title_short | Heterogeneous analysis and verification for distributed systems |
| title_sort | heterogeneous analysis and verification for distributed systems |
| topic | Datenverarbeitung Application software Computer software Verification Electronic data processing Distributed processing Software engineering Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Datenverarbeitung Application software Computer software Verification Electronic data processing Distributed processing Software engineering Theoretische Informatik Informatik Mathematik |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT steffenbernhard heterogeneousanalysisandverificationfordistributedsystems AT margariatiziana heterogeneousanalysisandverificationfordistributedsystems AT claßenandreas heterogeneousanalysisandverificationfordistributedsystems |