Sciweavers

2913 search results - page 155 / 583
» How Much to Copy
Sort
View
VISSOFT
2002
IEEE
14 years 3 months ago
Runtime Visualisation of Object Oriented Software
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
Michael P. Smith, Malcolm Munro
ECOOPW
1998
Springer
14 years 3 months ago
Software Quality in the Objectory Process
In this paper we discuss how software quality assurance is realized in Rational Objectory. Although much support is given through guidelines and checkpoints, the tool fails to prov...
Klaas van den Berg
CHI
1996
ACM
14 years 2 months ago
When Using the Tool Interferes with Doing the Task
How much time the user spends working on a task versus fiddling with the tool is an important aspect of usability. The concept of the ratio and distribution of tool-only operation...
Susan S. Kirschenbaum, Wayne D. Gray, Brian D. Ehr...
FORMATS
2006
Springer
14 years 2 months ago
From MITL to Timed Automata
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
Oded Maler, Dejan Nickovic, Amir Pnueli
COLING
2008
14 years 6 days ago
Generation under Space Constraints
Reasoning about how much to generate when space is limited is a challenge for generation systems. This paper presents two algorithms that exploit the discourse structure to decide...
Cécile Paris, Nathalie Colineau, Andrew Lam...