On regularity in software design
From MaRDI portal
Publication:1899136
DOI10.1016/0167-6423(95)00004-CzbMath0832.68032MaRDI QIDQ1899136
Publication date: 4 October 1995
Published in: Science of Computer Programming (Search for Journal in Brave)
68N99: Theory of software
Related Items
Retrenchment for Event-B: UseCase-wise development and Rodin integration, Simple feature engineering via neat default retrenchments, Stronger compositions for retrenchments