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 ...
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 ...
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 ...
Cafe - An Industrial-Strength Algebraic Formal Method (Hardcover):...
www.loot.co.za
Cafe - An Industrial-Strength Algebraic Formal Method (Hardcover) / Author: Kokichi Futatsugi / Author: A.T Nakagawa / Author: T Tamai ;
Shusaku Iida · Specification, Algebra, and Software: Essays iMusicimusic.de › Bücher › Shusaku Iida
imusic.de
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and ...
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 ...
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.
Publications
www.db.informatik.uni-bremen.de
In Kokichi Futatsugi and Shaoying Liu, editors, Proc. 14th Int. Conf. Formal Engineering Methods (ICFEM 2012), pages Springer, Berlin, LNCS 7635, (16 pages, PDF: 342kb via HTTP) [Cabot and Gogolla, 2012] Jordi Cabot and Martin Gogolla In ...
dblp: Formal Methods for Open Object-Based Distributed Systems 2002
dblp.dagstuhl.de
Bibliographic content of Formal Methods for Open Object-Based Distributed Systems 2002
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 ...
Specification, Algebra, and Software - Essays Dedicated to Kokichi...
link.springer.com
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods...
(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 ...
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 ...
Kokichi FUTATSUGI - Google Scholar
scholar.google.com
Professor of Computer Science, JAIST - Cited by - Formal Methods - Software Engineering - System Verification
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 ...
A Church-Rosser Checker Tool for Maude Equational Specifications
maude.cs.uiuc.edu
In Cafe: An Industrial-Strength Algebraic Formal Method, Kokichi Futatsugi, Ataru Nakagawa, and Tetsuo Tamai, editors. Elsevier, Building Equational ...
Algebraic approaches to formal analysis of the mondex electronic...
kyushu-u.pure.elsevier.com
Algebraic approaches to formal analysis of the mondex electronic purse system. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. Research output: Chapter in ...
Formal analysis of workflow systems with security considerationskyushu-u.pure.elsevier.com › publications › for...
kyushu-u.pure.elsevier.com
Formal analysis of workflow systems with security considerations. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. R&D Center for Smart Mobility. Research ...
Foundations of formal software development
homepages.inf.ed.ac.uk
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer LNCS 8373, (2014). D. Sannella and A. Tarlecki. Property-oriented ...
Specification, Algebra, and Software : Essays Dedicated to Kokichi...
link.umsl.edu
Summary: This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal ...
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 ...
Alle Infos zum Namen "Kokichi Futatsugi"
Verwandte Suchanfragen zu Kokichi Futatsugi
José Meseguer Jose Fiadeiro |
Personen Vorname "Kokichi" (4) Name "Futatsugi" (1) |
sortiert nach Relevanz / Datum