Cafe: an industrial-strength algebraic formal method
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Elsevier
2000
|
| Ausgabe: | 1st ed |
| Schlagworte: | |
| Online-Zugang: | FAW01 Volltext |
| Beschreibung: | Selected papers from a symposium held in Numazu, April 1998 Includes bibliographical references This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective. Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated |
| Beschreibung: | 1 Online-Ressource (xiv, 193 p.) |
| ISBN: | 0444505563 9780444505569 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042307490 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s2000 |||| o||u| ||||||eng d | ||
| 020 | |a 0444505563 |9 0-444-50556-3 | ||
| 020 | |a 9780444505569 |9 978-0-444-50556-9 | ||
| 035 | |a (OCoLC)182559921 | ||
| 035 | |a (DE-599)BVBBV042307490 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 245 | 1 | 0 | |a Cafe |b an industrial-strength algebraic formal method |c edited by K. Futatsugi, A.T. Nakagawa, T. Tamai |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Amsterdam |b Elsevier |c 2000 | |
| 300 | |a 1 Online-Ressource (xiv, 193 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Selected papers from a symposium held in Numazu, April 1998 | ||
| 500 | |a Includes bibliographical references | ||
| 500 | |a This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. | ||
| 500 | |a Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective. Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. | ||
| 500 | |a Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated | ||
| 650 | 7 | |a Conference proceedings |2 fast | |
| 650 | 4 | |a Logique algébrique / Congrès | |
| 650 | 4 | |a Méthodes formelles (Informatique) / Congrès | |
| 650 | 7 | |a Algebraic logic |2 fast | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 650 | 4 | |a Algebraic logic |v Congresses | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Futatsugi, Kokichi |e Sonstige |4 oth | |
| 700 | 1 | |a Tamai, T. |e Sonstige |4 oth | |
| 700 | 1 | |a Nakagawa, A. T. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444505569 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027744482 | ||
| 966 | e | |u http://www.sciencedirect.com/science/book/9780444505569 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804152892859351040 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV042307490 |
| collection | ZDB-33-ESD |
| ctrlnum | (OCoLC)182559921 (DE-599)BVBBV042307490 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04015nmm a2200517zc 4500</leader><controlfield tag="001">BV042307490</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444505563</subfield><subfield code="9">0-444-50556-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444505569</subfield><subfield code="9">978-0-444-50556-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)182559921</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042307490</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Cafe</subfield><subfield code="b">an industrial-strength algebraic formal method</subfield><subfield code="c">edited by K. Futatsugi, A.T. Nakagawa, T. Tamai</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiv, 193 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Selected papers from a symposium held in Numazu, April 1998</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective. Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conference proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique algébrique / Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Méthodes formelles (Informatique) / Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraic logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Futatsugi, Kokichi</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tamai, T.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nakagawa, A. T.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444505569</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027744482</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780444505569</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042307490 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:17:56Z |
| institution | BVB |
| isbn | 0444505563 9780444505569 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027744482 |
| oclc_num | 182559921 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xiv, 193 p.) |
| psigel | ZDB-33-ESD FLA_PDA_ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Elsevier |
| record_format | marc |
| spelling | Cafe an industrial-strength algebraic formal method edited by K. Futatsugi, A.T. Nakagawa, T. Tamai 1st ed Amsterdam Elsevier 2000 1 Online-Ressource (xiv, 193 p.) txt rdacontent c rdamedia cr rdacarrier Selected papers from a symposium held in Numazu, April 1998 Includes bibliographical references This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective. Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated Conference proceedings fast Logique algébrique / Congrès Méthodes formelles (Informatique) / Congrès Algebraic logic fast Formal methods (Computer science) fast Algebraic logic Congresses Formal methods (Computer science) Congresses (DE-588)1071861417 Konferenzschrift gnd-content Futatsugi, Kokichi Sonstige oth Tamai, T. Sonstige oth Nakagawa, A. T. Sonstige oth http://www.sciencedirect.com/science/book/9780444505569 Verlag Volltext |
| spellingShingle | Cafe an industrial-strength algebraic formal method Conference proceedings fast Logique algébrique / Congrès Méthodes formelles (Informatique) / Congrès Algebraic logic fast Formal methods (Computer science) fast Algebraic logic Congresses Formal methods (Computer science) Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Cafe an industrial-strength algebraic formal method |
| title_auth | Cafe an industrial-strength algebraic formal method |
| title_exact_search | Cafe an industrial-strength algebraic formal method |
| title_full | Cafe an industrial-strength algebraic formal method edited by K. Futatsugi, A.T. Nakagawa, T. Tamai |
| title_fullStr | Cafe an industrial-strength algebraic formal method edited by K. Futatsugi, A.T. Nakagawa, T. Tamai |
| title_full_unstemmed | Cafe an industrial-strength algebraic formal method edited by K. Futatsugi, A.T. Nakagawa, T. Tamai |
| title_short | Cafe |
| title_sort | cafe an industrial strength algebraic formal method |
| title_sub | an industrial-strength algebraic formal method |
| topic | Conference proceedings fast Logique algébrique / Congrès Méthodes formelles (Informatique) / Congrès Algebraic logic fast Formal methods (Computer science) fast Algebraic logic Congresses Formal methods (Computer science) Congresses |
| topic_facet | Conference proceedings Logique algébrique / Congrès Méthodes formelles (Informatique) / Congrès Algebraic logic Formal methods (Computer science) Algebraic logic Congresses Formal methods (Computer science) Congresses Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9780444505569 |
| work_keys_str_mv | AT futatsugikokichi cafeanindustrialstrengthalgebraicformalmethod AT tamait cafeanindustrialstrengthalgebraicformalmethod AT nakagawaat cafeanindustrialstrengthalgebraicformalmethod |