POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
A software tool for modular database design
ACM Transactions on Database Systems (TODS)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program specification and development in standard ML
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Database theory for supporting specification-based database system development
ICSE '85 Proceedings of the 8th international conference on Software engineering
Extensions and foundations of object-oriented programming
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Formalizing Object-Oriented Models in the Object Calculus
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
An Algebraic Framework for Higher-Order Modules
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri Nets
The Situation and State Calculus versus Branching Temporal Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Formal representation of reuseable software modules
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Software Package Requirements and Procurement
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Structured theories and institutions
Theoretical Computer Science
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
Very abstract specifications: a formalism independent approach
Mathematical Structures in Computer Science
TinkerType: a language for playing with formal systems
Journal of Functional Programming
Parametrized abstract objects for linguistic information processing
EACL '85 Proceedings of the second conference on European chapter of the Association for Computational Linguistics
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
Soundness proof of Z semantics of OWL using institutions
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
A language for configuring multi-level specifications
Theoretical Computer Science - Algebraic methodology and software technology
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
A semantic approach to interpolation
Theoretical Computer Science
Institutions, property-aware programming and testing
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Machine learning for software reuse
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Modular Ontologies for Architectural Design
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
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
Provability-based semantic interoperability via translation graphs
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Towards a Functional Approach to Modular Ontologies using Institutions
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Monadic extensions of institutions
Fuzzy Sets and Systems
Diagrammatic logic applied to a parameterisation process
Mathematical Structures in Computer Science
Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Complete calculi for structured specifications in fork algebra
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Institutionalising UML 2.0 state machines
Innovations in Systems and Software Engineering
Combining multiple-valued logics in modular expert systems
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Formal Methods in Software and Systems Modeling
Enhanced theorem reuse by partial theory inclusions
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Fork algebras as a sufficiently rich universal institution
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Verification of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards an institution for Object-Z specifications
International Journal of Computer Applications in Technology
Studia Logica
Ontological modelling of form and function for architectural design
Applied Ontology
Hi-index | 0.00 |