Keyword : correctness


Improving Natural Language Requirements Quality Using Workflow Patterns
Ye WANG Xiaohu YANG Cheng CHANG Alexander J. KAVS 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/09/01
Vol. E96-D  No. 9 ; pp. 2065-2074
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
requirements analysiscorrectnessconsistencyworkflow patternspattern matching
 Summary | Full Text:PDF(4.1MB)

Workflows with Passbacks and Incremental Verification of Their Correctness
Osamu TAKAKI Izumi TAKEUTI Noriaki IZUMI Koiti HASIDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/04/01
Vol. E95-D  No. 4 ; pp. 989-1002
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
workflowverificationcorrectnesspassbackincremental verification
 Summary | Full Text:PDF(725.4KB)

DCAA: A Dynamic Constrained Adaptive Aggregation Method for Effective Network Traffic Information Summarization
Kazuhide KOIDE Glenn Mansfield KEENI Gen KITAGATA Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2004/03/01
Vol. E87-B  No. 3 ; pp. 413-420
Type of Manuscript:  Special Section PAPER (Special Section on Internet Technology IV)
Category: Implementation and Operation
Keyword: 
traffic summarizationnetwork mapDCAAcorrectnessadaptability
 Summary | Full Text:PDF(648.7KB)

A New Verification Framework of Object-Oriented Design Specification for Small Scale Software
Eun Mi KIM Shinji KUSUMOTO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/01/25
Vol. E80-D  No. 1 ; pp. 51-56
Type of Manuscript:  Special Section PAPER (Special Issue on Fault-Tolerant Computing)
Category: Verification
Keyword: 
safetycorrectnessobject-oriented designdesign review
 Summary | Full Text:PDF(525.7KB)

Formal Verification System for Pipelined Processors
Toru SHONAI Tsuguo SHIMIZU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/06/25
Vol. E79-A  No. 6 ; pp. 883-891
Type of Manuscript:  PAPER
Category: VLSI Design Technology and CAD
Keyword: 
formal verificationpipelineprocessorcorrectnessmathematical induction
 Summary | Full Text:PDF(753KB)

PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes
Keiichi YASUMOTO Teruo HIGASHINO Toshio MATSUURA Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 1015-1023
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
LOTOSservice definitionprotocol specificationsimulatorcorrectness
 Summary | Full Text:PDF(843.8KB)

Fully Abstract Models for Communicating Processes with respect to Weak Linear Semantics with Divergence
Eiichi HORITA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/01/25
Vol. E75-D  No. 1 ; pp. 64-77
Type of Manuscript:  Special Section PAPER (Special Section on Theoretical Foundations of Computing)
Category: 
Keyword: 
concurrencyoperational semanticscompositionalitycorrectnessfull abstractness
 Summary | Full Text:PDF(1MB)