Keyword : algebraic specification


A Specification Translation from Behavioral Specifications to Rewrite Specifications
Masaki NAKAMURA Weiqiang KONG Kazuhiro OGATA Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/05/01
Vol. E91-D  No. 5 ; pp. 1492-1503
Type of Manuscript:  PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
specification translationverificationalgebraic specificationbehavioral specificationrewirte specificationCafeOBJMaude
 Summary | Full Text:PDF(306.5KB)

An Algebraic Framework for Modeling of Mobile Systems
Iakovos OURANOS Petros STEFANEAS Panayiotis FRANGOS 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/09/01
Vol. E90-A  No. 9 ; pp. 1986-1999
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
mobile computingalgebraic specificationformal verificationobservational transition systemsCafeOBJMobileOBJ
 Summary | Full Text:PDF(312KB)

Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting
Keiichirou KUSAKARI Masahiko SAKAI Toshiki SAKABE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/12/01
Vol. E88-D  No. 12 ; pp. 2715-2726
Type of Manuscript:  PAPER
Category: Computation and Computational Models
Keyword: 
algebraic specificationsimply-typed term rewriting systemprimitive inductive theoreminductive theoremimplicit induction method
 Summary | Full Text:PDF(261.8KB)

Assignment of Data Types to Words in a Natural Language Specification
Yasunori ISHIHARA Atsushi OHSAKI Hiroyuki SEKI Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/06/25
Vol. E79-D  No. 6 ; pp. 820-828
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
natural language specificationalgebraic specificationdata type
 Summary | Full Text:PDF(777.8KB)

Decomposable Termination of Composable Term Rewriting Systems
Masahito KURIHARA Azuma OHUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/04/25
Vol. E78-D  No. 4 ; pp. 314-320
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
term rewriting systemterminationmodularityalgebraic specificationautomated reasoning
 Summary | Full Text:PDF(580.9KB)

A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies
Yasunori ISHIHARA Hiroyuki SEKI Tadao KASAMI Jun SHIMABUKURO Kazuhiko OKAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/12/25
Vol. E76-D  No. 12 ; pp. 1479-1489
Type of Manuscript:  PAPER
Category: Automaton, Language and Theory of Computing
Keyword: 
natural language specificationalgebraic specificationcommunication protocoltranslation
 Summary | Full Text:PDF(951.3KB)

Net-Oriented Analysis and Design
Shinichi HONIDEN Naoshi UCHIHIRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10 ; pp. 1317-1325
Type of Manuscript:  INVITED PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
petri netsstate transition didgramdata flow diagramalgebraic specificationtemporal logicobject-oriented analysis and designCASE
 Summary | Full Text:PDF(709.8KB)