Kokichi Futatsugi und Diaconescu - Info zur Person

(1 - 13 von 21

)

LICS Newsletter 66ACM/IEEE Symposium on Logic in Computer Science

lics.siglog.org

— David Basin, Razvan Diaconescu, Kokichi Futatsugi (Chair), Jean-Pierre Jouannaud, Helene Kirchner, Narciso Marti-Oliet, Jose Meseguer, Ugo — David Basin, Razvan Diaconescu, Kokichi Futatsugi (Chair), Jean-Pierre Jouannaud, Helene Kirchner, Narciso Marti-Oliet, Jose Meseguer, Ugo ...

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.

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.

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 ...

AbeBooks: razvan diaconescu kokichi futatsugi - AbeBooks

CafeOBJ Report : The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification von Diaconescu, Razvan, Futatsugi, Kokichi und...

: Cafeobj Report: The Language, Proof Techniques, and...

www.abebooks.com

Razvan Diaconescu; Kokichi Futatsugi Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification ...

Documents

jot.theta.ro

Logical Semantics of CafeOBJ: by Razvan Diaconescu and Kokichi Futatsugi. Research Report, IS-RR S,JAIST, New revised version submitted to ...

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 ...

(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 ...

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 ...

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.

Personeltheta.ro

jot.theta.ro

Personel. Kokichi Futatsugi, JAIST, Japan (leader of the CafeOBJ project); Razvan Diaconescu, IMAR, Romania (semantics and definition); Kazuhiro Ogata, ... Personel. Kokichi Futatsugi, JAIST, Japan (leader of the CafeOBJ project); Razvan Diaconescu, IMAR, Romania (semantics and definition); Kazuhiro Ogata, ...

CiteSeerX — CafeOBJ Jewels

citeseerx.ist.psu.edu

... Errors · Monitor Changes. by Razvan Diaconescu , Kokichi Futatsugi , Shusaku Iida , Kokichi Futatsugi, and Razvan Diaconescu. Component-based ...

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

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Kokichi Futatsugi und Diaconescu Person-Info