Impact of performance considerations on formal specification design

DOI10.1007/BF01213496MaRDI QIDQ2365398zbMATH OpenOpenAlexFDO

Authors Murali Sitaraman

Publication date 4 February 1997

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01213496

zbMATH Keywords

formal interface specificationobject-based software specificationobservabilityperformancereusable software components

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2043457
• Model-based specification
• scientific article; zbMATH DE number 2079812
• Specification styles in distributed systems design and verification
• Specification by interface separation

Describes a project that uses

Uses Software

• Z
• LARCH

This page was built for publication: Impact of performance considerations on formal specification design

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