Pages that link to "Item:Q5428879"
From MaRDI portal
The following pages link to Fundamental Approaches to Software Engineering (Q5428879):
Displaying 10 items.
- Model evolution and refinement (Q436356) (← links)
- A formal approach to object-oriented software engineering (Q1608926) (← links)
- Some elements of \(Z\) specification style: Structuring techniques (Q2709221) (← links)
- Refactoring in maintenance and development of Z specifications and proofs (Q2844820) (← links)
- Refactoring towards a layered architecture (Q2848452) (← links)
- A static semantics for Alloy and its impact in refactorings (Q2870336) (← links)
- (Q4940107) (← links)
- Alloy as a Refactoring Checker? (Q5403473) (← links)
- Refactoring Object-Oriented Specifications with Data and Processes (Q5428914) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703805) (← links)