Sciweavers

535 search results - page 47 / 107
» Research on Support Tools for Object-Oriented Software Reeng...
Sort
View
EMSOFT
2011
Springer
12 years 8 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
BIRTHDAY
2005
Springer
13 years 10 months ago
From Graph Transformation to Software Engineering and Back
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
Luciano Baresi, Mauro Pezzè
CHI
2010
ACM
14 years 3 months ago
A strategy-centric approach to the design of end-user debugging tools
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
Valentina Grigoreanu, Margaret M. Burnett, George ...
AVI
2010
13 years 9 months ago
Designing a cross-channel information management tool for workers in enterprise task forces
This paper presents a research project on the design of a cross-channel information management tool for knowledge workers: we focus on IT services professionals in a large enterpr...
Gregorio Convertino, Sanjay Kairam, Lichan Hong, B...
CHI
2005
ACM
14 years 9 months ago
The future of user interface design tools
This workshop aims to gather researchers in the field of user interface design tools to identify important themes for the next decade of research. These tools aid in the design an...
Dan R. Olsen, Scott R. Klemmer