Refactoring Object-Oriented Specifications with Data and Processes

DOI10.1007/978-3-540-72952-5_15zbMath1202.68102OpenAlexW1531307100MaRDI QIDQ5428914

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)

Related Items

Model evolution and refinement, Model transformations across views

Uses Software

• FDR2

Cites Work

• Model Transformations Incorporating Multiple Views
• Data Refinement
• Fundamental Approaches to Software Engineering
• Recent Trends in Algebraic Development Techniques
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item