Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...
We believe that for developing applications in a specific domain, the best kindofsoftwarecomponent model touseis adomain-specificone. Wealso believe that current component models i...
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
Tolga Goktekin, Murat Cenk Cavusoglu, Frank Tendic...
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...