Efficient gateway synthesis from formal specifications
References
Index Terms
- Efficient gateway synthesis from formal specifications
Recommendations
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies
Creating a formal specification for a design is an error-prone process. At the same time, debugging incorrect specifications is difficult and time consuming. In this work, we propose a debugging method for formal specifications that does not require an ...
Synthesizing structured analysis and object-based formal specifications
Structured Analysis (SA) is a widelyýused software development method. SA specifications are based on Data Flow Diagrams (DFD’s), Data Dictionaries (DD’s) and Process Specifications (PýSpecs). As used in practice, SA specifications are not formal. ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations10Total Citations
- 464Total Downloads
- Downloads (Last 12 months)65
- Downloads (Last 6 weeks)9
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in