Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Algebraic software architecture reconfiguration
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 24th International Conference on Software Engineering
Architectural primitives for distribution and mobility
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Architectural primitives for distribution and mobility
ACM SIGSOFT Software Engineering Notes
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Revisiting the Categorical Approach to Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Algebraic Semantics of Coordination or What Is in a Signature
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Towards a Colimit-Based Semantics for Visual Programming
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Security Function Interactions
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
On what exactly goes on when software is developed step-by-step, II: the sequel
Information Processing Letters - Special issue: Contribution to computing science
Proof-theoretic foundations for the design of actor systems
Mathematical Structures in Computer Science
A Style-Aware Architectural Middleware for Resource-Constrained, Distributed Systems
IEEE Transactions on Software Engineering
Towards specification, modelling and analysis of fault tolerance in self managed systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
A basic algebra of stateless connectors
Theoretical Computer Science - Algebra and coalgebra in computer science
Towards Multiple Access in Generic Component Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Services and Contracts: Coalgebraically
Electronic Notes in Theoretical Computer Science (ENTCS)
An Operational Semantics of CommUnity Based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Interconnecting objects via contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Verifying temporal properties of community designs
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Typed category theory-based micro-view emergency knowledge representation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Managing socio-technical interactions in healthcare systems
BPM'07 Proceedings of the 2007 international conference on Business process management
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
Categorial semantics of a solution to distributed dining philosophers problem
FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics
A connector algebra for P/T nets interactions
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Temporal superimposition of aspects for dynamic software architecture
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Connector algebras, petri nets, and BIP
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Hi-index | 0.00 |