Sciweavers

2599 search results - page 100 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
COMMA
2008
15 years 5 months ago
Political Engagement Through Tools for Argumentation
In this paper we discuss the development of tools to support a system for edemocracy that is based upon and makes use of existing theories of argument representation and evaluatio...
Dan Cartwright, Katie Atkinson
SPIN
2009
Springer
15 years 11 months ago
Tool Presentation: Teaching Concurrency and Model Checking
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
Mordechai Ben-Ari
CHI
2003
ACM
15 years 9 months ago
iCAP: an informal tool for interactive prototyping of context-aware applications
iCAP is a system that assists users in prototyping contextaware applications. iCAP supports sketching for creating input and output devices, and using these devices to design inte...
Timothy Sohn, Anind K. Dey
CSMR
2008
IEEE
15 years 10 months ago
A Tool for Optimizing the Build Performance of Large Software Code Bases
We present Build Analyzer, a tool that helps developers optimize the build performance of huge systems written in C. Due to complex C header dependencies, even small code changes ...
Alexandru Telea, Lucian Voinea
SIGSOFT
2010
ACM
15 years 2 months ago
Basset: a tool for systematic testing of actor programs
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...