Alloy as a refactoring checker?
From MaRDI portal
Publication:5403473
DOI10.1016/J.ENTCS.2008.06.015zbMATH Open1283.68205OpenAlexW1974928377MaRDI QIDQ5403473FDOQ5403473
Authors: H.-Christian Estler, Heike Wehrheim 
Publication date: 26 March 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.06.015
Recommendations
- A static semantics for Alloy and its impact in refactorings
- Refactoring Object-Oriented Specifications with Data and Processes
- Refactoring in maintenance and development of Z specifications and proofs
- A closer look at software refactoring using symbolic execution
- Fundamental Approaches to Software Engineering
Cites Work
- Title not available (Why is that?)
- Computer Aided Verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- ZB 2005: Formal Specification and Development in Z and B
- Fundamental Approaches to Software Engineering
- Title not available (Why is that?)
- Verifying data refinements using a model checker
- Using the Alloy analyzer to verify data refinement in Z
Cited In (8)
- Towards a Generic Framework for Trustworthy Program Refactoring
- Improving quality of software analyser and transformer tools using specification based testing
- Use Cases for Refactoring in Erlang
- Refactoring Object-Oriented Specifications with Data and Processes
- A static semantics for Alloy and its impact in refactorings
- Refactorings of Design Defects Using Relational Concept Analysis
- A closer look at software refactoring using symbolic execution
- Refactoring in maintenance and development of Z specifications and proofs
Uses Software
This page was built for publication: Alloy as a refactoring checker?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403473)
