Sciweavers

1804 search results - page 191 / 361
» Use Cases in Model-Driven Software Engineering
Sort
View
FOSSACS
2010
Springer
15 years 7 months ago
Linearly-Used Continuations in the Enriched Effect Calculus
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
Jeff Egger, Rasmus Ejlers Møgelberg, Alex S...
SOCO
2008
Springer
15 years 4 months ago
Composing Components and Services Using a Planning-Based Adaptation Middleware
Self-adaptive component-based architectures provide methods and mechanisms to support the dynamic adaptation of their structure under evolving execution context. Dynamic adaptation...
Romain Rouvoy, Frank Eliassen, Jacqueline Floch, S...
IUI
2012
ACM
14 years 10 hour ago
Using intelligent natural user interfaces to support sales conversations
During sales conversations, gestures and mimics are of high importance to communicate information about a product. One prominent example for such sales gestures is the meat and ch...
Sven Gehring, Markus Löchtefeld, Florian Daib...
KBSE
2002
IEEE
15 years 9 months ago
Model-Based Tests of Truisms
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
Tim Menzies, David Raffo, Siri-on Setamanit, Ying ...
SIGSOFT
2006
ACM
16 years 5 months ago
Finding failure-inducing changes in java programs using change classification
Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failure(s) are not always easy to find. W...
Barbara G. Ryder, Frank Tip, Maximilian Störz...