Search Sciweavers | Sciweavers

15778 search results - page 173 / 3156

» Aikido and software engineering

141

click to vote

SSIRI
2010

103views Software Engineering» more SSIRI 2010»

Model-Based Argument Analysis for Evolving Security Requirements

15 years 4 months ago

Download mcs.open.ac.uk

Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...

claim paper

Read More »

127

click to vote

UIST
2010
ACM

113views Software Engineering» more UIST 2010»

Creating collections with automatic suggestions and example-based refinement

15 years 4 months ago

Download dontcheva.org

Adrian Secord, Holger Winnemoeller, Wilmot Li, Mir...

claim paper

Read More »

129

click to vote

UIST
2010
ACM

131views Software Engineering» more UIST 2010»

PhoneTouch: a technique for direct phone interaction on surfaces

15 years 4 months ago

Download www.comp.lancs.ac.uk

Dominik Schmidt, Fadi Chehimi, Enrico Rukzio, Hans...

claim paper

Read More »

149

click to vote

VSTTE
2010
Springer

130views Software Engineering» more VSTTE 2010»

Abstraction and Refinement for Local Reasoning

15 years 4 months ago

Download www.doc.ic.ac.uk

Thomas Dinsdale-Young, Philippa Gardner, Mark J. W...

claim paper

Read More »

116

click to vote

ICSE
2009
IEEE-ACM

88views Software Engineering» more ICSE 2009»

A formal model for self-adaptive and self-healing organizations

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers