Threaded behavior protocols

DOI10.1007/S00165-011-0194-3MaRDI QIDQ470016zbMATH OpenOpenAlexFDO

Authors Tomáš Poch, Ondřej Šerý, František Plášil, Jan Kofroň

Publication date 11 November 2014

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

Full work available at URL https://doi.org/10.1007/s00165-011-0194-3

zbMATH Keywords

verificationmodel checkingcompositionrefinementbehavior modelingcomponent systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1947732
• Behavioural contracts for a sound assembly of components
• Composition for component-based modeling
• scientific article; zbMATH DE number 7454918
• Formal Methods for Components and Objects

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• A process algebraic approach to software architecture design
• Computer Aided Verification
• Foundations of component-based systems.
• Lazzarini's Lucky Approximation of π
• Modal I/O Automata for Interface and Product Line Theories
• Model checking JAVA programs using JAVA PathFinder
• Program Compatibility Approaches

Cited in

(2)

• scientific article; zbMATH DE number 1947732 (Why is no real title available?)
• Behavioural semantics for asynchronous components

Describes a project that uses

Uses Software

• Java PathFinder

This page was built for publication: Threaded behavior protocols

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