IEICE Trans

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 HDD, iVDR, specification, iVDR Consortium, international standardization,
	Summary \| Full Text:PDF(2.8MB)

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: CafeOBJ, equations, observational transition systems (OTSs), rewriting, specification,
	Summary \| Full Text:PDF(261.7KB)

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: portal, specification, user action, wizard, rule-base,
	Summary \| Full Text:PDF(215KB)

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 verification, binary decision diagram, arithmetic circuits, specification, recurrence equations,
	Summary \| Full Text:PDF(401.9KB)

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 software, message sequence chart, reverse engineering, reachability analysis, specification,
	Summary \| Full Text:PDF(555.6KB)

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: specification, verification, protocol, LOTOS, software tool,
	Summary \| Full Text:PDF(1MB)

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: specification, CBR, reuse, user requirement,
	Summary \| Full Text:PDF(1.1MB)

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-transition, sequential machine model, state abstraction, reactive system, specification,
	Summary \| Full Text:PDF(566.2KB)

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: specification, algebraic method, asynchronous circuits, arbiter,
	Summary \| Full Text:PDF(577.7KB)

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 software, simplification, comprehensibility, specification, SDL,
	Summary \| Full Text:PDF(688.2KB)

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: LOTOS, specification, verification, switching software,
	Summary \| Full Text:PDF(659.5KB)