Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a le...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Iida, Shusaku, Meseguer, José, Ogata, Kazuhiro
Format: Buch
Sprache:eng
Schlagworte:
Computer programming, programs, data
Computer Science
Formal methods (Computer science)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume 8373
creator Iida, Shusaku
Meseguer, José
Ogata, Kazuhiro
description This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.
doi_str_mv 10.1007/978-3-642-54624-2
format Book
fullrecord <record><control><sourceid>proquest_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9783642546242</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3093523</sourcerecordid><originalsourceid>FETCH-LOGICAL-a38435-e101a1ab952ac7dbf1d174c0077abf4aa03eb4c9ae594f43f73ba14c9f8df0573</originalsourceid><addsrcrecordid>eNpNkFtPwzAMhcNVlLEfwNuEkBDSwuI6XdrHMY2LNImHIV4jt022stKOprC_T7YiwZNl-zvH8mHsEsQdCKFGiYo58rEMeSTHoeThATtH3-678JAFMAbgiDI5-r84ZoFAEfJESTxlQawwiUKh4Iz1nXsXQgDEKsI4YNeLjckKW2TUFnU1HEzKpUkbGg6oygeL2rZbaswFO7FUOtP_rT329jB7nT7x-cvj83Qy54SxxIgbEEBAqT9GmcpTCzkomflHFKVWEgk0qcwSMlEirUSrMCXwAxvnVkQKe-y2Mya3Nlu3qsvW6e_SpHW9dtqH8feiZ0cd6zZNUS1NozsKhN5Ft6M1as_rvUDvFDedYtPUn1_GtXpvnJmqbajUs_spigSjED151ZEZOSqLqtAfdVUvG9qsnLcDny3gD2LhcM8</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC3093523</pqid></control><display><type>book</type><title>Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi</title><source>Springer Books</source><creator>Iida, Shusaku ; Meseguer, José ; Ogata, Kazuhiro</creator><contributor>Meseguer, Jos ; Ogata, Kazuhiro ; Iida, Shusaku ; Meseguer, José ; Iida, Shusaku ; Ogata, Kazuhiro</contributor><creatorcontrib>Iida, Shusaku ; Meseguer, José ; Ogata, Kazuhiro ; Meseguer, Jos ; Ogata, Kazuhiro ; Iida, Shusaku ; Meseguer, José ; Iida, Shusaku ; Ogata, Kazuhiro</creatorcontrib><description>This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.</description><edition>1</edition><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3642546242</identifier><identifier>ISBN: 9783642546242</identifier><identifier>ISBN: 3642546234</identifier><identifier>ISBN: 9783642546235</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3642546242</identifier><identifier>EISBN: 9783642546242</identifier><identifier>DOI: 10.1007/978-3-642-54624-2</identifier><identifier>OCLC: 873952071</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Nature</publisher><subject>Computer programming, programs, data ; Computer Science ; Formal methods (Computer science) ; Logics and Meanings of Programs ; Mathematical Logic and Formal Languages ; Programming Languages, Compilers, Interpreters ; Software Engineering</subject><creationdate>2014</creationdate><tpages>675</tpages><format>675</format><rights>Springer-Verlag Berlin Heidelberg 2014</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://media.springernature.com/w306/springer-static/cover-hires/book/978-3-642-54624-2</thumbnail><linktohtml>$$Uhttps://link.springer.com/10.1007/978-3-642-54624-2$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>306,780,784,786,27925,38255,42511</link.rule.ids></links><search><contributor>Meseguer, Jos</contributor><contributor>Ogata, Kazuhiro</contributor><contributor>Iida, Shusaku</contributor><contributor>Meseguer, José</contributor><contributor>Iida, Shusaku</contributor><contributor>Ogata, Kazuhiro</contributor><creatorcontrib>Iida, Shusaku</creatorcontrib><creatorcontrib>Meseguer, José</creatorcontrib><creatorcontrib>Ogata, Kazuhiro</creatorcontrib><title>Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi</title><description>This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.</description><subject>Computer programming, programs, data</subject><subject>Computer Science</subject><subject>Formal methods (Computer science)</subject><subject>Logics and Meanings of Programs</subject><subject>Mathematical Logic and Formal Languages</subject><subject>Programming Languages, Compilers, Interpreters</subject><subject>Software Engineering</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3642546242</isbn><isbn>9783642546242</isbn><isbn>3642546234</isbn><isbn>9783642546235</isbn><isbn>3642546242</isbn><isbn>9783642546242</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2014</creationdate><recordtype>book</recordtype><sourceid>I4C</sourceid><recordid>eNpNkFtPwzAMhcNVlLEfwNuEkBDSwuI6XdrHMY2LNImHIV4jt022stKOprC_T7YiwZNl-zvH8mHsEsQdCKFGiYo58rEMeSTHoeThATtH3-678JAFMAbgiDI5-r84ZoFAEfJESTxlQawwiUKh4Iz1nXsXQgDEKsI4YNeLjckKW2TUFnU1HEzKpUkbGg6oygeL2rZbaswFO7FUOtP_rT329jB7nT7x-cvj83Qy54SxxIgbEEBAqT9GmcpTCzkomflHFKVWEgk0qcwSMlEirUSrMCXwAxvnVkQKe-y2Mya3Nlu3qsvW6e_SpHW9dtqH8feiZ0cd6zZNUS1NozsKhN5Ft6M1as_rvUDvFDedYtPUn1_GtXpvnJmqbajUs_spigSjED151ZEZOSqLqtAfdVUvG9qsnLcDny3gD2LhcM8</recordid><startdate>2014</startdate><enddate>2014</enddate><creator>Iida, Shusaku</creator><creator>Meseguer, José</creator><creator>Ogata, Kazuhiro</creator><general>Springer Nature</general><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>I4C</scope></search><sort><creationdate>2014</creationdate><title>Specification, Algebra, and Software</title><author>Iida, Shusaku ; Meseguer, José ; Ogata, Kazuhiro</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a38435-e101a1ab952ac7dbf1d174c0077abf4aa03eb4c9ae594f43f73ba14c9f8df0573</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2014</creationdate><topic>Computer programming, programs, data</topic><topic>Computer Science</topic><topic>Formal methods (Computer science)</topic><topic>Logics and Meanings of Programs</topic><topic>Mathematical Logic and Formal Languages</topic><topic>Programming Languages, Compilers, Interpreters</topic><topic>Software Engineering</topic><toplevel>online_resources</toplevel><creatorcontrib>Iida, Shusaku</creatorcontrib><creatorcontrib>Meseguer, José</creatorcontrib><creatorcontrib>Ogata, Kazuhiro</creatorcontrib><collection>Casalini Torrossa eBook Single Purchase</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Iida, Shusaku</au><au>Meseguer, José</au><au>Ogata, Kazuhiro</au><au>Meseguer, Jos</au><au>Ogata, Kazuhiro</au><au>Iida, Shusaku</au><au>Meseguer, José</au><au>Iida, Shusaku</au><au>Ogata, Kazuhiro</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2014</date><risdate>2014</risdate><volume>8373</volume><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3642546242</isbn><isbn>9783642546242</isbn><isbn>3642546234</isbn><isbn>9783642546235</isbn><eisbn>3642546242</eisbn><eisbn>9783642546242</eisbn><abstract>This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Nature</pub><doi>10.1007/978-3-642-54624-2</doi><oclcid>873952071</oclcid><tpages>675</tpages><edition>1</edition></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof
issn 0302-9743
1611-3349
language eng
recordid cdi_askewsholts_vlebooks_9783642546242
source Springer Books
subjects Computer programming, programs, data
Computer Science
Formal methods (Computer science)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
title Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T04%3A24%3A13IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_askew&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Specification,%20Algebra,%20and%20Software:%20Essays%20Dedicated%20to%20Kokichi%20Futatsugi&rft.au=Iida,%20Shusaku&rft.date=2014&rft.volume=8373&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3642546242&rft.isbn_list=9783642546242&rft.isbn_list=3642546234&rft.isbn_list=9783642546235&rft_id=info:doi/10.1007/978-3-642-54624-2&rft_dat=%3Cproquest_askew%3EEBC3093523%3C/proquest_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=3642546242&rft.eisbn_list=9783642546242&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3093523&rft_id=info:pmid/&rfr_iscdi=true