Keyword : algebraic specification

Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method
Masaki NAKAMURA Shuki HIGASHI Kazutoshi SAKAKIBARA Kazuhiro OGATA 
Publication:   
Publication Date: 2022/05/01
Vol. E105-A  No. 5 ; pp. 823-832
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
multitask real-time system, algebraic specification, observational transition system, proof score method, Fischer's real-time mutual exclusion protocol, 
 Summary | Full Text:PDF
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 translation, verification, algebraic specification, behavioral specification, rewirte specification, CafeOBJ, Maude, 
 Summary | Full Text:PDF
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 computing, algebraic specification, formal verification, observational transition systems, CafeOBJ, MobileOBJ, 
 Summary | Full Text:PDF
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 specification, simply-typed term rewriting system, primitive inductive theorem, inductive theorem, implicit induction method, 
 Summary | Full Text:PDF
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 specification, algebraic specification, data type, 
 Summary | Full Text:PDF
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 system, termination, modularity, algebraic specification, automated reasoning, 
 Summary | Full Text:PDF
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 specification, algebraic specification, communication protocol, translation, 
 Summary | Full Text:PDF
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 nets, state transition didgram, data flow diagram, algebraic specification, temporal logic, object-oriented analysis and design, CASE, 
 Summary | Full Text:PDF