CLU reference manual
Abstraction and specification in program development
Abstraction and specification in program development
The C++ programming language
Distrbution and Abstract Types in Emerald
IEEE Transactions on Software Engineering - Special issue on distributed systems
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
An overview of LP, the larch power
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
Development and implementation of an object-oriented DBMS
Readings in object-oriented database systems
Programming from specifications
Programming from specifications
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Reasoning about object-oriented programs that use subtypes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
An algebraic model of subtype and inheritance
Advances in database programming languages
Systems programming with Modula-3
Systems programming with Modula-3
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Inheritance in Object-Oriented Z
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Family Values: A Semantic Notion of Subtyping
Family Values: A Semantic Notion of Subtyping
TOWARDS A THEORY FOR ABSTRACT DATA TYPES
TOWARDS A THEORY FOR ABSTRACT DATA TYPES
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
An object-oriented refinement calculus with modular reasoning
An object-oriented refinement calculus with modular reasoning
Object-oriented state machines: subclassing, composition, delegation, and genericity
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Subtypes vs. where clauses: constraining parametric polymorphism
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Modular reasoning in the presence of subclassing
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Forcing behavioral subtyping through specification inheritance
Proceedings of the 18th international conference on Software engineering
Using object-oriented typing to support architectural design in the C2 style
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
ADE—an architecture design environment for component-based software engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Representation Inheritance: A Safe Form of "White Box" Code Inheritance
IEEE Transactions on Software Engineering
Proceedings of the 1997 symposium on Software reusability
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
A middle-out concept of hierarchy (or the problem of feeding the animals)
ACM SIGSOFT Software Engineering Notes
Data groups: specifying the modification of extended state
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Changeable interfaces and promised messages for concurrent components
Proceedings of the 1999 ACM symposium on Applied computing
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
IEEE Transactions on Software Engineering
A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
Packet types: abstract specification of network protocol messages
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Documenting framework behavior
ACM Computing Surveys (CSUR)
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal specification of CORBA services: experience and lessons learned
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Integrating object-oriented programming and protected objects in Ada 95
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiler and tool support for debugging object protocols
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
Concurrent object-oriented programming and petri nets
Flexible types for a concurrent model
Concurrent object-oriented programming and petri nets
Supporting the deployment of object oriented frameworks
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Taming architectural evolution
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Behavioral contracts and behavioral subtyping
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Representation independence, confinement and access control [extended abstract]
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Contract Soundness for object-oriented languages
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 2002 ACM symposium on Applied computing
Fostering component evolution with C# attributes
Proceedings of the International Workshop on Principles of Software Evolution
Objects and classes in Algol-like languages
Information and Computation - FOOL V
Support for subtyping and code re-use in Timor
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Integrating object-oriented programming and protected objects in Ada 95
ACM SIGAda Ada Letters
Formal methods for distributed processing
Subtyping in distributed systems
Formal methods for distributed processing
Behavioural subtyping using invariants and constraints
Formal methods for distributed processing
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Towards Specifying Constraints for Object-Oriented Frameworks
Information Systems Frontiers
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
On Object Systems and Behavioral Inheritance
IEEE Transactions on Software Engineering
Verification of Object Oriented Programs Using Class Invariants
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Composition and Refinement for Partial Object Specifications
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
A Family of the ODMG Object Models
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
CHASE: A Static Checker for JML's Assignable Clause
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Adding Design by Contract to the Ada Language
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Unification of the Models for Types, Classes and State Machines
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
The Construction Principles of the Class Library KARLA
Selected Papers from the International Seminar on Generic Programming
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Forward Simulation for Data Refinement of Classes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Qualifying Types Illustrated by Synchronisation Examples
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Verification of Java's AbstractCollection Class: A Case Study
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
A Model Theory for Generic Schema Management
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Behavioral Conformance Verification in an Integrated Approach Using UML and B
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
On the Precise Meaning of OCL Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Checking behavioural subtypes via refinement
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Behavioural subtyping and property preservation for active objects
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Relating state-based and behaviour-oriented subtyping
Nordic Journal of Computing
Towards specifying constraints for object-oriented frameworks
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Enhancing the Object Constraint Language for More Expressive Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Inheriting and Modifying Behavior
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
On the Behavioral Inheritance of State-Based Objects
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Behavioral Subtyping and Behavioral Enrichment of Multimethods
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Life-cycle inheritance in concurrent object-oriented systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
The Method Replacement Indicator: A Metric for Analyzing Behavioral Substitution
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Inheritance: From Code Reuse to Reasoning Reuse
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
An Investigation of Graph-Based Class Integration Test Order Strategies
IEEE Transactions on Software Engineering
Predicting problems caused by component upgrades
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Static analysis to support the evolution of exception structure in object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Responsibilities and Rewards: Specifying Design Patterns
Proceedings of the 26th International Conference on Software Engineering
Mae---a system model and environment for managing architectural evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Active Surroundings: A Group-Aware Middleware for Embedded Application Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Converting java programs to use generic libraries
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Super and inner: together at last!
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Transition predicate abstraction and fair termination
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Method redefinition: ensuring alternative behaviors
Information Processing Letters
Aspect-oriented programming and modular reasoning
Proceedings of the 27th international conference on Software engineering
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Selective method combination in mixin-based composition
Proceedings of the 2005 ACM symposium on Applied computing
Enhancing component specification by behavior description: the SOFA experience
WISICT '05 Proceedings of the 4th international symposium on Information and communication technologies
Lightweight object specification with typestates
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
A contract-based approach to designing safe systems
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
A contextual interpretation of undefinedness for runtime assertion checking
Proceedings of the sixth international symposium on Automated analysis-driven debugging
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
An Experimental Investigation of Formality in UML-Based Development
IEEE Transactions on Software Engineering
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
Software Refinement with Perfect Developer
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A formal approach to specifying and testing the interoperation between components
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Proceedings of the 28th international conference on Software engineering
The echo approach to formal verification
Proceedings of the 28th international conference on Software engineering
Actor-oriented models for codesign: balancing re-use and performance
Formal methods and models for system design
A proof outline logic for object-oriented programming
Theoretical Computer Science - Formal methods for components and objects
Slicing techniques for verification re-use
Theoretical Computer Science - Formal methods for components and objects
A formal framework for component deployment
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Modular invariants for layered object structures
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
A case study of specification and verification using JML in an avionics application
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Component composition preserving behavioral contracts based on communication traces
Theoretical Computer Science - Implementation and application of automata
Osiris: generating concern models from source code
ACM SIGSOFT Software Engineering Notes
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
A Methodological Approach to Choose Components in Development and Evolution Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
ClassCompass: A software design mentoring system
Journal on Educational Resources in Computing (JERIC)
Config: a case study in combining software engineering techniques
Scientific Programming
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Extending a Component Specification Language with Time
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Hiding and Visibility in Interface Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
IBDL: a language for interface behavior specification and testing
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Preliminary design of ADL/C++: a specification language for C++
COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Provisions and obligations in policy management and security applications
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Can programming be liberated from the two-level style: multi-level programming with deepjava
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Modular typestate checking of aliased objects
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Modular verification of higher-order methods with mandatory calls specified by model programs
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Separation logic, abstraction and inheritance
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Enhancing modular OO verification with separation logic
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Domain-specific Semantics and Data Refinement of Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Invariants for Non-Hierarchical Object Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Preservation of probabilistic information flow under refinement
Information and Computation
Matchmaking and ranking of semantic web services using integrated service profile
International Journal of Metadata, Semantics and Ontologies
Crosscutting invariant and an efficient checking algorithm using program slicing
ACM SIGPLAN Notices
Framework composition conformance via refinement checking
Proceedings of the 2008 ACM symposium on Applied computing
Separation Logic for Multiple Inheritance
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of evolving software via component substitutability analysis
Formal Methods in System Design
Reasoning about Object Structures Using Ownership
Verified Software: Theories, Tools, Experiments
Modular Reasoning in Object-Oriented Programming
Verified Software: Theories, Tools, Experiments
Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS
Engineering Societies in the Agents World VIII
FM '08 Proceedings of the 15th international symposium on Formal Methods
The Challenges of Service Evolution
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Service Specification and Matchmaking Using Description Logic
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
A Unified Framework for Verification Techniques for Object Invariants
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Formal Verification by Reverse Synthesis
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
jStar: towards practical verification for java
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
An empirical study of the design and implementation of object equality in Java
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
A Lightweight Container Architecture for Runtime Verification
Runtime Verification
The MOBIUS Proof Carrying Code Infrastructure
Formal Methods for Components and Objects
ACM Transactions on Computer-Human Interaction (TOCHI)
Incremental Reasoning for Multiple Inheritance
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Algebraic specification techniques for parametric types with logic-based constraints
Proceedings of the 2009 ACM symposium on Applied Computing
Shortcomings of the Embedding of OCL into QVT ImperativeOCL
Models in Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic dimension inference and checking for object-oriented programs
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
The need for flexible object invariants
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
An Extensible Aspect-Oriented Modeling Environment
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Checking Framework Interactions with Relationships
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Tool Support for the Design and Management of Spatial Context Models
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Checking with Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Traditional assignment considered harmful
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Refinement-Preserving Co-evolution
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Approach to Behavioral Subtyping Based on Static Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Type Theory and Language Constructs for Objects with States
Electronic Notes in Theoretical Computer Science (ENTCS)
A measurement framework for object-oriented software testability
Information and Software Technology
Method redefinition---ensuring alternative behaviors
Information Processing Letters
Interfaces first (and foremost) with Java
Proceedings of the 41st ACM technical symposium on Computer science education
Conformance notions for the coordination of interaction components
Science of Computer Programming
A behavioural notion of subtyping for object-oriented programming in SPARK95
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Object orientation without extending Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Using history invariants to verify observers
ESOP'07 Proceedings of the 16th European conference on Programming
Behavior consistent inheritance in UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
UML behavior: inheritance and implementation in current object-oriented languages
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
Types and modularity for implicit invocation with implicit announcement
ACM Transactions on Software Engineering and Methodology (TOSEM)
A practical approach to model extension
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
A representation-independent behavioral semantics for object-oriented components
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Design in CommUnity with extension morphisms
Formal methods and hybrid real-time systems
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Service engineering with the SIMS design and validation tools
Nordic Journal of Computing
A method of automatic assessment of feature compatibility in mobile networks
WTS'10 Proceedings of the 9th conference on Wireless telecommunications symposium
Automatic inference of abstract type behavior
Proceedings of the IEEE/ACM international conference on Automated software engineering
Tool support for the design and management of context models
Information Systems
Composable specifications for structured shared-memory communication
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Object-oriented software considerations in airborne systems and equipment certification
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Contracts for first-class classes
Proceedings of the 6th symposium on Dynamic languages
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
An observer-based notion of model inheritance
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
The essence of monotonic state
Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation
A theory of mediators for eternal connectors
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Dynamic frames in java dynamic logic
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
A refinement methodology for object-oriented programs
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Specification and verification: the Spec# experience
Communications of the ACM
Metamodeling semantics of multiple inheritance
Science of Computer Programming
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mining service abstractions (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Incremental reasoning with lazy behavioral subtyping for multiple inheritance
Science of Computer Programming
Is my model right? Let me ask the expert
Journal of Systems and Software
Separating different responsibilities into parallel hierarchies
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Communications of the ACM
Developing a profile for using object-oriented Ada in high-integrity systems
ACM SIGAda Ada Letters
Computational thinking: modeling applied to the teaching and learning of English
Proceedings of the 49th Annual Southeast Regional Conference
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Automatic detection of feature interactions using the Java modeling language: an experience report
Proceedings of the 15th International Software Product Line Conference, Volume 2
Revisiting information hiding: reflections on classical and nonclassical modularity
Proceedings of the 25th European conference on Object-oriented programming
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
WP semantics and behavioral subtyping
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Journal of Computing Sciences in Colleges
Specifying subtypes in SCJ programs
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
An association-based model of dynamic behaviour
Proceedings of the 1st International Workshop on Free Composition
Verifying traits: a proof system for fine-grained reuse
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
A model transformation semantics and analysis methodology for SecureUML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Poplar: Java composition with labels and AI planning
Proceedings of the 2nd workshop on Free composition @ onward! 2011
Beyond assertions: advanced specification and verification with JML and ESC/Java2
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Creating objects in the flexible authorization framework
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
Assertion-based encapsulation, object invariants and simulations
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Model evolution and refinement
Science of Computer Programming
Modular verification of static class invariants
FM'05 Proceedings of the 2005 international conference on Formal Methods
A methodology for writing class contracts
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Semantic hierarchy refactoring by abstract interpretation
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
An Algebra of Behavioural Types
Information and Computation
Designing with inheritance and composition
Proceedings of the 3rd international workshop on Variability & Composition
Design by contract for aspects, by aspects
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
A formal framework for confidentiality-preserving refinement
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Using the spec# language, methodology, and tools to write bug-free programs
Advanced Lectures on Software Engineering
Modular software upgrades for distributed systems
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
A component-oriented substitution model
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Automated creation and assessment of component adapters with test cases
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Component composition preserving behavioural contracts based on communication traces
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
A behavioral model for software containers
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Refinement and consistency in component models with multiple views
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
A testing strategy for abstract classes
Software Testing, Verification & Reliability
State inference for dynamically changing interfaces
Computer Languages
Moving from specifications to contracts in component-based design
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Applying design by contract to feature-oriented programming
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Automating the wrapping of software building blocks with test cases
Proceedings of the 17th international doctoral symposium on Components and Architecture
Formally based modeling and inheritance of behaviour in object-oriented systems
Journal of Systems and Software
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
Typing model transformations using tracts
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Modular and verified automatic program repair
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Compositionality and refinement in model-driven engineering
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
A liskov principle for delta-oriented programming
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Tracking behavioral constraints during object-oriented software evolution
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Modular verification of OO programs with interfaces
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Design pattern-based extension of class hierarchies to support runtime invariant checks
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Correctness of intrusive data structures using mixins
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Local Reasoning for Global Invariants, Part II: Dynamic Boundaries
Journal of the ACM (JACM)
Local Reasoning for Global Invariants, Part I: Region Logic
Journal of the ACM (JACM)
Automatic testing of sequential and concurrent substitutability
Proceedings of the 2013 International Conference on Software Engineering
Safe substitution for service-based applications
Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
On model compatibility with referees and contexts
Software and Systems Modeling (SoSyM)
Contracts for First-Class Classes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reuse in software verification by abstract method calls
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Using model types to support contract-aware model substitutability
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Separation logic for object-oriented programming
Aliasing in Object-Oriented Programming
Journal of Computer Security - Foundational Aspects of Security
Hi-index | 0.03 |
The use of hierarchy is an important component of object-oriented design. Hierarchy allows the use of type families, in which higher level supertypes capture the behavior that all of their subtypes have in common. For this methodology to be effective, it is necessary to have a clear understanding of how subtypes and supertypes are related. This paper takes the position that the relationship should ensure that any property proved about supertype objects also holds for its subtype objects. It presents two ways of defining the subtype relation, each of which meets this criterion, and each of which is easy for programmers to use. The subtype relation is based on the specifications of the sub- and supertypes; the paper presents a way of specifying types that makes it convenient to define the subtype relation. The paper also discusses the ramifications of this notion of subtyping on the design of type families.