CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the systems (mainly software...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore
World Scientific Pub. Co.
c1998
|
| Series: | AMAST series in computing
v. 6 |
| Subjects: | |
| Online Access: | FHN01 Volltext |
| Summary: | CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the systems (mainly software but not only) development process at several levels, including prototyping, specification, and formal verification. This book presents not only the formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity. The presentation of the CafeOBJ concepts is supported by many examples, and an appendix illustrates the power of the language and its methodologies by a larger CASE study including specification, testing, and verification. The book may be used both by software engineers interested in algebraic methodologies, and by students and researchers in software engineering and/or theoretical computing science as a fast introduction to state-of-art algebraic specification |
| Item Description: | Includes index |
| Physical Description: | xxi, 174 p. ill |
| ISBN: | 9789812816108 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044636532 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1998 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812816108 |9 978-981-281-610-8 | ||
| 024 | 7 | |a 10.1142/3831 |2 doi | |
| 035 | |a (ZDB-124-WOP)00006014 | ||
| 035 | |a (OCoLC)1005230288 | ||
| 035 | |a (DE-599)BVBBV044636532 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 005.117 |2 22 | |
| 100 | 1 | |a Diaconescu, Razvan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a CafeOBJ report |b the language, proof techniques, and methodologies for object-oriented algebraic specification |c Razvan Diaconescu, Kokichi Futatsugi |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1998 | |
| 300 | |a xxi, 174 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a AMAST series in computing |v v. 6 | |
| 500 | |a Includes index | ||
| 520 | |a CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the systems (mainly software but not only) development process at several levels, including prototyping, specification, and formal verification. This book presents not only the formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity. The presentation of the CafeOBJ concepts is supported by many examples, and an appendix illustrates the power of the language and its methodologies by a larger CASE study including specification, testing, and verification. The book may be used both by software engineers interested in algebraic methodologies, and by students and researchers in software engineering and/or theoretical computing science as a fast introduction to state-of-art algebraic specification | ||
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer software / Development | |
| 650 | 4 | |a Algebraic logic | |
| 650 | 4 | |a Rewriting systems (Computer science) | |
| 650 | 0 | 7 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | 1 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Futatsugi, Kokichi |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810235130 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810235135 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/3831#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030034505 | ||
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/3831#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804178051006726144 |
|---|---|
| any_adam_object | |
| author | Diaconescu, Razvan |
| author_facet | Diaconescu, Razvan |
| author_role | aut |
| author_sort | Diaconescu, Razvan |
| author_variant | r d rd |
| building | Verbundindex |
| bvnumber | BV044636532 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00006014 (OCoLC)1005230288 (DE-599)BVBBV044636532 |
| dewey-full | 005.117 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.117 |
| dewey-search | 005.117 |
| dewey-sort | 15.117 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03164nmm a2200517zcb4500</leader><controlfield tag="001">BV044636532</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1998 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812816108</subfield><subfield code="9">978-981-281-610-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/3831</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00006014</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1005230288</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044636532</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-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.117</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Diaconescu, Razvan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">CafeOBJ report</subfield><subfield code="b">the language, proof techniques, and methodologies for object-oriented algebraic specification</subfield><subfield code="c">Razvan Diaconescu, Kokichi Futatsugi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxi, 174 p.</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">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="490" ind1="0" ind2=" "><subfield code="a">AMAST series in computing</subfield><subfield code="v">v. 6</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the systems (mainly software but not only) development process at several levels, including prototyping, specification, and formal verification. This book presents not only the formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity. The presentation of the CafeOBJ concepts is supported by many examples, and an appendix illustrates the power of the language and its methodologies by a larger CASE study including specification, testing, and verification. The book may be used both by software engineers interested in algebraic methodologies, and by students and researchers in software engineering and/or theoretical computing science as a fast introduction to state-of-art algebraic specification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-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">Futatsugi, Kokichi</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789810235130</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810235135</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/3831#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030034505</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/3831#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044636532 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:49Z |
| institution | BVB |
| isbn | 9789812816108 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030034505 |
| oclc_num | 1005230288 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xxi, 174 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| series2 | AMAST series in computing |
| spelling | Diaconescu, Razvan Verfasser aut CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification Razvan Diaconescu, Kokichi Futatsugi Singapore World Scientific Pub. Co. c1998 xxi, 174 p. ill txt rdacontent c rdamedia cr rdacarrier AMAST series in computing v. 6 Includes index CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the systems (mainly software but not only) development process at several levels, including prototyping, specification, and formal verification. This book presents not only the formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity. The presentation of the CafeOBJ concepts is supported by many examples, and an appendix illustrates the power of the language and its methodologies by a larger CASE study including specification, testing, and verification. The book may be used both by software engineers interested in algebraic methodologies, and by students and researchers in software engineering and/or theoretical computing science as a fast introduction to state-of-art algebraic specification Object-oriented programming (Computer science) Programming languages (Electronic computers) Computer software / Development Algebraic logic Rewriting systems (Computer science) Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 s Objektorientierte Programmierung (DE-588)4233947-9 s DE-604 Futatsugi, Kokichi Sonstige oth Erscheint auch als Druck-Ausgabe 9789810235130 Erscheint auch als Druck-Ausgabe 9810235135 http://www.worldscientific.com/worldscibooks/10.1142/3831#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Diaconescu, Razvan CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification Object-oriented programming (Computer science) Programming languages (Electronic computers) Computer software / Development Algebraic logic Rewriting systems (Computer science) Objektorientierte Programmierung (DE-588)4233947-9 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd |
| subject_GND | (DE-588)4233947-9 (DE-588)4207192-6 |
| title | CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification |
| title_auth | CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification |
| title_exact_search | CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification |
| title_full | CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification Razvan Diaconescu, Kokichi Futatsugi |
| title_fullStr | CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification Razvan Diaconescu, Kokichi Futatsugi |
| title_full_unstemmed | CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification Razvan Diaconescu, Kokichi Futatsugi |
| title_short | CafeOBJ report |
| title_sort | cafeobj report the language proof techniques and methodologies for object oriented algebraic specification |
| title_sub | the language, proof techniques, and methodologies for object-oriented algebraic specification |
| topic | Object-oriented programming (Computer science) Programming languages (Electronic computers) Computer software / Development Algebraic logic Rewriting systems (Computer science) Objektorientierte Programmierung (DE-588)4233947-9 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd |
| topic_facet | Object-oriented programming (Computer science) Programming languages (Electronic computers) Computer software / Development Algebraic logic Rewriting systems (Computer science) Objektorientierte Programmierung Algebraische Spezifikation |
| url | http://www.worldscientific.com/worldscibooks/10.1142/3831#t=toc |
| work_keys_str_mv | AT diaconescurazvan cafeobjreportthelanguageprooftechniquesandmethodologiesforobjectorientedalgebraicspecification AT futatsugikokichi cafeobjreportthelanguageprooftechniquesandmethodologiesforobjectorientedalgebraicspecification |