Model-based specification

DOI10.1016/S0020-0190(00)00206-4MaRDI QIDQ1607085zbMATH OpenOpenAlexFDO

Authors Lex Bijlsma

Publication date 25 July 2002

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

Full work available at URL https://doi.org/10.1016/s0020-0190(00)00206-4, https://dspace.library.uu.nl/handle/1874/19456

zbMATH Keywords

object-oriented codespecification formalism

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A formal approach to object-oriented software engineering
• Specifying, relating and composing object oriented interfaces, components and architectures
• Modular specification and verification of object-oriented programs
• scientific article; zbMATH DE number 194792
• Formal specification is an experimental science

Cites work

• A hidden agenda
• Data refinement by calculation
• Hoare logic and auxiliary variables
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 1251179 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• Laws of data refinement
• Predicate calculus and program semantics

Cited in

(14)

• On the lattice of specifications: Applications to a specification methodology
• A formal approach to object-oriented software engineering
• Formal specification is an experimental science
• Impact of performance considerations on formal specification design
• A specification formalism for interacting objects
• A case study using lightweight formalism to review an information system specification
• Behavior Modeling During Software Design
• scientific article; zbMATH DE number 1949589 (Why is no real title available?)
• scientific article; zbMATH DE number 1951536 (Why is no real title available?)
• scientific article; zbMATH DE number 2006506 (Why is no real title available?)
• scientific article; zbMATH DE number 2079812 (Why is no real title available?)
• scientific article; zbMATH DE number 1543355 (Why is no real title available?)
• scientific article; zbMATH DE number 1569134 (Why is no real title available?)
• Formal Methods for Components and Objects

Describes a project that uses

Uses Software

• Z
• Eiffel

This page was built for publication: Model-based specification

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