47 search results - page 6 / 10 » Specification Structures and Propositions-as-Types for Concu... |
135
Voted
ECSCW
2001
15 years 5 months ago
2001
Work processes in team based software development need to be structured to minimise and resolve conflicting or divergent work. Current software development methodologies propose wa...
107
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
147
click to vote
METRICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
156
Voted
SAC
1999
ACM
15 years 8 months ago
1999
ACM
To provide data consistency in the presence of failures and concurrency, database methods will continue to be important to the processing of shared information in a mobile computi...
119
click to vote
BIRTHDAY
1991
Springer
15 years 7 months ago
1991
Springer
: In this paper, we present a software engineer's view of user-interface development. First, we illustrate the main problem areas responsible for difficulties in building high...