Software perfective maintenance: Including retrainable software in software reuse

DOI10.1016/0020-0255(93)90116-4zbMath0800.68328OpenAlexW2078494574MaRDI QIDQ1328513

David C. Rine

Publication date: 26 July 1994

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(93)90116-4

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• Eiffel

Cites Work

• The algebraic specification of abstract data types
• Proof of correctness of data representations
• TENSE IN FORMAL LANGUAGE SYNTAX AND CO‐OPERATING SEQUENTIAL PROCESSES
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Software perfective maintenance: Including retrainable software in software reuse