Connectors as designs: modeling, refinement and test case generation
From MaRDI portal
Publication:433336
DOI10.1016/J.SCICO.2011.04.002zbMATH Open1242.68070OpenAlexW2162326486MaRDI QIDQ433336FDOQ433336
Bernhard K. Aichernig, Lăcrămioara Aştefănoaei, Sun Meng, Jan J. M. M. Rutten, Frank S. de Boer, Farhad Arbab
Publication date: 13 July 2012
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2011.04.002
Recommendations
- Towards component based systems: refining connectors
- A model of context-dependent component connectors
- A formal algebraic approach for the quantitative modeling of connectors in architectures
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- scientific article; zbMATH DE number 2079673
Cites Work
- Maude: specification and programming in rewriting logic
- Reo: a channel-based coordination model for component composition
- Title not available (Why is that?)
- Title not available (Why is that?)
- Refinement Calculus
- Testing equivalences for processes
- The B-Book
- Title not available (Why is that?)
- Unifying theories for logic programming
- rCOS: a refinement calculus of object systems
- Connector colouring. I: Synchronisation and context dependency
- Modeling component connectors in Reo by constraint automata
- Automated Reasoning
- Mutation testing in UTP
- Title not available (Why is that?)
- Anti-pattern Matching Modulo
- Testing Programs with the Aid of a Compiler
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Recent Trends in Algebraic Development Techniques
- Mutation testing in the refinement calculus
Cited In (1)
Uses Software
This page was built for publication: Connectors as designs: modeling, refinement and test case generation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q433336)
