Alloy as a refactoring checker?

DOI10.1016/J.ENTCS.2008.06.015MaRDI QIDQ5403473zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

refinementZrefactoringAlloybehaviour preservation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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

Describes a project that uses

Uses Software

• Z

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)