Specification completion for IOCO

DOI10.1134/S0361768811010014zbMATH Open1242.68152OpenAlexW2062436301MaRDI QIDQ763529FDOQ763529

I. B. Bourdonov, A. S. Kossatchev

Publication date: 12 March 2012

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768811010014

zbMATH Keywords

specificationlabeled transition systemsioco

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A Theory of Communicating Sequential Processes
• A process algebraic view of input/output automata
• Title not available (Why is that?)
• Formal Approaches to Software Testing

Cited In (2)

• Formalization of a test experiment. II
• Goodbye ioco

   Recommendations

• Title not available (Why is that?) 👍 👎
• Parallel composition and decomposition of specifications 👍 👎
• Title not available (Why is that?) 👍 👎
• Formal Approaches to Software Testing 👍 👎
• Specification by interface separation 👍 👎
• Title not available (Why is that?) 👍 👎
• Specification statements and refinement 👍 👎

This page was built for publication: Specification completion for IOCO

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