8627 search results - page 415 / 1726 » Software Engineering Using RATionale |
217
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
178
click to vote
UIST
2000
ACM
15 years 10 months ago
2000
ACM
The ToolStone is a cordless, multiple degree-of-freedom (MDOF) input device that senses physical manipulation of itself, such as rotating, flipping, or tilting. As an input device...
142
click to vote
AVI
2004
15 years 8 months ago
2004
We describe the results of empirical investigations that explore the effectiveness of moving graph diagrams to improve the comprehension of their structure. The investigations inv...
207
click to vote
SEKE
2010
Springer
15 years 5 months ago
2010
Springer
Topic hierarchies are very useful for managing, searching and browsing large repositories of text documents. The hierarchical clustering methods are used to support the constructi...
199
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...