On Ada packages, types and task types
ACM SIGAda Ada Letters
Behavior sampling: a technique for automated retrieval of reusable components
ICSE '92 Proceedings of the 14th international conference on Software engineering
Retrieving reusable software by sampling behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Deriving programs using generic algorithms
IBM Systems Journal
Inheritance of rewrite rule structures applied to symbolic computation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Oblivious data structures: applications to cryptography
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Toward a complete transformational toolkit for compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equations as a uniform framework for partial evaluation and abstract interpretation
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
New type signatures for legacy Fortran subroutines
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Extending constraint logic programming with open functions
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Toward a Mathematical Foundation of Software Engineering Methods
IEEE Transactions on Software Engineering
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
On abstract data types presented by multiequations
Theoretical Computer Science
Observational proofs by rewriting
Theoretical Computer Science
A unified language processing methodology
Theoretical Computer Science
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computing Software
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
A Development Environment for an Object Specification Language
IEEE Transactions on Knowledge and Data Engineering
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
Computer assisted manipulation of algebraic process specifications
ACM SIGPLAN Notices
CASL: the common algebraic specification language
Theoretical Computer Science
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Mixed Formal Specifications with PVS
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Formal Specification and Proof Techniques for Mixed Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Programs, Proofs and Parametrized Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Combining Logics: Parchments Revisited
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Proof Normalization of Structured Algebraic Specifications Is Convergent
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Abstraction Barriers in Equational Proof
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
On Oracles for Interpreting Test Results against Algebraic Specifications
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Testing from Structured Algebraic Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Extended Institutions for Testing
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
On Trace Assertion Method of Module Interface Specification with Concurrency
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
The Common Framework Initiative for Algebraic Specification and Development of Software
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Requirement Oriented Programming
Selected Papers from the International Seminar on Generic Programming
Language Independent Container Specification
Selected Papers from the International Seminar on Generic Programming
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
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
On Verification of Refinements of Timed Distributed Algorithms
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
A Generalization of Dijkstra's Calculus to Typed Program Specifications
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Cooperation of Formal Methods in an Engineering Based Software Development Process
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Verifying a Simple Pipelined Microprocessor Using Maude
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Object-oriented programming and software development: a critical assessment
Programming methodology
On algebraic and logical specifications of classes of regular languages
Theoretical Computer Science - Australasian computer science
Simply Observable Behavioral Specification
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Frameworks in Catalysis: pictorial notation and formal semantics
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Computer algebra handbook
Specifying reactive systems by abstract events
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Journal of Functional Programming
The algebraic structure of interfaces
Science of Computer Programming
Natural semantics as a static program analysis framework
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
Pragmatic Consistency Management in Industrial Requirements Specifications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Formal design and verification of operational transformation algorithms for copies convergence
Theoretical Computer Science - Algebraic methodology and software technology
A framework for geometric constraint satisfaction problem
Proceedings of the 2006 ACM symposium on Applied computing
Prototyping 3APL in the Maude term rewriting language
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
The rational numbers as an abstract data type
Journal of the ACM (JACM)
Component-Based Specification of Collaborative Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying term rewriting to partial algebra theory
Fundamenta Informaticae
Towards An Integration Of Message Sequence Charts And Timed Maude
Journal of Integrated Design & Process Science
Proving correctness of transformation functions in real-time groupware
ECSCW'03 Proceedings of the eighth conference on European Conference on Computer Supported Cooperative Work
Distributed strategic interleaving with load balancing
Future Generation Computer Systems
Parallel Processes with Implicit Computational Capital
Electronic Notes in Theoretical Computer Science (ENTCS)
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
A Semantic Web Reasoner for Rules, Equations and Constraints
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Simultaneous checking of completeness and ground confluence for algebraic specifications
ACM Transactions on Computational Logic (TOCL)
Meadows and the equational specification of division
Theoretical Computer Science
C++ concepts as institutions: a specification view on concepts
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Integration Testing from Structured First-Order Specifications via Deduction Modulo
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Using invariance under the similarity group to solve geometric constraint systems
Computer-Aided Design
Instruction Sequences with Dynamically Instantiated Instructions
Fundamenta Informaticae
Refinement by Interpretation in a General Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing from Structured Algebraic Specifications: The Veritas Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
User interface declarative models and development environments: a survey
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Prototyping 3APL in the Maude term rewriting language
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
A temporal approach to specification and verification of pointer data-structures
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Correct realizations of interface constraints with OCL
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
On equality predicates in algebraic specification languages
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A thread calculus with molecular dynamics
Information and Computation
Fields, meadows and abstract data types
Pillars of computer science
Testing data types implementations from algebraic specifications
Formal methods and testing
An Interface Group for Process Components
Fundamenta Informaticae
Testing techniques in software engineering
Testing techniques in software engineering
Data Linkage Dynamics with Shedding
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Elementary algebraic specifications of the rational function field
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
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
Towards synchronizing linear collaborative objects with operational transformation
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On better understanding OCL collections or an OCL ordered set is not an OCL set
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Building a modal interface theory for concurrency and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Modal logics for reasoning about object-based component composition
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Formal development of correct classes in computational logic
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
A model for dynamic state-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Applying term rewriting to partial algebra theory
Fundamenta Informaticae
Thue Specifications and Their Monadic Second-order Properties
Fundamenta Informaticae
The ζ-Semantics: A Comprehensive Semantics for Functional Programs
Fundamenta Informaticae
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
The Algebraic Specifications do not have the Tennenbaum Property
Fundamenta Informaticae
A formal approach to software product families
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A Coalgebraic Perspective on Logical Interpretations
Studia Logica
A Process Calculus with Finitary Comprehended Terms
Theory of Computing Systems
On the Behaviours Produced by Instruction Sequences under Execution
Fundamenta Informaticae
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Fundamenta Informaticae
Hi-index | 0.00 |