Sciweavers

19367 search results - page 567 / 3874
» Fine-Grain Process Modelling
Sort
View
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 5 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
202
Voted
HICSS
2002
IEEE
142views Biometrics» more  HICSS 2002»
16 years 13 days ago
Multi-perspective Enterprise Modeling (MEMO) - Conceptual Framework and Modeling Languages
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
Ulrich Frank
DAGSTUHL
2006
15 years 8 months ago
Model Transformation Technologies in the Context of Modelling Software Systems
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
Oscar Pastor
248
Voted
CVPR
2008
IEEE
16 years 9 months ago
Trajectory analysis and semantic region modeling using a nonparametric Bayesian model
We propose a novel nonparametric Bayesian model, Dual Hierarchical Dirichlet Processes (Dual-HDP), for trajectory analysis and semantic region modeling in surveillance settings, i...
Xiaogang Wang, Keng Teck Ma, Gee Wah Ng, W. Eric L...
VAMOS
2010
Springer
15 years 9 months ago
Variability Modelling for Model-Driven Development of Software Product Lines
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...
Ina Schaefer