Sciweavers

2050 search results - page 248 / 410
» Visualization of Component-based Software
Sort
View
AAAI
2006
15 years 3 months ago
LOCATE Intelligent Systems Demonstration: Adapting Help to the Cognitive Styles of Users
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
Jack L. Edwards, Greg Scott
ICSE
2003
IEEE-ACM
16 years 2 months ago
Trustworthy and sustainable operations in marine environments
In order to address challenges and opportunities of engineering information systems for network-centric warfare, we have developed a prototype for trustworthy and sustainable oper...
Martin Fredriksson, Rune Gustavsson
ICFEM
2009
Springer
15 years 9 months ago
Symbolic Query Exploration
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
Margus Veanes, Pavel Grigorenko, Peli de Halleux, ...
FASE
2007
Springer
15 years 8 months ago
S2A: A Compiler for Multi-modal UML Sequence Diagrams
We report on S2A, a compiler that translates Modal UML Sequence Diagrams (MSDs), a UML-compliant version of Live Sequence Charts (LSCs), into AspectJ code. It thus provides full co...
David Harel, Asaf Kleinbort, Shahar Maoz
ECLIPSE
2006
ACM
15 years 8 months ago
Embedded device solution life cycle support with Eclipse
The effectiveness of life cycle management of an embedded device solution is crucial to its value proposition. This paper shows that Eclipse technology can be used for both tooli...
ChangWoo Jung, Han Chen