On methods for safe introduction of operations

DOI10.1016/S0020-0190(97)00161-0zbMath1339.68171MaRDI QIDQ293132

Sheila R. M. Veloso, Paulo A. S. Veloso

Publication date: 9 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019097001610?np=y

zbMATH Keywords

conservativenessformal specificationsabstract data typesintroduction of new operationslogical specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• KIDS

Cites Work

• On the Modularization Theorem for logical specifications
• On pushout consistency, modularity and interpolation for logical specifications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On methods for safe introduction of operations