Sciweavers

2276 search results - page 264 / 456
» Aspect-Oriented Requirements Engineering for Component-Based...
Sort
View
COMPSAC
2003
IEEE
15 years 10 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
125
Voted
IWSAS
2001
Springer
15 years 9 months ago
Constraint-Guided Self-adaptation
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
Sandeep Neema, Ákos Lédeczi
IUI
2000
ACM
15 years 9 months ago
User interactions with everyday applications as context for just-in-time information access
Our central claim is that user interactions with everyday productivity applications (e.g., word processors, Web browsers, etc.) provide rich contextual information that can be lev...
Jay Budzik, Kristian J. Hammond
UIST
1999
ACM
15 years 8 months ago
Integrated Manipulation: Context-Aware Manipulation of 2D Diagrams
Diagram manipulation in conventional CAD systems requires frequent mode switching and explicit placement of the pivot for rotation and scaling. In order to simplify this process, ...
Masaaki Honda, Takeo Igarashi, Hidehiko Tanaka, Sh...
ICSE
2000
IEEE-ACM
15 years 8 months ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...