Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Adapting Components with Mismatching Behaviours
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
A Contract-Based Component Model for Embedded Systems
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
On the semantics of software adaptation
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Supporting high interoperability of components by adopting an agent-based approach
Software Quality Control
A programming method for building component-based commercial software for image processing
ISTASC'05 Proceedings of the 5th WSEAS/IASME International Conference on Systems Theory and Scientific Computation
Non-synchronous Communications in Process Algebraic Architectural Description Languages
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
An ADL dealing with aspects at software architecture stage
Information and Software Technology
Non-desynchronizable Service Choreographies
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Proof Techniques for Adapter Generation
Web Services and Formal Methods
Interacting services: From specification to execution
Data & Knowledge Engineering
Ontology-based modelling of architectural styles
Information and Software Technology
WSEAS Transactions on Computers
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Goal-oriented composition of services
SC'08 Proceedings of the 7th international conference on Software composition
Journal of Systems and Software
Journal of Systems and Software
Formal verification of stochastic timing behavior in web-based business process collaboration
WAIM'10 Proceedings of the 2010 international conference on Web-age information management
Component-oriented verification of noninterference
Journal of Systems Architecture: the EUROMICRO Journal
Measuring the compatibility of service interaction protocols
Proceedings of the 2011 ACM Symposium on Applied Computing
Perceived consistency between process models
Information Systems
Approximating Markovian testing equivalence
Theoretical Computer Science
Layered patterns in modelling and transformation of service-based software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Modeling and analysis of multi-agent systems based on π-calculus
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Aspect modelling at architecture design
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Preserving architectural properties in multithreaded code generation
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Synthesizing concurrency control components from process algebraic specifications
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
An ontology-based approach for modelling architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
AspectLEDA: extending an ADL with aspectual concepts
ECSA'07 Proceedings of the First European conference on Software Architecture
Hi-index | 0.00 |