Sciweavers

2404 search results - page 228 / 481
» Postmodernism and Control Engineering
Sort
View
ICSE
1995
IEEE-ACM
15 years 10 months ago
Deriving Specifications from Requirements: An Example
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
Michael Jackson, Pamela Zave
AOSD
2008
ACM
15 years 8 months ago
Expressive scoping of dynamically-deployed aspects
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
Éric Tanter
FASE
2008
Springer
15 years 8 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
AVI
2004
15 years 8 months ago
Painting pictures to augment advice
I present an approach to designing decision support systems. The approach is to dissect a decision from both a normative and a cognitive perspective, and then to design a diagram ...
Kevin Burns
AVI
2004
15 years 8 months ago
The challenge of information visualization evaluation
As the field of information visualization matures, the tools and ideas described in our research publications are reaching users. The reports of usability studies and controlled e...
Catherine Plaisant