On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Direct semantics of concurrent languages in the SMoLCS approach
IBM Journal of Research and Development
AUTO STAR—a software development system
ACM SIGPLAN Notices
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Relating models of polymorphism
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
Software process a` la algebra: OBJ for OBJ
ICSE '90 Proceedings of the 12th international conference on Software engineering
A conceptual model for megaprogramming
ACM SIGSOFT Software Engineering Notes
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Procedural implementation of algebraic specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parametrized programming in LILEANNA
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular Article: Another look at parameterization for order-sorted algebraic specifications
Proceedings of the 30th IEEE symposium on Foundations of computer science
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
Tools for the storage and retrieval of reusable MIS software in Ada
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Functional specifications of reusable MIS software in Ada
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Designware: software development by refinement
High integrity software
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automated Software Engineering
An Object-Oriented Tool for Tracing Requirements
IEEE Software
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
Logical systems for structured specifications
Theoretical Computer Science
On the Algebraic Specification of Databases
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Reuse-Oriented Framework for Hierarchical Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
The Extensibility of Maude's Module Algebra
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
GSBL: An Algebraic Specification Language Based on Inheritance
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Semantics of First Order Parametric Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
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
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Component-Based Algebraic Specification and Verification in CafeOBJ
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Exception handling: Formal specification and systematic program construction
ICSE '84 Proceedings of the 7th international conference on Software engineering
On what exactly is going on when software is developed step-by-step
ICSE '84 Proceedings of the 7th international conference on Software engineering
Data abstraction, data bases and conceptual modelling (Position Paper)
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Completeness of many-sorted equational logic
ACM SIGPLAN Notices
Completeness of many-sorted equational logic
ACM SIGPLAN Notices
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Structured theories and institutions
Theoretical Computer Science
Category-based constraint logic
Mathematical Structures in Computer Science
Very abstract specifications: a formalism independent approach
Mathematical Structures in Computer Science
An algebraic approach to reusable Ada components
ACM SIGAda Ada Letters
An algebraic approach to reusable Ada components
ACM SIGAda Ada Letters
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
Recent SRI work in verification
ACM SIGSOFT Software Engineering Notes
More thoughts on specification and verification
ACM SIGSOFT Software Engineering Notes
The future of symbolic computation: mathematics versus languages
ACM SIGSAM Bulletin
A language for configuring multi-level specifications
Theoretical Computer Science - Algebraic methodology and software technology
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Science of Computer Programming
Category localization semantics for specification refinements
Annals of Mathematics and Artificial Intelligence
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
Automated software engineering: supporting understanding
Automated Software Engineering
The VSE Refinement Method in Hets
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
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
On equality predicates in algebraic specification languages
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Order-sorted parameterization and induction
Semantics and algebraic specification
Structured formal development with quotient types in Isabelle/HOL
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Modeling Contexts with Dependent Types
Fundamenta Informaticae
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Interpolation for predefined types
Mathematical Structures in Computer Science
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Looking at probabilistic conditionals from an institutional point of view
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
An axiomatic approach to structuring specifications
Theoretical Computer Science
Using a dependently-typed language for expressing ontologies
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
A proof theoretic interpretation of model theoretic hiding
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Theory presentation combinators
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Towards an institution for Object-Z specifications
International Journal of Computer Applications in Technology
Parameterisation for abstract structured specifications
Theoretical Computer Science
Răzvan Diaconescu, Institution-independent Model Theory
Studia Logica
Taming distributed system complexity through formal patterns
Science of Computer Programming
| Hi-index | 0.00 |