Elements of interaction: Turing award lecture
Communications of the ACM
IBM Systems Journal
Analysis patterns: reusable objects models
Analysis patterns: reusable objects models
UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Systems Engineering for Business Process Change: Collected Papers from the Epsrc Research Programme
Systems Engineering for Business Process Change: Collected Papers from the Epsrc Research Programme
Designing Applications with MSMQ: Message Queuing for Developers
Designing Applications with MSMQ: Message Queuing for Developers
Systems Modeling for Business Process Improvement
Systems Modeling for Business Process Improvement
Feature Interactions in Telecommunications and Software Systems VI
Feature Interactions in Telecommunications and Software Systems VI
How Did Software Get So Reliable Without Proof?
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Reasoning about systems and their properties
Systems engineering for business process change
Component-Based Systems as an Aid to Design Validation
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
System Design Validation Using Formal Models
RSP '99 Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping
POSD-a notation for presenting complex systems of processes
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Evolvable real-time C3 systems
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Journal of Systems and Software - Special issue: Computer software & applications
State-based modeling method for multiagent conversation protocols and decision activities
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
| Hi-index | 0.00 |