A calculus of mobile processes, I
Information and Computation
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Executable connectors: towards reusable design elements
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Proceedings of the 21st international conference on Software engineering
Uncovering architectural mismatch in component behavior
Science of Computer Programming
Coordinating interaction patterns
Proceedings of the 2001 ACM symposium on Applied computing
Building systems from commerical components
Building systems from commerical components
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Compatibility and inheritance in software architectures
Science of Computer Programming
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
IEEE Software
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Infinite types for distributed object interfaces
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Modelling Darwin in the Pi-Caculus
Selected Papers from the International Workshop on Theory and Practice in Distributed Systems
Verification Tools for Finite-State Concurrent Systems
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
A Protocol Based Approach to Specifying Interoperability between Objects
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Achieving seamless component composition through scenario-based deep adaptation and generation
Science of Computer Programming - Special issue on new software composition concepts
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)
Component composition preserving behavioral contracts based on communication traces
Theoretical Computer Science - Implementation and application of automata
Component adaptation through flexible subservicing
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Electronic Notes in Theoretical Computer Science (ENTCS)
An Adaptation-based Approach to Incrementally Build Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptation for Hierarchical Components and Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution
Electronic Notes in Theoretical Computer Science (ENTCS)
An approach to adapt service requests to actual service interfaces
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics-based composition-oriented discovery of Web services
ACM Transactions on Internet Technology (TOIT)
Transactional Reduction of Component Compositions
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Automated Service Composition with Adaptive Planning
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
The process mediation framework for semantic web services
International Journal of Agent-Oriented Software Engineering
Event strictness for components with complex bindings
Proceedings of the 2nd India software engineering conference
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Proof Techniques for Adapter Generation
Web Services and Formal Methods
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Adapting service requests to actual service interfaces through semantic annotations
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Dinapter: Automatic Adapter Specification for Software Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploring Multi-Paradigm Modeling Techniques
Simulation
The mythical matched modules: overcoming the tyranny of inflexible software construction
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Formalizing Adaptation On-the-Fly
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing WSBPEL Business Processes Using Process Algebra
Electronic Notes in Theoretical Computer Science (ENTCS)
A theoretical framework of component-based software development phases
ACM SIGMIS Database
A pattern-based approach to protocol mediation for web services composition
Information and Software Technology
Context-based adaptation of component behavioural interfaces
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
A framework of software component adaptation
ICA3PP'07 Proceedings of the 7th international conference on Algorithms and architectures for parallel processing
Enhancing dependability of component-based systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Adaptation of open component-based systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
Component adaptation in contemporary execution environments
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Property-preserving evolution of components using VPA-based aspects
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Coordination and adaptation techniques: bridging the gap between design and implementation
ECOOP'06 Proceedings of the 2006 conference on Object-oriented technology: ECOOP 2006 workshop reader
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
Clint: a composition language interpreter (tool paper)
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
Component adaptation and assembly using interface relations
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Adaptive composition of conversational services through graph planning encoding
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A case study in model-based adaptation of web services
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Composing heterogeneous software with style
Proceedings of the 1st International Workshop on Free Composition
An aspect-oriented framework for service adaptation
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Scenario-based component behavior derivation
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Grid services adaptation in a grid workflow
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Composition-Oriented service discovery
SC'05 Proceedings of the 4th international conference on Software Composition
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
Evolution on-the-fly with paradigm
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Bounded analysis and decomposition for behavioural descriptions of components
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
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
Automated creation and assessment of component adapters with test cases
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Component composition preserving behavioural contracts based on communication traces
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
Automating the wrapping of software building blocks with test cases
Proceedings of the 17th international doctoral symposium on Components and Architecture
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
System integration by developing adapters using a database abstraction
Information and Software Technology
Self-Adaptable Discovery and Composition of Services Based on the Semantic CompAA Approach
International Journal of Adaptive, Resilient and Autonomic Systems
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
On self-adaptation in systems-of-systems
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems
A service-oriented framework for developing cross cloud migratable software
Journal of Systems and Software
Test-and-adapt: An approach for improving service interchangeability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Towards an optimized software architecture for component adaptation at middleware level
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Hi-index | 0.00 |
Software component run-time characteristics are highly dependent on their actual deployment situation. Validating that software components meet required functional and non-functional properties is time consuming and for some properties quite challenging. ...