| 1. |
- Brazier, Frances, et al.
(författare)
-
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
- 1998
-
Konferensbidrag (refereegranskat)abstract
- A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that part of the proofs can be reused in relation to reuse of components.
|
|
| 2. |
- Brazier, Frances, et al.
(författare)
-
Compositional verification of a multi-agent system for one-to-many negotiation
- 2004
-
Ingår i: Applied intelligence (Boston). - DORDRECHT : KLUWER ACADEMIC PUBL. - 0924-669X .- 1573-7497. ; 20:2, s. 95-117
-
Tidskriftsartikel (refereegranskat)abstract
- Verification of multi-agent systems hardly occurs in design practice. One of the difficulties is that required properties for a multi-agent system usually refer to multi-agent behaviour which has nontrivial dynamics. To constrain these multi-agent behavioural dynamics, often a form of organisational structure is used, for example, for negotiating agents, by following strict protocols. The claim is that these negotiation protocols entail a structured process that is manageable with respect to analysis, design and execution of such a multi-agent system. In this paper this is shown by a case study: verification of a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. A compositional verification method for multi-agent systems is applied that allows to (1) logically relate dynamic properties of the multi-agent system as a whole to dynamic properties of agents, and (2) logically relate dynamic properties of agents to properties of their subcomponents. Given that properties of these subcomponents can be verified by more standard methods, these logical relationships provide proofs of the dynamic properties of the multi-agent system as a whole.
|
|
| 3. |
- Dittrich, Yvonne, et al.
(författare)
-
Can Software Development be too Use Oriented? Going Native as an issue in Participatory Design.
- 2001
-
Konferensbidrag (refereegranskat)abstract
- In participatory design there is a risk that the emphasis on the co-operation with future users let the developers forget to step back and reflect on what they learned. In this article we report about a case study of a software project and the resulting system. In spite of a user oriented way of developing the system, problems showed up both when using the software and when the developers later tried to modify it. Part of the reason for the problems was the (lack of) structure in the system. We use the 'going native' - a well discussed methodological issue in ethnography - as a metaphor. The ethnographer have to both 'go native' to be able to understand the culture studied but also step back and reflect. In the same way the software developer has to 'step back' and reflect and form their own conceptual model.
|
|
| 4. |
- Dittrich, Yvonne, et al.
(författare)
-
Co-Operative Method Development revisited
- 2005
-
Konferensbidrag (refereegranskat)abstract
- During the last five years, we applied a research approach we call 'Co-operative Method Development' formulated on first experience with empirical research focusing especially on the social side of software engineering. This position paper summarizes the experiences and discusses the improvement and further development of this research approach based on our experiences in different research projects in co-operation with industrial partners.
|
|
| 5. |
- Dittrich, Yvonne, et al.
(författare)
-
Cooperative method development : Combining qualitative empirical research with method, techniqueand process improvement
- 2008
-
Ingår i: Empirical Software Engineering. - : Springer Netherlands. - 1382-3256 .- 1573-7616. ; 13:3, s. 231-260
-
Tidskriftsartikel (refereegranskat)abstract
- The development of methods tools and process improvements is best to be based on the understanding of the development practice to be supported. Qualitative research has been proposed as a method for understanding the social and cooperative aspects of software development. However, qualitative research is not easily combined with the improvement orientation of an engineering discipline. During the last 6 years, we have applied an approach we call ‘cooperative method development’, which combines qualitative social science fieldwork, with problem-oriented method, technique and process improvement. The action research based approach focusing on shop floor software development practices allows an understanding of how contextual contingencies influence the deployment and applicability of methods, processes and techniques. This article summarizes the experiences and discusses the further development of this approach based on several research projects in cooperation with industrial partners.
|
|
| 6. |
- Dittrich, Yvonne, et al.
(författare)
-
Design for Change
- 2001
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- The report summarises the first year of the research project 'Design for Design in Use of Database Applications'. It focuses on end user tailoring and adaptable systems.
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
- Dittrich, Yvonne, et al.
(författare)
-
How use-oriented development can take place
- 2004
-
Ingår i: Information and Software Technology. - : Elsevier. - 0950-5849 .- 1873-6025. ; 46:9, s. 603-617
-
Tidskriftsartikel (refereegranskat)abstract
- Usability is still a problem for software development. As the introduced software changes the use context, use qualities cannot be fully anticipated. Close co-operation between users and developers during development has been proposed as a remedy. Others fear such involvement of users as it might jeopardize planning and control. Based on the observation of an industrial project, we show how user participation and control can be achieved at the same time. The present article discusses the specific measures that allowed for co-operation between users and developers in an industrial context. It indicates measures to improve software development by focusing on use-orientation, i.e. allowing for user-developer co-operation.
|
|
| 10. |
|
|
