Keyword : behavioral 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)

A Behavioral Specification of Imperative Programming Languages
Masaki NAKAMURA Masahiro WATANABE Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/06/01
Vol. E89-A  No. 6 ; pp. 1558-1565
Type of Manuscript:  Special Section PAPER (Special Section on Papers Selected from 2005 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2005))
Category: 
Keyword: 
semantics of imperative programsbehavioral specificationCafeOBJ
 Summary | Full Text:PDF(196.7KB)