Keyword : formal specification


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

A Formal Modeling Tool for Exploratory Modeling in Software Development
Tomohiro ODA Keijiro ARAKI Peter GORM LARSEN 
Publication:   
Publication Date: 2017/06/01
Vol. E100-D  No. 6 ; pp. 1210-1217
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal tools
Keyword: 
lightweight formal methodsformal specificationVDMintegrated development environment
 Summary | Full Text:PDF

A Framework for Verifying the Conformance of Design to Its Formal Specifications
Dieu-Huong VU Yuki CHIBA Kenro YATAKE Toshiaki AOKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/06/01
Vol. E98-D  No. 6 ; pp. 1137-1149
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Verification
Keyword: 
formal specificationdesign modelformal verificationmodel checkingsimulation relation
 Summary | Full Text:PDF

Computer-Aided Formalization of Requirements Based on Patterns
Xi WANG Shaoying LIU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/02/01
Vol. E97-D  No. 2 ; pp. 198-212
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
formal specificationpattern systemHFSMcomputer-aided
 Summary | Full Text:PDF

Using Mobile TLA as a Logic for Dynamic I/O Automata
Tatjana KAPUS 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/08/01
Vol. E92-D  No. 8 ; pp. 1515-1522
Type of Manuscript:  PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
dynamic input/output automatamobile agent systemformal specificationspatio-temporal logic
 Summary | Full Text:PDF

Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method
Masaki NAKAMURA Takahiro SEINO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5 ; pp. 1012-1021
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Software Testing
Keyword: 
formal specificationproof scoresoftware testingOTSCafeOBJ
 Summary | Full Text:PDF

Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata
Yosuke MUTSUDA Takaaki KATO Satoshi YAMANE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11 ; pp. 2972-2981
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
verificationperformance evaluationformal specificationprobabilistic hybrid automatareachabilitysymbolic methods
 Summary | Full Text:PDF

On Optimization in Composition of Concurrent Formal Specifications
Bhed Bahadur BISTA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11 ; pp. 2905-2908
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent Systems and Hybrid Systems)
Category: 
Keyword: 
formal specificationFDTLOTOScombining processesintermediate processes
 Summary | Full Text:PDF

Design Pattern Specification Language: Definition and Application
Woochang SHIN Chisu WU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/06/01
Vol. E86-D  No. 6 ; pp. 1011-1023
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
design patternformal specificationDPSLUMLtool
 Summary | Full Text:PDF

Specification and Analysis of the Contract Net Protocol Based on State Machine Model
Goichi ITABASHI Yoshiaki HARAMOTO Yasushi KATO Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11 ; pp. 2447-2452
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
multi-agent systemcontract net protocolformal specificationfinite state model
 Summary | Full Text:PDF

Verification and Refinement for System Requirements
Kukhwan SONG Atushi TOGASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1468-1478
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
system requirementformal specificationstate transitionPetri Netverificationrefinement
 Summary | Full Text:PDF

Process Composition and Interleave Reduction in Parallel Process Specification
Makoto TSUJIGADO Teruo HIKITA Jun GINBAYASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/01/25
Vol. E78-D  No. 1 ; pp. 27-36
Type of Manuscript:  PAPER
Category: Software Systems
Keyword: 
formal specificationinterleave reductionparallel processprocess composition
 Summary | Full Text:PDF

PDM: Petri Net Based Development Methodology for Distributed Systems
Mikio AOYAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10 ; pp. 1567-1579
Type of Manuscript:  INVITED PAPER (Special Section on Nets-Oriented Software Specification and Design)
Category: 
Keyword: 
Petri netdistributed systemsconcurrent systemsformal specificationdesign methodologyverification and validationperfomance evaluationand computer-aided software engineering
 Summary | Full Text:PDF

On the Specification for VLSI Systolic Arrays
Fuyau LIN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/04/25
Vol. E76-A  No. 4 ; pp. 496-506
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
formal specificationZsystolic architecturesverification
 Summary | Full Text:PDF

A Petri Net Based Platform for Developing Communication Software Systems
Mikio AOYAMA Carl K. CHANG 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10 ; pp. 1348-1359
Type of Manuscript:  Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
Petri netcommunication softwareformal specificationdevelopment support environmentdistributed systemreactive systemand verification
 Summary | Full Text:PDF