Refactoring Object-Oriented Specifications with Data and Processes

DOI10.1007/978-3-540-72952-5_15MaRDI QIDQ5428914zbMATH OpenOpenAlexFDO

Authors Thomas Ruhroth, Heike Wehrheim

Publication date 28 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72952-5_15

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 2016082
• Refactoring in maintenance and development of Z specifications and proofs
• Sound refactorings
• Alloy as a refactoring checker?

Cites work

• Data Refinement
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1519981 (Why is no real title available?)
• scientific article; zbMATH DE number 1929900 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• Model Transformations Incorporating Multiple Views
• Recent Trends in Algebraic Development Techniques
• Refactoring by transformation

Cited in

(12)

• Sound refactorings
• Model transformations across views
• Refactoring in maintenance and development of Z specifications and proofs
• Refactoring towards a layered architecture
• A static semantics for Alloy and its impact in refactorings
• Model evolution and refinement
• scientific article; zbMATH DE number 2013573 (Why is no real title available?)
• scientific article; zbMATH DE number 2016082 (Why is no real title available?)
• Alloy as a refactoring checker?
• Fundamental Approaches to Software Engineering
• Algebra and Coalgebra in Computer Science
• Towards a Generic Framework for Trustworthy Program Refactoring

Describes a project that uses

Uses Software

• FDR2

This page was built for publication: Refactoring Object-Oriented Specifications with Data and Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428914)