Automated Error-Detection and Repair for Compositional Software Specifications

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_9 ◽

2014 ◽

pp. 111-127 ◽

Author(s):

Dalal Alrajeh ◽

Robert Craven

Keyword(s):

Error Detection ◽

Software Specifications ◽

Compositional Software

Download Full-text

Using GSSs to support error detection in software specifications

Proceedings of the Thirty-First Hawaii International Conference on System Sciences ◽

10.1109/hicss.1998.653142 ◽

2002 ◽

Author(s):

A. Vermunt ◽

M. Smits ◽

G. van der Pijl ◽

R. van Solingen

Keyword(s):

Error Detection ◽

Software Specifications

Download Full-text

Prevention or Cure? Error Detection and Correction in Skilled Typists

PsycEXTRA Dataset ◽

10.1037/e502412013-119 ◽

2012 ◽

Author(s):

Gordon D. Logan ◽

Matthew J. C. Crump

Keyword(s):

Error Detection ◽

Error Detection And Correction

Download Full-text

Hierarchical error detection produces cognitive illusions of authorship in skilled typing

PsycEXTRA Dataset ◽

10.1037/e520592012-020 ◽

2010 ◽

Author(s):

Gordon D. Logan ◽

Matthew J. C. Crump

Keyword(s):

Error Detection ◽

Cognitive Illusions

Download Full-text

Concurrent error detection in array dividers by alternating input data

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1992.0019 ◽

1992 ◽

Vol 139 (2) ◽

pp. 123 ◽

Author(s):

C.-L. Wey

Keyword(s):

Error Detection ◽

Concurrent Error Detection

Download Full-text

Space—time mapping, latency of data flow and concurrent error detection in systolic arrays

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1993.0004 ◽

1993 ◽

Vol 140 (1) ◽

pp. 33

Author(s):

H.F. Li ◽

C.N. Zhang ◽

R. Jayakumar

Keyword(s):

Error Detection ◽

Data Flow ◽

Systolic Arrays ◽

Concurrent Error Detection

Download Full-text

Design of Multidirectional Parity Code Using Hamming Code Technique for Error Detection and Correction

PARIPEX-INDIAN JOURNAL OF RESEARCH ◽

10.15373/22501991/may2014/27 ◽

2012 ◽

Vol 3 (5) ◽

pp. 79-81

Author(s):

Vishal Badole ◽

◽

Amit Udawat

Keyword(s):

Error Detection ◽

Hamming Code ◽

Code Technique ◽

Error Detection And Correction

Download Full-text

AUTOMATIC-CONTROLLED INFORMATION PROCESSING AND ERROR DETECTION IN A SIMULATED PHARMACY-VERIFICATION TASK

Perceptual and Motor Skills ◽

10.2466/pms.97.5.151-174 ◽

2003 ◽

Vol 97 (5) ◽

pp. 151

Author(s):

SEAN REILLEY

Keyword(s):

Information Processing ◽

Error Detection ◽

Verification Task

Download Full-text

A method for unsupervised broad-coverage lexical error detection and correction

Proceedings of the Fourth Workshop on Innovative Use of NLP for Building Educational Applications - EdAppsNLP '09 ◽

10.3115/1609843.1609851 ◽

2009 ◽

Author(s):

Nai-Lung Tsao ◽

David Wible

Keyword(s):

Error Detection ◽

Error Detection And Correction

Download Full-text

Real-time error detection techniques based on FPGA

Journal of Computer Applications ◽

10.3724/sp.j.1087.2013.01459 ◽

2013 ◽

Vol 33 (5) ◽

pp. 1459-1462

Author(s):

Xiaoming JU ◽

Jiehao ZHANG ◽

Yizhong ZHANG

Keyword(s):

Real Time ◽

Error Detection ◽

Detection Techniques

Download Full-text

Wireless Network Design Optimized for Military Operations in Degraded Littoral Environments Using Link Layer Error Detection Mechanisms

10.21236/ada416298 ◽

2003 ◽

Author(s):

Nathan A. Fleischaker

Keyword(s):

Network Design ◽

Wireless Network ◽

Error Detection ◽

Military Operations ◽

Wireless Network Design ◽

Detection Mechanisms

Download Full-text