Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
ACM SIGAPL APL Quote Quad
Overlaps in Requirements Engineering
Automated Software Engineering
A Higher-Order Calculus for Categories
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Mathematical Structures in Computer Science
A theory of classes: proofs and models
Mathematical Structures in Computer Science
Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types
Theoretical Computer Science - Formal methods for components and objects
Understanding Programming Languages
Minds and Machines
A Name Abstraction Functor for Named Sets
Electronic Notes in Theoretical Computer Science (ENTCS)
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Graph transformation by computational category theory
Graph transformations and model-driven engineering
Coalgebraic semantics for derivations in logic programming
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Automating proofs in category theory
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Computational simulation of categorical constructions
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
A semantics for object-oriented systems
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Object-oriented refinement and proof using behaviour functions
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Nuprl as logical framework for automating proofs in category theory
Logic and Program Semantics
| Hi-index | 0.00 |