News
Prof. Dr. Kokichi Futatsugi: Foundations of Verification with Proof ...Technische Universität Wien (TU Wien)
www.tuwien.at
Kokichi Futatsugi has been a professor of JAIST since Before getting a full professorship at JAIST, he worked at ETL (Electrotechnical Laboratory), MITI ( ... Kokichi Futatsugi has been a professor of JAIST since Before getting a full professorship at JAIST, he worked at ETL (Electrotechnical Laboratory), MITI ( ...
Prof. Dr. Kokichi Futatsugi: Lecture and Tutorial Series on " ...Technische Universität Wien (TU Wien)
www.tuwien.at
Kokichi Futatsugi: Lecture and Tutorial Series on "Introduction to Specification and Verification in CafeOBJ". Andere. ABSTRACT: After introductory ... Kokichi Futatsugi: Lecture and Tutorial Series on "Introduction to Specification and Verification in CafeOBJ". Andere. ABSTRACT: After introductory ...
sinaiaschoolInstitute of Mathematics of the Romanian Academy
www.imar.ro
Kokichi Futatsugi. 11:00, Break. 11:30, Models and Structuring of Specifications, Kokichi Futatsugi. 13:00, Lunch break. 15:00, Exercises. 16:30-17:30 Kokichi Futatsugi. 11:00, Break. 11:30, Models and Structuring of Specifications, Kokichi Futatsugi. 13:00, Lunch break. 15:00, Exercises. 16:30-17:30
LICS Newsletter 121
lics.siglog.org
Newsletter 121 March 10, ... Argentina Kokichi Futatsugi JAIST, Japan Paul Gastin LSV/ENS Cachan, France Susanne Graf VERIMAG, France Lindsay ...
Netzwerk-Profile
LinkedIn: Kokichi FUTATSUGI - LinkedIn
ユーザー登録をすると、Kokichi FUTATSUGIさんの詳細なプロフィールやネットワークなどを無料で見ることができます。ダイレクトメッセージで直接やりとりも可能です。
LinkedIn: kokichi futatsugi - 教授 - JAIST | LinkedIn
世界最大のプロフェッショナルコミュニティであるLinkedInでkokichi futatsugiさんのプロフィールを表示kokichiさんのプロフィールには1の求人が掲載されています。 LinkedIn ...
Kokichi Futatsugi | Formal Methods in Software Engineeringfmse.info.uaic.ro › member › kokichi-futatsugi
fmse.info.uaic.ro
Kokichi Futatsugi. Member Status: Collaborator. E-mail: fmse.info.uaic.ro. Publications On Automation of OTS/CafeOBJ Method · Kokichi Futatsugi and ...
Firmen-Mitarbeiter
CONTENTSSE@RWTH
www.se-rwth.de
Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu A meta-model semantics for structural constraints in UML. Stuart Kent, Stephen Gaito, Niall Ross. Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu A meta-model semantics for structural constraints in UML. Stuart Kent, Stephen Gaito, Niall Ross.
Formal Interoperability in Theorem ProvingUniversität Hamburg Informatik
www2.informatik.uni-hamburg.de
Also appeared in the book OBJ/CafeOBJ/Maude at Formal Methods '99, Kokichi Futatsugi, Joseph Goguen and Jose Meseguer (Eds.), Theta (Bucharest), September ... Also appeared in the book OBJ/CafeOBJ/Maude at Formal Methods '99, Kokichi Futatsugi, Joseph Goguen and Jose Meseguer (Eds.), Theta (Bucharest), September ...
Ausbildung
Specification, algebra, and software : essays dedicated to Kokichi...
searchworks.stanford.edu
Stanford Libraries' official online search tool for books, media, journals, databases, government documents and more.
SS > book reviews > Kokichi Futatsugi
www-users.cs.york.ac.uk
Kokichi Futatsugi. Google > Kokichi Futatsugi. author : Kokichi Futatsugi. Short works. Component-Based Algebraic Specification and Verification in CafeOBJ.
Projekte
MLton / [MLton-user] : Call for Participation
sourceforge.net
... and Manuel V. Hermenegildo Pre-indexed Terms for Prolog - Norbert Preining, Kokichi Futatsugi and Kazuhiro Ogata Liveness properties in ...
Bücher
Essays Dedicated to Kokichi Futatsugi" – gebraucht, antiquarisch ...Booklooker
www.booklooker.de
ISBN Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi – gebraucht, antiquarisch & neu kaufen ✓ Preisvergleich ... ISBN Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi – gebraucht, antiquarisch & neu kaufen ✓ Preisvergleich ...
AbeBooks: CafeOBJ Report: Language, Proof Techniques, and ...AbeBooks
Cafe Obj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. Razvan Diaconescu/ Kokichi Futatsugi. Cafe Obj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. Razvan Diaconescu/ Kokichi Futatsugi.
bokus.com: Kokichi Futatsugi - BöckerBokus.com
Köp böcker av Kokichi Futatsugi hos Bokus med fri frakt och snabb leverans. Här hittar du de senaste och mest populära böckerna till bra pris! Köp böcker av Kokichi Futatsugi hos Bokus med fri frakt och snabb leverans. Här hittar du de senaste och mest populära böckerna till bra pris!
FM'99 - Formal Methods: World Congress on Formal Methods in ...google.nl
books.google.nl
... Kokichi Futatsugi . Logical foundations of CafeOBJ Sub- mitted to publication . [ 7 ] Răzvan Diaconescu and Kokichi Futatsugi . CafeOBJ Report : The ...
Dokumente zum Namen
[ ] Advances of Proof Scores in CafeOBJarXiv
arxiv.org
von K Futatsugi · · Zitiert von: 1 — Submission history. From: Kokichi Futatsugi [view email] [v1] Mon, 20 Dec :50:53 UTC (61 KB) [v2] Mon, 10 Oct :54:53 UTC (72 KB) von K Futatsugi · · Zitiert von: 1 — Submission history. From: Kokichi Futatsugi [view email] [v1] Mon, 20 Dec :50:53 UTC (61 KB) [v2] Mon, 10 Oct :54:53 UTC (72 KB)
Kokichi Futatsugi - Home - ACM Digital LibraryACM Digital Library
dl.acm.org
Kokichi Futatsugi. loading. Skip slideshow. Most frequent co-Author. loading ... Kokichi Futatsugi. Japan Advanced Institute of Science and Technology, Nomi ... Kokichi Futatsugi. loading. Skip slideshow. Most frequent co-Author. loading ... Kokichi Futatsugi. Japan Advanced Institute of Science and Technology, Nomi ...
Proof Score Method in CafeOBJRoberto Di Cosmo
www.dicosmo.org
von K FUTATSUGI — Kokichi FUTATSUGI. Japan Advanced Institute of Science and Technology .jp www.jaist.ac.jp/~kokichi. If a specification is expressed as a set ... von K FUTATSUGI — Kokichi FUTATSUGI. Japan Advanced Institute of Science and Technology .jp www.jaist.ac.jp/~kokichi. If a specification is expressed as a set ...
Stepwise refinement process with modularityACM Digital Library
dl.acm.org
Kokichi Futatsugi. Kokichi Futatsugi. Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPAN. View Profile. Authors Info & Claims. Kokichi Futatsugi. Kokichi Futatsugi. Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPAN. View Profile. Authors Info & Claims.
Wissenschaftliche Veröffentlichungen
Advances of proof scores in CafeOBJScienceDirect.com
www.sciencedirect.com
von K Futatsugi · · Zitiert von: 3 — Kokichi Futatsugi: Conceptualization, Theories, Methodologies, Preparation of Examples, Writing and Revising Paper. Declaration of Competing ... von K Futatsugi · · Zitiert von: 3 — Kokichi Futatsugi: Conceptualization, Theories, Methodologies, Preparation of Examples, Writing and Revising Paper. Declaration of Competing ...
Essays Dedicated to Kokichi Futatsugi 2014DBLP
dblp.org
Shusaku Iida, José Meseguer, Kazuhiro Ogata: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Lecture Notes in Computer Science ... Shusaku Iida, José Meseguer, Kazuhiro Ogata: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Lecture Notes in Computer Science ...
[clean-list] WRLA 2012: Call for papersRadboud Universiteit
mailman.science.ru.nl
— ... Kokichi Futatsugi, JAIST, Japan - Alexander Knapp, Universitat Augsburg, Germany - Dorel Lucanu, Alexandru Ioan Cuza University, Rumania — ... Kokichi Futatsugi, JAIST, Japan - Alexander Knapp, Universitat Augsburg, Germany - Dorel Lucanu, Alexandru Ioan Cuza University, Rumania ...
An Overview of CafeOBJ - ScienceDirect
www.sciencedirect.com
Rǎzvan Diaconescu and Kokichi Futatsugi. Logical semantics for CafeOBJ. In Precise Semantics for Software Modeling Techniques, pages Proceedings of ...
Veröffentlichungen allgemein
Algebraic Specification of Distributed Systems based on ...Springer
link.springer.com
von S Iida · · Zitiert von: 7 — Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud, and José Meseguer. Principles of OBJ2. In Proceedings of the 12th ACM Symposium on Principles of ... von S Iida · · Zitiert von: 7 — Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud, and José Meseguer. Principles of OBJ2. In Proceedings of the 12th ACM Symposium on Principles of ...
Kokichi Futatsugi Research Center for Software Verification (RCSV ...NII Shonan Meeting
shonan.nii.ac.jp
Kokichi Futatsugi. Research Center for Software Verification (RCSV). Japan Advanced Institute of Science and Technology (JAIST). ➢ General interest. Kokichi Futatsugi. Research Center for Software Verification (RCSV). Japan Advanced Institute of Science and Technology (JAIST). ➢ General interest.
Specification, Algebra, and SoftwareSpringer
link.springer.com
von S Iida · Zitiert von: 4 — Dedicated to Kokichi Futatsugi, one of the founders of the field of algebraic specification and verification, and a leading researcher in formal methods and ... von S Iida · Zitiert von: 4 — Dedicated to Kokichi Futatsugi, one of the founders of the field of algebraic specification and verification, and a leading researcher in formal methods and ...
TRAM: An abstract machine for order-sorted conditional ...ResearchGate
www.researchgate.net
Kazuhiro Ogata · Kokichi Futatsugi. We have intensively used proof scores to theorem prove that equational theory specifications of ... Kazuhiro Ogata · Kokichi Futatsugi. We have intensively used proof scores to theorem prove that equational theory specifications of ...
Artikel & Meinungen
Presentation by Kokichi Futatsugi | CafeOBJ@NTUA
cafeobjntua.wordpress.com
http://www.youtube.com/watch?v=TAMYYA2qf38
CafeOBJ – There and back again
www.preining.info
This page collects work I am doing in algebraic specification and verification. The language used is CafeOBJ, which is a a new generation algebraic...
Tatami Homepage
cseweb.ucsd.edu
Kokichi Futatsugi of JAIST. See also the UCSD CafeOBJ homepage and the IPA ( Japan) homepage. Other participants in the CafeOBJ project included: ...
Sonstiges
Antonio Moreno-DelgadoGoogle Scholar
scholar.google.nl
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …On the Modular Specification of NFPs: A Case Study. A Moreno ... Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …On the Modular Specification of NFPs: A Case Study. A Moreno ...
ACG - Kokichi Futatsugi (Japan Advanced Institute of ...Centrum Wiskunde & Informatica (CWI)
event.cwi.nl
A new method for verification of transition systems is presented - part 2. Published: wo 30 juli By Kokichi Futatsugi (Japan Advanced Institute of ... A new method for verification of transition systems is presented - part 2. Published: wo 30 juli By Kokichi Futatsugi (Japan Advanced Institute of ...
Kokichi Futatsugi - AD Scientific Index 2024AD Scientific Index
www.adscientificindex.com
Kokichi Futatsugi AD Scientific Index ; Japan Advanced Institute of Science & Technology (211) ; Japan (32,312) ; Asia (489,174) ; World (1,616,032) ... Kokichi Futatsugi AD Scientific Index ; Japan Advanced Institute of Science & Technology (211) ; Japan (32,312) ; Asia (489,174) ; World (1,616,032) ...
List of books by author Kokichi FutatsugiThriftBooks
www.thriftbooks.com
Looking for books by Kokichi Futatsugi? See all books authored by Kokichi Futatsugi, including Object-Technologies for Advanced Software: Second JSSST ... Looking for books by Kokichi Futatsugi? See all books authored by Kokichi Futatsugi, including Object-Technologies for Advanced Software: Second JSSST ...
(D. Găină, K. Futatsugi, K. Ogata) Constructor-based LogicsJournal of Universal Computer Science (J.UCS)
www.jucs.org
Constructor-based Logics. Daniel Găină (Japan Advanced Institute of Science and Technology, Japan). Kokichi Futatsugi (Japan Advanced Institute of Science ... Constructor-based Logics. Daniel Găină (Japan Advanced Institute of Science and Technology, Japan). Kokichi Futatsugi (Japan Advanced Institute of Science ...
(Diaconescu R., Futatsugi K.) Behavioural Coherence in ...Institute of Mathematics of the Romanian Academy
www.imar.ro
... Kokichi Futatsugi (Japan Advanced Institute of Science and Technology) .jp. Abstract: We extend the classical hidden algebra formalism by a Kokichi Futatsugi (Japan Advanced Institute of Science and Technology) .jp. Abstract: We extend the classical hidden algebra formalism by a ...
Bertrand Meyer's technology+ blog ITMO Archivesbertrandmeyer.com
bertrandmeyer.com
By Kokichi Futatsugi from KAIST (Japan): Combining Inference and Search in Verification with CafeOBJ. By me: Automatic inference of frame conditions through ... By Kokichi Futatsugi from KAIST (Japan): Combining Inference and Search in Verification with CafeOBJ. By me: Automatic inference of frame conditions through ...
CafeOBJ: Logical Foundations and Methodologies. - SAVsav.sk
www.sav.sk
Razvan Diaconescu - Kokichi Futatsugi - Kazuhiro Ogata. Details: Year, pages: 2003, Keywords: CafeObj, algebraic specification, institutions ... Razvan Diaconescu - Kokichi Futatsugi - Kazuhiro Ogata. Details: Year, pages: 2003, Keywords: CafeObj, algebraic specification, institutions ...
Committees – 12th International Workshop on Rewriting ...Inria
project.inria.fr
Steering Committee: Kokichi Futatsugi, JAIST, Japan; Claude Kirchner, INRIA Research Center Bordeaux – Sud-Ouest, France; Narciso Martí-Oliet, ... Steering Committee: Kokichi Futatsugi, JAIST, Japan; Claude Kirchner, INRIA Research Center Bordeaux – Sud-Ouest, France; Narciso Martí-Oliet, ...
Compositionally Writing Proof Scores of Invariants in the ...Journal of Universal Computer Science (J.UCS)
www.jucs.org
Kokichi Futatsugi (Japan Advanced Institute of Science and Technology (JAIST), Japan). Abstract: Observational transition systems (OTSs) are state machines ... Kokichi Futatsugi (Japan Advanced Institute of Science and Technology (JAIST), Japan). Abstract: Observational transition systems (OTSs) are state machines ...
Constructor-based logicsElsevier
kyushu-u.elsevierpure.com
von D Gǎinǎ · · Zitiert von: 25 — Constructor-based logics. Daniel Gǎinǎ, Kokichi Futatsugi, Kazuhiro Ogata. Research output: Contribution to journal › Article › peer-review. 17 Citations ... von D Gǎinǎ · · Zitiert von: 25 — Constructor-based logics. Daniel Gǎinǎ, Kokichi Futatsugi, Kazuhiro Ogata. Research output: Contribution to journal › Article › peer-review. 17 Citations ...
Details zu: Specification, algebra, and software essays ...Max-Planck-Gesellschaft
infomath-bib.koha.mpg.de
Specification, algebra, and software essays dedicated to Kokichi Futatsugi Shusaku Iida ... (eds.) Mitwirkende(r):. Iida, Shusaku [Hrsg.] Futatsugi, ... Specification, algebra, and software essays dedicated to Kokichi Futatsugi Shusaku Iida ... (eds.) Mitwirkende(r):. Iida, Shusaku [Hrsg.] Futatsugi, ...
Formal Specification of Complex Reasoning SystemsVrije Universiteit Amsterdam
www.few.vu.nl
Ataru T. Nakagawa, Toshie Sakakihara, Kokichi Futatsugi Algebraic Specification of Reasoning Systems Carles Sierra, Lluis Ataru T. Nakagawa, Toshie Sakakihara, Kokichi Futatsugi Algebraic Specification of Reasoning Systems Carles Sierra, Lluis ...
Fostering Proof Scores in CafeOBJOUCI
ouci.dntb.gov.ua
Kokichi Futatsugi. https://doi.org _14 · Full text , Lecture Notes in Computer Science Logic, Rewriting, and Concurrency, p Kokichi Futatsugi. https://doi.org _14 · Full text , Lecture Notes in Computer Science Logic, Rewriting, and Concurrency, p
Hutatsugi Koukichi ( ) - KAKEN — Researchersnii.ac.jp
nrid.nii.ac.jp
Kokichi Futatsugi. Journal Title. Software, Services, and Systems, LNCS, Springer. Volume: Pages: DOI _13. ISBN. Kokichi Futatsugi. Journal Title. Software, Services, and Systems, LNCS, Springer. Volume: Pages: DOI _13. ISBN.
Kokichi Futatsugijaist.ac.jp
www.jaist.ac.jp
Kokichi Futatsugi. Professor Futatsugi assumed a concurrent position at JAIST in April while he was working mainly for ETL (Electrotechnical Lab.) as ... Kokichi Futatsugi. Professor Futatsugi assumed a concurrent position at JAIST in April while he was working mainly for ETL (Electrotechnical Lab.) as ...
Maude Manual -- AcknowledgmentsThe Maude System
maude.cs.uiuc.edu
... Kokichi Futatsugi, Claude and Hélène Kirchner, Alexander Knapp, Ulrike Lechner, Christian Lengauer, Ugo Montanari, Pierre-Etienne Moreau, Uri Nodelman Kokichi Futatsugi, Claude and Hélène Kirchner, Alexander Knapp, Ulrike Lechner, Christian Lengauer, Ugo Montanari, Pierre-Etienne Moreau, Uri Nodelman ...
Mechanically supporting case analysis for verification of ...Emerald Insight
www.emerald.com
von T Seino · · Zitiert von: 3 — Mechanically supporting case analysis for verification of distributed systems - Author: Takahiro Seino, Kazuhiro Ogato, Kokichi Futatsugi. von T Seino · · Zitiert von: 3 — Mechanically supporting case analysis for verification of distributed systems - Author: Takahiro Seino, Kazuhiro Ogato, Kokichi Futatsugi.
Object technologies for advanced software - Kokichi FutatsugiBookbot
bookbot.de
Autoren. Kokichi Futatsugi. Parameter. ISBN: Verlag: Springer. Kategorien. Informatik & Programmierung · Lecture notes in computer science. Autoren. Kokichi Futatsugi. Parameter. ISBN: Verlag: Springer. Kategorien. Informatik & Programmierung · Lecture notes in computer science.
Objective-C / Jiva DeVoe. - Record detailsEBSCO Information Services
txst.locate.ebsco.com
E-Book. CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification / Răzvan Diaconescu, Kokichi Futatsugi. E-Book. CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification / Răzvan Diaconescu, Kokichi Futatsugi.
sortiert nach Relevanz / Datum