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 methodformal specificationimpact analysisrefinementevent-Bmodification 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 systemelectric vehiclebuilding microgridreactive systemformal methodlinear 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 methodcryptographye-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: 
CafeOBJformal methodrailroad 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 methodcolored Petri netsbusiness process modelingrough set theoryrequirements 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 methodcolored Petri netssoftware compositionrough set theoryknowledge 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 methodcolored Petri netssoftware adaptabilityprocess algebrabusiness 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 engineeringoperational specificationbusiness applicationformal method
 Summary | Full Text:PDF(717.5KB)