On methods for safe introduction of operations

DOI10.1016/S0020-0190(97)00161-0MaRDI QIDQ293132zbMATH OpenFDO

Authors Paulo A. S. Veloso, Sheila R. M. 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

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

Recommendations

• A logic for schema-based program development
• scientific article; zbMATH DE number 4772
• Definition-like Extensions by Sorts
• scientific article; zbMATH DE number 3936465
• scientific article; zbMATH DE number 512959

Cites work

• scientific article; zbMATH DE number 3878342 (Why is no real title available?)
• scientific article; zbMATH DE number 3757751 (Why is no real title available?)
• scientific article; zbMATH DE number 47240 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• On pushout consistency, modularity and interpolation for logical specifications
• On the Modularization Theorem for logical specifications

Cited in

(3)

• Introduction of a new process with learning about installation and operation
• Definition-like Extensions by Sorts
• scientific article; zbMATH DE number 2080000 (Why is no real title available?)

Describes a project that uses

Uses Software

• KIDS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q293132)