Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Software engineering with Ada
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Current trends in concurrency. Overviews and tutorials
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Research directions in object-oriented programming
Research directions in object-oriented programming
Research directions in object-oriented programming
Actors: a conceptual foundation for concurrent object-oriented programming
Research directions in object-oriented programming
Object-oriented specifications
Research directions in object-oriented programming
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented concurrent programming
Object-oriented concurrent programming
Concurrent object-oriented programming in Act 1
Object-oriented concurrent programming
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Parallel program design: a foundation
Parallel program design: a foundation
Inheritance as an incremental modification mechanism or what like is and isn'tlike
on ECOOP '88 (European Conference on Object-Oriented Programming)
Data abstraction mechanisms in SINA/ST
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented programming: an objective sense of style
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Communications of the ACM
A compositional approach to superimposition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Towards programming with knowledge expressions
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the 3rd International Workshop on Distributed Algorithms
Serializability in Distributed Systems with Handshaking
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Script: A communication abstraction mechanism
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
1983 Invited address solved problems, unsolved problems and non-problems in concurrency
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Specifying user interfaces in DisCo
ACM SIGCHI Bulletin
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Proceedings of the 20th international conference on Software engineering
A calculus of superimpositions for distributed systems
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
ACM SIGAPP Applied Computing Review
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
Architectural views of aspects
Proceedings of the 2nd international conference on Aspect-oriented software development
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Design Templates for Collective Behavior
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
A Structural Embedding of Ocsid in PVS
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Localizability of Fairness Constraints and Their Distributed Implementations
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Compositional Proofs for Concurrent Objects
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Liberating Object-Oriented Modeling from Programming-Level Abstractions
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Hybrid Models for Mobile Computing
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Component and Interface Refinement in Closed-System Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Incremental introduction of behaviors with static software architecture
Computer Standards & Interfaces - Special issue: Adaptable software architectures
An Operational Component Specification Method
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Managing software evolution with a formalised abstraction hierarchy
International Journal of Computer Applications in Technology
Simulation as a game design tool
Proceedings of the International Conference on Advances in Computer Enterntainment Technology
Automated Encapsulation of UML Activities for Incremental Development and Verification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Exploring Games as Formal Models
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Model-driven construction of embedded applications based on reusable building blocks: an example
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
On horizontal specification architectures and their aspect-oriented implementations
Transactions on Aspect-Oriented Software Development II
(Behavioural) design patterns as composition operators
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Hi-index | 0.00 |