DOI10.1109/TSE.1983.234776zbMath0515.68015OpenAlexW2045257588WikidataQ111897394 ScholiaQ111897394MaRDI QIDQ3662596
John R. White
Publication date: 1983 Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1109/tse.1983.234776
zbMATH Keywords
performance analysissoftware designsoftware engineeringabstraction refinementdata abstraction
Mathematics Subject Classification ID
Data structures (68P05)