Using object-oriented typing to support architectural design in the C2 style
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Constructing distributed groupware systems: a walk on the Wilde side
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Composing distributed applications through generative communication
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
PICCOLA---a small composition language
Formal methods for distributed processing
A Notation and Logic for Mobile Computing
Formal Methods in System Design
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Logic Channels: A Coordination Approach to Distributed Programming
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Wilde: Supporting Change in Groupware
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Towards a Compositional Approach to the Design and Verification of Distributed Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Bounding Component Behavior via Protocols
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Gravity: supporting dynamically available services in client-side applications
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model
Proceedings of the 26th International Conference on Software Engineering
Soma: a compositional language for distributed systems
ACM SIGPLAN Notices
A calculus for reasoning about software composition
Theoretical Computer Science - Formal methods for components and objects
Bean markup language: a composition language for JavaBeans components
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Applications = Components + GLoo
Electronic Notes in Theoretical Computer Science (ENTCS)
A static compliance-checking framework for business process models
IBM Systems Journal
Composing software services in the pervasive computing environment: Languages or APIs?
Pervasive and Mobile Computing
Composing RESTful Services with JOpera
SC '09 Proceedings of the 8th International Conference on Software Composition
Workflow: a language for composing web services
BPM'03 Proceedings of the 2003 international conference on Business process management
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
SC'05 Proceedings of the 4th international conference on Software Composition
Ensuring secure and robust grid applications – from a formal method point of view
GPC'06 Proceedings of the First international conference on Advances in Grid and Pervasive Computing
GLoo: a framework for modeling and reasoning about component-oriented language abstractions
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Modal logics for reasoning about object-based component composition
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Control-Flow Patterns for Decentralized RESTful Service Composition
ACM Transactions on the Web (TWEB)
Hi-index | 0.00 |