Automated Error-Detection and Repair for Compositional Software Specifications

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-10431-7_9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Automated Error Detection Inreed-Solomon Encoders

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

Improving Effectiveness of Automated Software Testing in the Absence of Specifications

2006 22nd IEEE International Conference on Software Maintenance
2006English

FlipSphere: A Software-Based DRAM Error Detection and Correction Library for HPC

2016English

Ontology Based Specifications for Software Reliability Advancement

International Journal of Computer Applications
2012English

Automated Compositional Importance Splitting

Science of Computer Programming
Software
2019English

Composite Public Values and Software Specifications

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2018English

CSCW for Preparing Formal Software Specifications: Issues and Implementation

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2008English

Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications

Innovations in Systems and Software Engineering
Software
2011English

CellSpecks: A Software for Automated Detection and Analysis of Calcium Channels in Live Cells

Biophysical Journal
Biophysics
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy