Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Software process a` la algebra: OBJ for OBJ
ICSE '90 Proceedings of the 12th international conference on Software engineering
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Referential opacity in nondeterministic data refinement
ACM Letters on Programming Languages and Systems (LOPLAS)
IDL '94 Proceedings of the workshop on Interface definition languages
Observational proofs by rewriting
Theoretical Computer Science
Information and Computation
Structured specifications and implementation of nondeterministic data types
Nordic Journal of Computing
Abstraction Barriers in Equational Proof
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Constructive Data Refinement in Typed Lambda Calculus
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
A Higher-Order Simulation Relation for System F
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Finitary Observations in Regular Algebras
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Specification Refinement with System F
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
A theory of mixin modules: algebraic laws and reduction semantics
Mathematical Structures in Computer Science
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
A language for configuring multi-level specifications
Theoretical Computer Science - Algebraic methodology and software technology
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
Institutions, property-aware programming and testing
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Behavioural constructor implementation for regular algebras
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
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
Views on behaviour protocols and their semantic foundation
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Refinement trees: calculi, tools, and applications
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Generic constructions for behavioral specifications
Theoretical Computer Science
A simple refinement language for CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Property preserving redesign of specifications
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Externalized and internalized notions of behavioral refinement
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Lambda expressions in casl architectural specifications
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Algebraic signatures enriched by dependency structure
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Reverse engineering and reusing COBOL programs: a program transformation approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A Coalgebraic Perspective on Logical Interpretations
Studia Logica
| Hi-index | 0.00 |