47 search results - page 6 / 10 » Specification Structures and Propositions-as-Types for Concu... |
ECSCW
2001
13 years 9 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...
GECCO
2005
Springer
14 years 1 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 ...
METRICS
2002
IEEE
14 years 18 days 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...
SAC
1999
ACM
13 years 12 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...
BIRTHDAY
1991
Springer
13 years 11 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...