Concurrency: state models & Java programs
Concurrency: state models & Java programs
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Run-time Composition and Adaptation of Mismatching Behavioural Transactions
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Behavioral adaptation of component compositions based on process algebra encodings
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Synchronizing behavioural mismatch in software composition
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Distributed behavioural adaptation for the automatic composition of semantic services
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Hi-index | 0.00 |