7202 search results - page 1133 / 1441 » Software System Engineering: A Tutorial |
167
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
180
click to vote
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
The success of organizations or business networks depends on fast and well-founded decisions taken by the relevant people in their specific area of responsibility. To enable time...
158
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a f...
172
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
180
click to vote
AVI
2008
15 years 9 months ago
2008
In this paper, we describe a user study aimed at evaluating the effectiveness of two different data visualization techniques developed for describing complex environmental changes...