Keyword : specification


Standardization & Application Expansion Activity of Removable HDD (iVDR)
Atsushi SAITOU Fumio KUGIYA Naoki KODAMA 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 2013/12/01
Vol. E96-C  No. 12 ; pp. 1508-1514
Type of Manuscript:  Special Section PAPER (Special Section on Advanced Elementary Technologies for Information Storage)
Category: 
Keyword: 
removable HDDiVDRspecificationiVDR Consortiuminternational standardization
 Summary | Full Text:PDF

Proof Score Approach to Verification of Liveness Properties
Kazuhiro OGATA Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/12/01
Vol. E91-D  No. 12 ; pp. 2804-2817
Type of Manuscript:  PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
CafeOBJequationsobservational transition systems (OTSs)rewritingspecification
 Summary | Full Text:PDF

Deriving Tool Specifications from User Actions
Christopher J. HOGGER Frank R. KRIWACZEK 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/04/01
Vol. E87-D  No. 4 ; pp. 831-837
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Requirement Engineering
Keyword: 
portalspecificationuser actionwizardrule-base
 Summary | Full Text:PDF

Formal Design Verification of Combinational Circuits Specified by Recurrence Equations
Hiroyuki OCHI Shuzo YAJIMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/10/25
Vol. E79-D  No. 10 ; pp. 1431-1435
Type of Manuscript:  Special Section PAPER (Special Issue on Synthesis and Verification of Hardware Design)
Category: Design Verification
Keyword: 
formal design verificationbinary decision diagramarithmetic circuitsspecificationrecurrence equations
 Summary | Full Text:PDF

Reverse Engineering in Communication Protocol Design
Kenji OTOMO Noriyasu ARAKAWA Yutaka HIRAKAWA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1996/06/25
Vol. E79-B  No. 6 ; pp. 842-848
Type of Manuscript:  PAPER
Category: Communication Software
Keyword: 
communications softwaremessage sequence chartreverse engineeringreachability analysisspecification
 Summary | Full Text:PDF

A Flexible Verifier of Temporal Properties for LOTOS
Kaoru TAKAHASHI Yoshiaki TOKITA Takehisa TANAKA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/01/25
Vol. E79-D  No. 1 ; pp. 8-21
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
specificationverificationprotocolLOTOSsoftware tool
 Summary | Full Text:PDF

A New Specification Environment for Communication Systems Based on Specification Reuse by the Application of Case Based Reasoning
Ching-Fa HUANG Susumu YOSHIMURA Takuji KARAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/10/25
Vol. E78-D  No. 10 ; pp. 1269-1281
Type of Manuscript:  PAPER
Category: Computer Networks
Keyword: 
specificationCBRreuseuser requirement
 Summary | Full Text:PDF

State Diagram Matrix for Hierarchical Specification of Reactive System
Tomohiro MURATA Kenzou KURIHARA Ayako ASHIDA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10 ; pp. 1591-1597
Type of Manuscript:  Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design)
Category: 
Keyword: 
state-transitionsequential machine modelstate abstractionreactive systemspecification
 Summary | Full Text:PDF

An Algebraic Specification of a Daisy Chain Arbiter
Yu Rong HOU Atsushi OHNISHI Yuji SUGIYAMA Takuji OKAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/11/25
Vol. E75-D  No. 6 ; pp. 778-784
Type of Manuscript:  Special Section PAPER (Special Issue on Pacific Rim International Symposium on Fault Tolerant Systems)
Category: 
Keyword: 
specificationalgebraic methodasynchronous circuitsarbiter
 Summary | Full Text:PDF

Simplification to Enhance Comprehensibility of Communications Software Descriptions Written in a Procedural Language
Yasushi WAKAHARA Atsushi ITO Eiji UTSUNOMIYA Fumio NITTA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 942-948
Type of Manuscript:  INVITED PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
communication softwaresimplificationcomprehensibilityspecificationSDL
 Summary | Full Text:PDF

Formal Specification and Verification of ISDN Services in LOTOS
Keiichirou YAMANO Dusan JOKANOVIC Tsuyoshi ANDO Masataka OHTA Kaoru TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/08/25
Vol. E75-B  No. 8 ; pp. 715-722
Type of Manuscript:  Special Section PAPER (Special Issue on the 4th Japan-Korea Joint Conference on Communications, Networks, Switching Systems and Satellite Communications (4th JC-CNSS))
Category: 
Keyword: 
LOTOSspecificationverificationswitching software
 Summary | Full Text:PDF