The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
Brian F. Gore, Becky L. Hooey, Nancy Haan, Deborah...
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
Helge Grenager Solheim, Frank M. Lillehagen, Sobah...
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
This first edition of the workshop Model-driven Software Adaptation (M-ADAPT’07) took place in the Technische Universit¨at Berlin with the International Conference ECOOP’07 i...