Sciweavers

590 search results - page 39 / 118
» Software engineering tools and environments: a roadmap
Sort
View
SIGMOD
2007
ACM
111views Database» more  SIGMOD 2007»
14 years 8 months ago
User-centric personalized extensibility for data-driven web applications
We describe a novel programming model for building, extending, and personalizing web-based data-driven applications. Categories and Subject Descriptors D.2.2 [Software Engineering...
Nitin Gupta 0003, Fan Yang 0002, Alan J. Demers, J...
LPAR
2005
Springer
14 years 2 months ago
Integration of a Software Model Checker into Isabelle
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
Matthias Daum, Stefan Maus, Norbert Schirmer, M. N...
UIST
2004
ACM
14 years 1 months ago
Revisiting visual interface programming: creating GUI tools for designers and programmers
Involving graphic designers in the large-scale development of user interfaces requires tools that provide more graphical flexibility and support efficient software processes. Th...
Stéphane Chatty, Stéphane Sire, Jean...
ECLIPSE
2007
ACM
14 years 13 days ago
Predicting buggy changes inside an integrated development environment
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
Janaki T. Madhavan, E. James Whitehead Jr.
ATAL
2005
Springer
14 years 2 months ago
Comprehending agent software
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
Dung N. Lam, K. Suzanne Barber