2713 search results - page 356 / 543 » Designing Personal Tele-Embodiment |
149
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
144
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
143
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Commercial software project managers design project organizational structure carefully, mindful of available skills, division of labour, geographical boundaries, etc. These organi...
140
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
135
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...