Formal Methods for Components and Objects
From MaRDI portal
Publication:5897123
DOI10.1007/b14033zbMath1254.68071OpenAlexW4212909638WikidataQ59640385 ScholiaQ59640385MaRDI QIDQ5897123
Publication date: 9 February 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b14033
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Norm-based mechanism design ⋮ A perspective on service orchestration ⋮ Symbolic model checking for channel-based component connectors ⋮ A coordination approach to mobile components ⋮ Robustness in Interaction Systems
Uses Software
This page was built for publication: Formal Methods for Components and Objects
