Sciweavers

3387 search results - page 552 / 678
» Automating the Metamodeling Process
Sort
View
163
Voted
KBSE
2002
IEEE
15 years 10 months ago
SeDiTeC - Testing Based on Sequence Diagrams
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
Falk Fraikin, Thomas Leonhardt
145
Voted
CDC
2009
IEEE
142views Control Systems» more  CDC 2009»
15 years 9 months ago
Towards STEM control: Modeling framework and development of a sensor for defocus control
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
Arturo Tejada, Wouter Van den Broek, Saartje W. va...
EUROPAR
2009
Springer
15 years 9 months ago
CAMEO: Continuous Analytics for Massively Multiplayer Online Games on Cloud Resources
Massively Multiplayer Online Games (MMOGs) have grown to entertain tens of millions of players daily. Currently, the game operators and third-parties using gameplay information rel...
Alexandru Iosup
MODELS
2009
Springer
15 years 9 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
138
Voted
AIME
2001
Springer
15 years 9 months ago
Using Critiquing for Improving Medical Protocols: Harder than It Seems
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themse...
Mar Marcos, Geert Berger, Frank van Harmelen, Anne...