The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Limits in modelling evolving computer-based systems
Proceedings of the 2002 ACM symposium on Applied computing
UML 2 Toolkit
Applications of context-aware computing in hospital work: examples and design principles
Proceedings of the 2004 ACM symposium on Applied computing
Development and evaluation of emerging design patterns for ubiquitous computing
DIS '04 Proceedings of the 5th conference on Designing interactive systems: processes, practices, methods, and techniques
A real-time profile for UML and how to adapt it to SDL
SDL'03 Proceedings of the 11th international conference on System design
Development of distributed systems with SDL by means of formalized APIs
SDL'03 Proceedings of the 11th international conference on System design
Model-based generation of SDL specifications for the early prototyping of reactive systems
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
eODL and SDL in combination for components
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Early validation of deployment and scheduling constraints for MSC specifications
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
| Hi-index | 0.00 |
Ubiquitous computing and communications services are the focus of intense current research and development. These systems are essentially asynchronous reactive systems of independent agents. However, there is little evidence of recent use of visual formalisms like SDL in their development. This represents a challenge and an opportunity.