Programming and Verifying Component Ensembles
- 1 January 2014
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A Formal Approach to Autonomic Systems ProgrammingACM Transactions on Autonomous and Adaptive Systems, 2014
- Reasoning (on) Service Component Ensembles in Rewriting LogicLecture Notes in Computer Science, 2014
- Linguistic Abstractions for Programming and Policing Autonomic Computing SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud ComputingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- Large-scale complex IT systemsCommunications of the ACM, 2012
- Modeling Dynamic Architectures Using Dy-BIPLecture Notes in Computer Science, 2012
- Symmetry reductions for model checking of concurrent dynamic softwareInternational Journal on Software Tools for Technology Transfer, 2004
- dSPIN: A Dynamic Extension of SPINLecture Notes in Computer Science, 1999
- KLAIM: a kernel language for agents interaction and mobilityIEEE Transactions on Software Engineering, 1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997