Sciweavers

3031 search results - page 52 / 607
» Model Driven Testing Based on Test History
Sort
View
148
Voted
ECMDAFA
2008
Springer
166views Hardware» more  ECMDAFA 2008»
15 years 2 months ago
Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
Manuel Bork, Leif Geiger, Christian Schneider, Alb...
ICFEM
2007
Springer
15 years 4 months ago
Testing for Refinement in CSP
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
Ana Cavalcanti, Marie-Claude Gaudel
HCI
2007
15 years 2 months ago
Relationship Model in Cultural Usability Testing
Culture plays an important role in the global market today. It not only affects products, but also impacts on usability evaluation methods. In this paper we first introduce culture...
Qingxin Shi, Torkil Clemmensen
ISSE
2010
14 years 11 months ago
URDAD as a semi-formal approach to analysis and design
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
Fritz Solms, Dawid Loubser
SEKE
2010
Springer
14 years 11 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl