Sciweavers

29 search results - page 2 / 6
» sigsoft 2009
Sort
View
SIGSOFT
2010
ACM
13 years 3 months ago
Third international workshop on software product management -- IWSPM'09
Software product management steers the success of a product in all its lifecycle stages by thoughtful application of planning, coordination, and control. The third international w...
Tony Gorschek, Samuel Fricker, Sjaak Brinkkemper, ...
SIGSOFT
2009
ACM
14 years 5 months ago
Engineering search computing applications: vision and challenges
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
Marco Brambilla, Stefano Ceri
SIGSOFT
2009
ACM
13 years 9 months ago
Srijan: a graphical toolkit for sensor network macroprogramming
Macroprogramming is an application development technique for wireless sensor networks (WSNs) where the developer specifies the behavior of the system, as opposed to that of the c...
Animesh Pathak, Mahanth K. Gowda
SIGSOFT
2009
ACM
14 years 5 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
SIGSOFT
2009
ACM
14 years 5 months ago
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
Esteban Pavese, Sebastián Uchitel, Ví...