Keyword : formal method

Change Impact Analysis for Refinement-Based Formal Specification
Shinnosuke SARUWATARI Fuyuki ISHIKAWA Tsutomu KOBAYASHI Shinichi HONIDEN 
Publication:   
Publication Date: 2019/08/01
Vol. E102-D  No. 8 ; pp. 1462-1477
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: 
Keyword: 
formal method, formal specification, impact analysis, refinement, event-B, modification support, 
 Summary | Full Text:PDF(1.2MB)
A Reactive Management System for Reliable Power Supply in a Building Microgrid with Vehicle-to-Grid Interaction
Shoko KIMURA Yoshihiko SUSUKI Atsushi ISHIGAME 
Publication:   
Publication Date: 2018/08/01
Vol. E101-A  No. 8 ; pp. 1172-1184
Type of Manuscript:  PAPER
Category: Systems and Control
Keyword: 
energy management system, electric vehicle, building microgrid, reactive system, formal method, linear temporal logic, 
 Summary | Full Text:PDF(1.8MB)
Formal Analysis of E-Commerce Protocols
Mauricio PAPA Oliver BREMER John HALE Sujeet SHENOI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/10/01
Vol. E84-D  No. 10 ; pp. 1313-1323
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
Category: Electronic Commerce
Keyword: 
formal method, cryptography, e-commerce, 
 Summary | Full Text:PDF(747.7KB)
Specification and Verification of a Single-Track Railroad Signaling in CafeOBJ
Takahiro SEINO Kazuhiro OGATA Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/06/01
Vol. E84-A  No. 6 ; pp. 1471-1478
Type of Manuscript:  Special Section PAPER (Special Section on Papers Selected from 2000 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2000))
Category: 
Keyword: 
CafeOBJ, formal method, railroad signaling, 
 Summary | Full Text:PDF(413KB)
Identifying the Structure of Business Processes for Comprehensive Enterprise Modeling
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/02/01
Vol. E84-D  No. 2 ; pp. 239-248
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
formal method, colored Petri nets, business process modeling, rough set theory, requirements engineering, 
 Summary | Full Text:PDF(460.6KB)
Knowledge-Based Software Composition Using Rough Set Theory
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4 ; pp. 691-700
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
formal method, colored Petri nets, software composition, rough set theory, knowledge representation, 
 Summary | Full Text:PDF(589.6KB)
Evaluating Adaptability of Software Systems Based on Algebraic Equivalency
Yoshiyuki SHINKAWA Masao J. MATSUMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/12/25
Vol. E82-D  No. 12 ; pp. 1524-1534
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
formal method, colored Petri nets, software adaptability, process algebra, business process modeling, 
 Summary | Full Text:PDF(372.6KB)
Software Specification in Business Terminology
Jun GINBAYASHI Keiji HASHIMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/09/25
Vol. E75-D  No. 5 ; pp. 648-656
Type of Manuscript:  Special Section PAPER (Special Issue on Software)
Category: 
Keyword: 
software engineering, operational specification, business application, formal method, 
 Summary | Full Text:PDF(717.5KB)