Requirements of an integrated formal method for intelligent swarms
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Towards a mathematical theory of knowledge
Journal of Computer Science and Technology
Adding mobility to software architectures
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
A basic algebra of stateless connectors
Theoretical Computer Science - Algebra and coalgebra in computer science
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Science of Computer Programming
An Institutional Theory for #-Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Distribution concerns in service-oriented modelling
International Journal of Internet Protocol Technology
A metamodel for distributed event based systems
Proceedings of the second international conference on Distributed event-based systems
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Toward a Topic Maps Amanuensis
Scaling Topic Maps
Towards Interoperability in Component Based Development with a Family of DSLs
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects
Managing requirement volatility in an ontology-driven clinical LIMS using category theory
International Journal of Telemedicine and Applications - Special issue on electronic health
Compositional Specification of Parallel Components Using Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling the GSM Handover Protocol in CommUnity
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic semantics of service component modules
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Structured CSP: a process algebra as an institution
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
A (Co)algebraic analysis of synchronization in CSP
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Structured co-spans: an algebra of interaction protocols
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Design in CommUnity with extension morphisms
Formal methods and hybrid real-time systems
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
A categorical approach to mereology and its application to modelling software components
Transactions on rough sets VIII
Causal semantics for the algebra of connectors
Formal Methods in System Design
Categorial semantics of a solution to distributed dining philosophers problem
FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics
Testing of abstract components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Towards managing dynamic reconfiguration of software systems in a categorical setting
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Software services: scientific challenge or industrial hype?
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
On a parthood specification method for component software
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
A formalisation of constraint-aware model transformations
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Context-awareness in software architectures
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Complete axioms for stateless connectors
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Categorical foundations of distributed graph transformation
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Fork algebras as a sufficiently rich universal institution
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Category theoretic integration framework for formal notations in model driven software engineering
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
Model transformation and induced instance migration: a universal framework
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
A formal approach to event-based architectures
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Intentional automata: a context-dependent model for component connectors
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Intermodeling, queries, and kleisli categories
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A formal abstract framework for modelling and testing complex software systems
Theoretical Computer Science
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
A graph-based design framework for services
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
An interface theory for service-oriented design
Theoretical Computer Science
Systems analysis of life cycle of large-scale information-control systems
Automation and Remote Control
Parameterisation for abstract structured specifications
Theoretical Computer Science
Hi-index | 0.00 |