1789 search results - page 196 / 358 » Glyphs for Software Visualization |
133
click to vote
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
141
Voted
FOIS
2001
15 years 6 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
119
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
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...
131
Voted
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
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...
112
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
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...