Logics of time and computation
Logics of time and computation
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel program design: a foundation
Parallel program design: a foundation
A simple approach to specifying concurrent systems
Communications of the ACM
A compositional approach to superimposition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Superimposition for interacting processes
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
ACM Computing Surveys (CSUR)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
A Pluralistic Knowledge-Based Approach to Software Specification
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
A Classification of Models for Concurrency
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Another look at software design methodology
ACM SIGSOFT Software Engineering Notes
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
Overlaps in Requirements Engineering
Automated Software Engineering
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Revisiting the Categorical Approach to Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Guarded Transitions in Evolving Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Requirements interaction management
ACM Computing Surveys (CSUR)
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th 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
Journal of Systems and Software
Knowledge and Information Systems
Design in CommUnity with extension morphisms
Formal methods and hybrid real-time systems
Specifying overlaps of heterogeneous models for global consistency checking
Proceedings of the First International Workshop on Model-Driven Interoperability
Specifying overlaps of heterogeneous models for global consistency checking
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Development of concurrent systems in B AMN
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Modal event-clock specifications for timed component-based design
Science of Computer Programming
Encapsulating deontic and branching time specifications
Theoretical Computer Science
| Hi-index | 0.00 |