Sciweavers

320 search results - page 28 / 64
» End-User Software Engineering Position Paper
Sort
View
ADAEUROPE
2007
Springer
14 years 1 months ago
Static Detection of Livelocks in Ada Multitasking Programs
Abstract. In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms’ worst-case execution time is exponential, they...
Johann Blieberger, Bernd Burgstaller, Robert Mitte...
SCAM
2006
IEEE
14 years 1 months ago
Linking Analysis and Transformation Tools with Source-Based Mappings
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...
Magiel Bruntink
IUI
2005
ACM
14 years 1 months ago
Adaptive navigation support with public displays
In this paper, we describe a public navigation system which uses adaptive displays as directional signs. The displays are mounted to walls where they provide passersby with direct...
Christian Kray, Gerd Kortuem, Antonio Krüger
EUROMICRO
2004
IEEE
13 years 11 months ago
Introducing Agile Methods: Three Years of Experience
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...
Grigori Melnik, Frank Maurer
RE
2006
Springer
13 years 7 months ago
Exposing Tacit Knowledge via Pre-Requirements Tracing
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
Andrew Stone, Peter Sawyer