Logical systems for structured specifications
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Extending Development Graphs with Hiding
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Maintenance of Formal Software Developments by Stratified Verification
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Comorphism-Based Grothendieck Logics
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Sharing Resource-Sensitive Knowledge Using Combinator Logics
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Moving Specification Structures Between Logical Systems
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 Reuse-Oriented Framework for Hierarchical Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A Total Approach to Partial Algebraic Specification
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
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
Integrating HOL-CASL into the Development Graph Manager MAYA
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
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
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
Reasoning support for CASL with automated theorem proving systems
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
A foundational view on integration problems
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Ontologies for the semantic web in CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Compositional modelling and reasoning in an institution for processes and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Logical relations for a logical framework
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |