scientific article; zbMATH DE number 4172406

MaRDI QIDQ3197342zbMATH OpenFDO

Authors Th. Moineau, Marie-Claude Gaudel

Publication date 1990

Full work available at URL https://eudml.org/doc/91750

zbMATH Keywords

abstract algebraic typesformal specificationshierarchical specificationsmodularityPLUSSSoftware reusability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 42848
• scientific article; zbMATH DE number 90776
• scientific article; zbMATH DE number 1105200
• Software reusability. Vol. 2: Applications and experience
• scientific article; zbMATH DE number 1678403

Cites work

• Algebraic implementation of abstract data types
• scientific article; zbMATH DE number 4172406 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3938540 (Why is no real title available?)
• scientific article; zbMATH DE number 4043228 (Why is no real title available?)
• scientific article; zbMATH DE number 4078762 (Why is no real title available?)
• On hierarchies of abstract data types
• Partial abstract types
• Structured algebraic specifications: A kernel language
• The algebraic specification of abstract data types

Cited in

(19)

• Ontological approach to the specification of properties of software systems and their components
• Correctness proofs for abstract implementations
• Software reusability. Vol. 2: Applications and experience
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Behavioural approaches to algebraic specifications. A comparative study
• Paradigm of software component dictionaries for software development
• scientific article; zbMATH DE number 1706227 (Why is no real title available?)
• scientific article; zbMATH DE number 4172406 (Why is no real title available?)
• The Unix System and Software Reusability
• Some Experiences in Promoting Reusable Software: Presentation in Higher Abstract Levels
• On the role of the reusability concept in automatic programming research
• scientific article; zbMATH DE number 42848 (Why is no real title available?)
• scientific article; zbMATH DE number 1019598 (Why is no real title available?)
• scientific article; zbMATH DE number 1949587 (Why is no real title available?)
• A rough–fuzzy approach for retrieval of candidate components for software reuse
• scientific article; zbMATH DE number 2033530 (Why is no real title available?)
• scientific article; zbMATH DE number 2087579 (Why is no real title available?)
• scientific article; zbMATH DE number 2087598 (Why is no real title available?)
• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives

This page was built for publication:

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