COCA: collaborative objects coordination architecture
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
A collaboration specification language
Proceedings of the 2nd conference on Domain-specific languages
Graphic visualization and animation of LOTOS execution traces
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Concurrency and Data Types: A Specification Method: An Example with LOTOS
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Converging CSP specifications and C++ programming via selective formalism
ACM Transactions on Embedded Computing Systems (TECS)
Program entanglement, feature interaction and the feature language extensions
Computer Networks: The International Journal of Computer and Telecommunications Networking
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
Computer Standards & Interfaces
A collaboration specification language
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Multi-dimensional composition by objective in aspect-oriented requirements analysis
Proceedings of the 13th international workshop on Early Aspects
Electronic Notes in Theoretical Computer Science (ENTCS)
From task to dialog model in the UML
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Specifying agent's goals in 3d scenarios using process algebras
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Towards a symbolic modal logic for LOTOS
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
Hi-index | 0.00 |