• 

  A comparison of software effort prediction models using small datasets 

  van Koten, Chikako (Other Type, 2007)

  Constructing an accurate effort prediction model is a challenge in Software Engineering. One difficulty practitioners often experience is that they have only a very small amount of local data to construct a model. The small ...
• 

  On the testability of BDI agent systems 

  Winikoff, Michael; Cranefield, Stephen (Other Type, 2010)

  Before deploying a software system we need to assure ourselves (and stake- holders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that ...
• 

  Reliable group communication and virtual synchrony in multiagent systems 

  Fumarola, Francesco (Dissertation, 2005)

  In the last few years agents and multiagent systems have been strongly investigated by researcher communities all over the world because of the strong contribute and the great potential on software engineering and artificial ...
• 

  Bridging the gap between the model-driven architecture and ontology engineering 

  Cranefield, Stephen; Pan, Jin (Journal Article, International Journal of Human-Computer Studies, 2007)

  Software engineers have many robust commercial tools available to them for creating and manipulating models. Due to the widespread adoption of the Object Management Group (OMG) standards for metamodel definition, model ...
• 

  Verifying social expectations by model checking truncated paths 

  Cranefield, Stephen; Winikoff, Michael (Journal Article, Journal of Logic and Computation, 2010)

  One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectations, together with infrastructure supporting ...

... View More