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
- scientific article; zbMATH DE number 1615985 (Why is no real title available?)
- scientific article; zbMATH DE number 42431 (Why is no real title available?)
- scientific article; zbMATH DE number 2006484 (Why is no real title available?)
- scientific article; zbMATH DE number 1409638 (Why is no real title available?)
- Computer Aided Verification
- Fundamental Approaches to Software Engineering
- Using the Alloy analyzer to verify data refinement in Z
- Verifying data refinements using a model checker
- ZB 2005: Formal Specification and Development in Z and B
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
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)
