2030 search results - page 343 / 406 » Checklists for Software Engineering Case Study Research |
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
ECBS
2010
IEEE
14 years 2 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
GROUP
2010
ACM
13 years 5 months ago
2010
ACM
In this paper, we present a view of design methods as discourse on practice. We consider how the deployment of a particular set of design methods enables and constrains not only p...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
In a multi-agent system (MAS), the agents are often considered to be autonomous entities, such as robots or software programs, each under the influence of a local rule, representin...
SCAI
2001
13 years 9 months ago
2001
In this paper we argue that RoboCup is a useful tool for the teaching of AI in undergraduate education. We provide case studies, from two Swedish universities, of how RoboCup based...