An object addressing mechanism for statically typed languages with multiple inheritance
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Virtual classes: a powerful mechanism in object-oriented programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
COCS '90 Proceedings of the ACM SIGOIS and IEEE CS TC-OA conference on Office information systems
Viewing object as patterns of communicating agents
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Towards a type theory for active objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
A new set interpretation of the inheritance relation and its checking
ACM SIGPLAN OOPS Messenger
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Genericity versus inheritance reconsidered: self-reference using generics
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Applying specialization to process models
COCS '95 Proceedings of conference on Organizational computing systems
ACM Computing Surveys (CSUR)
A case-tool for supporting navigation in the class hierarchy
ACM SIGSOFT Software Engineering Notes
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On the role of language constructs for framework design
ACM Computing Surveys (CSUR)
An Aristotelian understanding of object-oriented programming
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object-oriented modelling of parallel hardware systems
Proceedings of the conference on Design, automation and test in Europe
Communications of the ACM
Using petri nets for specifying active objects and generative communication
Concurrent object-oriented programming and petri nets
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
CoOperative objects: principles, use and implementation
Concurrent object-oriented programming and petri nets
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Subtyping in distributed systems
Formal methods for distributed processing
Process Specialization: Defining Specialization for State Diagrams
Computational & Mathematical Organization Theory
Data & Knowledge Engineering
An Algebraic Theory of Object-Oriented Systems
IEEE Transactions on Knowledge and Data Engineering
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
A Marriage of Class- and Object-Based inheritance Without Unwanted Children
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
The Challenge of Object Orientation for the Analysis of Concurrent Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Scalable and Recoverable Implementation of Object Evolution for the PJama1 Platform
POS-9 Revised Papers from the 9th International Workshop on Persistent Object Systems
A Framework to Translate UML Class Generalization into Java Code
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
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
On the Behavioral Inheritance of State-Based Objects
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
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
A Modern Integration of Cognitive and Computer Sciences
UAHCI '09 Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
Enhanced Type-based Component Compatibility Using Deployment Context Information
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebra of Behavioural Types
Information and Computation
Soft-device inheritance in the knowledge grid
AIS-ADM 2005 Proceedings of the 2005 international conference on Autonomous Intelligent Systems: agents and Data Mining
Side-effect free functions in object-oriented languages
Computer Languages
Formally based modeling and inheritance of behaviour in object-oriented systems
Journal of Systems and Software
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Service substitutability analysis based on behavior automata
Innovations in Systems and Software Engineering
Hi-index | 0.02 |