Sciweavers

1101 search results - page 178 / 221
» Barbed Model-Driven Software Development: A Case Study
Sort
View
UML
2000
Springer
15 years 1 months ago
Supporting Several Levels of Restriction in the UML
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
Christian Heide Damm, Klaus Marius Hansen, Michael...
DSVIS
2008
Springer
14 years 11 months ago
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
Interactive systems including multiple interaction devices and surfaces for supporting the collaboration of a group of co-located users are increasingly common in various domains. ...
Frédéric Jourde, Yann Laurillau, Alb...
COMCOM
2000
82views more  COMCOM 2000»
14 years 9 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
CSCW
2000
ACM
14 years 9 months ago
Workflow Systems: Occasions for Success and Failure
Abstract. Workflow technologies have created considerable discussion within the computer supported cooperative work community. Although a number of theoretical and empirical warnin...
Rebecca E. Grinter
CASCON
2010
166views Education» more  CASCON 2010»
14 years 7 months ago
Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
Chunyang Ye, Hans-Arno Jacobsen