The Z notation: a reference manual
The Z notation: a reference manual
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Industrial applications of formal methods to model, design and analyze computer systems: an international survey
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Creating reference architectures: an example from avionics
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Formalizing the Object Management Group's core object model
Computer Standards & Interfaces - Special issue on formal description techniques
Mediators: easing the design and evolution of integrated systems
Mediators: easing the design and evolution of integrated systems
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Evaluating The Mediator Method: Prism as a Case Study
IEEE Transactions on Software Engineering
Inside COM
Developing active Web controls
Developing active Web controls
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Adding Implicit Invocation to Languages: Three Approaches
Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software
Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Exploiting ADLs to specify architectural styles induced by middleware infrastructures
Proceedings of the 21st international conference on Software engineering
IEEE Transactions on Software Engineering
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
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
How Software Patents Can Support COTS Component Business
IEEE Software
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Modelling Microsoft COM Using pi-Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Modelling architectures for dynamic systems
Programming methodology
Model checking the composition of hypermedia design components
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Checking of models built using a graphically based formal modelling language
Journal of Systems and Software - Special issue: Computer software & applications
Hi-index | 0.00 |