Logical systems for structured specifications
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Comorphism-Based Grothendieck Logics
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Translationg OBJ3 into CASL: The Institution Level
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Moving Specification Structures Between Logical Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Hierarchical Heterogeneous Specifications
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Single Perspective on Arrows between Institutions
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Heterogeneous Development Graphs and Heterogeneous Borrowing
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
UniForM Perspectives for Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
The UniForM Workbench, a Universal Development Environment for Formal Methods
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
On what exactly goes on when software is developed step-by-step, II: the sequel
Information Processing Letters - Special issue: Contribution to computing science
Interpolation in Grothendieck institutions
Theoretical Computer Science
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Toward specifications for reconfigurable component systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
Complete calculi for structured specifications in fork algebra
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
Change management for heterogeneous development graphs
Verification, induction termination analysis
Change management for heterogeneous development graphs
Verification, induction termination analysis
Representing model theory in a type-theoretical logical framework
Theoretical Computer Science
Formal Methods in Software and Systems Modeling
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Fork algebras as a sufficiently rich universal institution
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Looking at probabilistic conditionals from an institutional point of view
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Comorphisms of structured institutions
Information Processing Letters
Parameterisation for abstract structured specifications
Theoretical Computer Science
Răzvan Diaconescu, Institution-independent Model Theory
Studia Logica
Hi-index | 0.01 |