News
Prof. Dr. Kokichi Futatsugi: Lecture and Tutorial Series on " ...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 ...
Foundations of Verification with Proof Scores in CafeOBJTechnische 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 ( ...
News Archive - Compilers and Languages - TU WienTU Wien
www.complang.tuwien.ac.at
Kokichi Futatsugi - Introduction to specification and verification in CafeOBJ. Dates: Wednesday, July 18, 2012; July 25, 2012; August 01, 2012; August Kokichi Futatsugi - Introduction to specification and verification in CafeOBJ. Dates: Wednesday, July 18, 2012; July 25, 2012; August 01, 2012; August
TalkCafeOBJ
cafeobj.org
Lecturer Kokichi Futatsugi JAIST, Research Center for Software Verification, Japan Place/Time JAIST IS school seminar room 9F (Thu) 15:00 to Lecturer Kokichi Futatsugi JAIST, Research Center for Software Verification, Japan Place/Time JAIST IS school seminar room 9F (Thu) 15:00 to
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
„Specification, Algebra, and Software Essays Dedicated to ...Booklooker
www.booklooker.de
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi – Buch gebraucht kaufen · Varia · Verwandte Artikel · Angebotene Zahlungsarten · Ihre ... Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi – Buch gebraucht kaufen · Varia · Verwandte Artikel · Angebotene Zahlungsarten · Ihre ,60 €
bokus.com: Futatsugi Kokichi Futatsugi - BöckerBokus.com
Köp böcker av Futatsugi 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 Futatsugi 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!
Kokichi Futatsugi, Satoshi Matsuoka: Object-Technologies for ...Buchhandlung Hugendubel
www.hugendubel.de
Object-Technologies for Advanced Software, Buch (kartoniert) von Kokichi Futatsugi, Satoshi Matsuoka bei hugendubel.de. Online bestellen oder in der Filiale ... Object-Technologies for Advanced Software, Buch (kartoniert) von Kokichi Futatsugi, Satoshi Matsuoka bei hugendubel.de. Online bestellen oder in der Filiale ...
CAFE: An Industrial-Strength Algebraic Formal Methodgoogle.de
books.google.de
... Kokichi Futatsugi. Logical foundations of CafeCB.J Submitted to publication. Răzvan Diaconescu and Kokichi Futatsugi. Logical semantics for CafeOBJ ...
Dokumente zum Namen
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 ...
[ ] Advances of Proof Scores in CafeOBJarXiv
arxiv.org
von K Futatsugi · — 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 · — 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)
Formal support for e-government system design with ...ACM Digital Library
dl.acm.org
— Formal support for e-government system design with transparency consideration · Xiaoyi Chen · Weiqiang Kong · Kokichi Futatsugi — Formal support for e-government system design with transparency consideration · Xiaoyi Chen · Weiqiang Kong · Kokichi Futatsugi.
John Rushby: Recent Papers - Computer Science LaboratoryComputer Science Laboratory
www.csl.sri.com
John Rushby. Presented at SAS 2014: Specification, Algebra, and Software, A Festschrift Symposium in Honor of Kokichi Futatsugi. Proceedings published as ... John Rushby. Presented at SAS 2014: Specification, Algebra, and Software, A Festschrift Symposium in Honor of Kokichi Futatsugi. Proceedings published as ...
Wissenschaftliche Veröffentlichungen
The 3rd International Workshop on Rewriting Logic and its ...ScienceDirect.com
www.sciencedirect.com
The 3rd International Workshop on Rewriting Logic and its Applications September • Kanzawa, Japan. Kokichi Futatsugi. Edited by Kokichi Futatsugi. The 3rd International Workshop on Rewriting Logic and its Applications September • Kanzawa, Japan. Kokichi Futatsugi. Edited by Kokichi Futatsugi.
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 ...
Publications Search - DetailsUniversität Bremen
www.informatik.uni-bremen.de
— Essays Dedicated to Kokichi Futatsugi. Volume: Page(s):, 66 – 91. Series: Lecture Notes in Computer Science. Year published: — Essays Dedicated to Kokichi Futatsugi. Volume: Page(s):, 66 – 91. Series: Lecture Notes in Computer Science. Year published:
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: 6 — Kokichi Futatsugi Trends in formal specification methods based on algebraic specification techniques — from abstract data types to software processes: A ... von S Iida · · Zitiert von: 6 — Kokichi Futatsugi Trends in formal specification methods based on algebraic specification techniques — from abstract data types to software processes: A ...
Essays Dedicated to Kokichi Futatsugi - AlgebraResearchGate
www.researchgate.net
Request PDF | On Jan 1, 2014, Shusaku Iida and others published Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi | Find, read and ... Request PDF | On Jan 1, 2014, Shusaku Iida and others published Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi | Find, read and ...
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 ...
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.
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
(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 ...
Behavioural Coherence in Object-Oriented Algebraic ...Journal of Universal Computer Science (J.UCS)
www.jucs.org
Kokichi Futatsugi (Japan Advanced Institute of Science and Technology, Japan). Abstract: We extend the classical hidden algebra formalism by a re-arrangement ... Kokichi Futatsugi (Japan Advanced Institute of Science and Technology, Japan). Abstract: We extend the classical hidden algebra formalism by a re-arrangement ...
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, ...
ICSE Steering CommitteeICSE conference
www.icse-conferences.org
Kokichi Futatsugi .jp, Japan Advanced Institute of Science & Technology. David Garlan .edu, Carnegie Mellon Univeristy. Julie Goetz Kokichi Futatsugi .jp, Japan Advanced Institute of Science & Technology. David Garlan .edu, Carnegie Mellon Univeristy. Julie Goetz
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 ...
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 (1995)AI Chat for scientific PDFs | SciSpace
typeset.io
Object Technologies for Advanced Software. Kokichi Futatsugi, Satoshi Matsuoka. 31 Dec About: The article was published on It has received ... Object Technologies for Advanced Software. Kokichi Futatsugi, Satoshi Matsuoka. 31 Dec About: The article was published on It has received ...
Object-Technologies for Advanced Software Second ...The University of Edinburgh
discovered.ed.ac.uk
Proceedings / edited by Kokichi Futatsugi, Satoshi Matsuoka. ; International Symposium on Object Technologies for Advanced Software Corporate Author ... Proceedings / edited by Kokichi Futatsugi, Satoshi Matsuoka. ; International Symposium on Object Technologies for Advanced Software Corporate Author ...
PRINCIPLES OF OBJ2. - Illinois ExpertsUniversity of Illinois Urbana-Champaign
experts.illinois.edu
von K Futatsugi · · Zitiert von: 823 — PRINCIPLES OF OBJ2. Kokichi Futatsugi, Joseph A. Goguen, Jean Pierre Jouannaud, Jose Meseguer. Research output: Chapter in Book/Report/Conference proceeding ... von K Futatsugi · · Zitiert von: 823 — PRINCIPLES OF OBJ2. Kokichi Futatsugi, Joseph A. Goguen, Jean Pierre Jouannaud, Jose Meseguer. Research output: Chapter in Book/Report/Conference proceeding ...
Propagating changes in algebraic specificationsIET Digital Library
digital-library.theiet.org
von AT Nakagawa · · Zitiert von: 2 — Nakagawa 1 and Kokichi Futatsugi 2. View affiliations; Affiliations: 1: SRA Science Lab., Tokyo, Japan 2: Electrotechnical Laboratory of Japan, Tsukuba, Japan. von AT Nakagawa · · Zitiert von: 2 — Nakagawa 1 and Kokichi Futatsugi 2. View affiliations; Affiliations: 1: SRA Science Lab., Tokyo, Japan 2: Electrotechnical Laboratory of Japan, Tsukuba, Japan.
Publicationsascens-ist.eu
ascens-ist.eu
... Kokichi Futatsugi , volume of Lecture Notes in Computer Science , pages 188–211. Springer, (doi: ). detailsbibtexdelete Kokichi Futatsugi , volume of Lecture Notes in Computer Science , pages 188–211. Springer, (doi: ). detailsbibtexdelete ...
SCIENCE AND TECHNOLOGY PUBLICATIONSSciTePress - SCIENCE AND TECHNOLOGY PUBLICATIONS
www.scitepress.org
von J Xiang · · Zitiert von: 3 — Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata Abstract. A common problem to current DRM-based services that usually offer streaming ... von J Xiang · · Zitiert von: 3 — Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata Abstract. A common problem to current DRM-based services that usually offer streaming ...
Semantic web languages - Towards an institutional ...Monash University
research.monash.edu
von D Lucanu · · Zitiert von: 22 — Kokichi Futatsugi, Jean-Pierre Jouannaud, Jose Meseguer. Place of Publication, Berlin Germany. Publisher, Springer-Verlag London Ltd. Pages, Number of ... von D Lucanu · · Zitiert von: 22 — Kokichi Futatsugi, Jean-Pierre Jouannaud, Jose Meseguer. Place of Publication, Berlin Germany. Publisher, Springer-Verlag London Ltd. Pages, Number of ...
Stability of termination and sufficient-completeness under ...Elsevier
kyushu-u.elsevierpure.com
Stability of termination and sufficient-completeness under pushouts via amalgamation. Daniel Găină, Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi. Stability of termination and sufficient-completeness under pushouts via amalgamation. Daniel Găină, Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi.
The Semantics of Datalog for the Evidential Tool Bus ...BibSonomy
www.bibsonomy.org
Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014); year: 2014; publisher: Springer; series: LNCS ... Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014); year: 2014; publisher: Springer; series: LNCS ...
an automatic invariant prover of behavioral specificationsWorld Scientific Publishing
www.worldscientific.com
von M NAKANO · · Zitiert von: 21 — MASAHIRO NAKANO, · KAZUHIRO OGATA, · MASAKI NAKAMURA, and · KOKICHI FUTATSUGI. von M NAKANO · · Zitiert von: 21 — MASAHIRO NAKANO, · KAZUHIRO OGATA, · MASAKI NAKAMURA, and · KOKICHI FUTATSUGI.
essays dedicated to Kokichi FutatsugiNortheastern University
onesearch.library.northeastern.edu
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal ... This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal ...
Analysis of membership sharing problem in digital ...inderscienceonline.com
www.inderscienceonline.com
— Jianwen Xiang, · Jing Tian, · Kazuhiro Ogata, · Kokichi Futatsugi and · Akira Mori — Jianwen Xiang, · Jing Tian, · Kazuhiro Ogata, · Kokichi Futatsugi and · Akira Mori.
Foundations of System Specification | Kokichi FutatsugiIFIP WG 1.3
ifipwg13.cs.ovgu.de
— Prof. Dr. Kokichi Futatsugi. Graduate School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Japan — Prof. Dr. Kokichi Futatsugi. Graduate School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Japan
sortiert nach Relevanz / Datum