| 1. |
- Nilsson, Peter, et al.
(författare)
-
Glitz : hardware accelerated image compositing using OpenGL
- 2004
-
Ingår i: USENIX association proceedings of the FREENIX track, 2004 USENIX annual technical conference. - Berkeley : USENIX - The Advanced Computing Systems Association. - 1931971226 ; , s. 29-40
-
Konferensbidrag (refereegranskat)abstract
- In recent years 2D graphics applications and window systems tend to use more demanding graphics features such as alpha blending, image transformations and anti-aliasing. These features contribute to the user interfaces by making it possible to add more visual effects as well as new usable functionalities. All together it makes the graphical interface a more hospitable, as well as efficient, environment for the user. Even with today's powerful computers these tasks constitute a heavy burden on the CPU. This is why many proprietary window systems have developed powerful 2D graphics engines to carry out these tasks by utilizing the acceleration capabilities in modem graphics hardware. We present Glitz, an open source implementation of such a graphics engine, a portable 2D graphics library that can be used to render hardware accelerated graphics. Glitz is layered on top of OpenGL and is designed to act as an additional backend for cairo, providing it with hardware accelerated output. Further-more, an effort has been made to investigate if the level of hardware acceleration provided by the X Window System can be improved by using Glitz to carry out its fundamental drawing operations.
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Compositional Verification of Middleware-Based Software Architecture Descriptions
- 2004
-
Ingår i: Proceedings of the 26th International Conference on Software Engineering (ICSE '04). - : IEEE Press. ; , s. 221-230
-
Konferensbidrag (refereegranskat)abstract
- In this paper we present a compositional reasoning to verify middleware-based software architecturedescriptions. We consider a nowadays typical software system development, namely the development of a software application A on a middleware M. Our goal is to efficiently integrate verification techniques, like model checking, in the software life cycle in order to improve the overall software quality. The approach exploits the structure imposed on the system by the software architecture in order to develop an assume-guarantee methodology to reduce properties verification from global to local. We apply the methodology on a non-trivial case study namely the development of a Gnutella system on top of the SIENA event-notification middleware.
|
|
| 5. |
- Kajko-Mattsson, Mira Miroslawa, et al.
(författare)
-
Data mining for validation in software engineering : An example
- 2004
-
Ingår i: International journal of software engineering and knowledge engineering. - 0218-1940. ; 14:4, s. 407-427
-
Tidskriftsartikel (refereegranskat)abstract
- Consider two independently done software engineering studies that used different approaches to cover some of the same subject area, such as software maintenance. Although done differently and for different purposes, to what extent can each study serve as a validation of the other? Within the scope of the subject area overlap, data mining can be applied to provide a quantitative assessment. This paper reports on the data mining that attempted to cross validate two independently done and published software engineering studies of software maintenance, one on a corrective maintenance maturity model, and the other on an objective classification of software maintenance activities. The data mining established that each of the two independently done studies effectively and very strongly validates the other.
|
|
| 6. |
- Kajko-Mattsson, Mira Miroslawa, et al.
(författare)
-
Problems within front-end support
- 2004
-
Ingår i: Journal of Software Maintenance and Evolution. - : Wiley. - 1532-060X .- 1532-0618. ; 16:04-5, s. 309-329
-
Tidskriftsartikel (refereegranskat)abstract
- Within corrective maintenance, the front-end support mainly assists the customer- and back-end maintenance organizations in the communication of corrective maintenance demands. This implies receiving problem reports from customers, transferring them on to the back-end maintenance organization/vendor, and delivering problem solutions from the back-end maintenance organization/vendor to the customers. In this paper, we identify problems as experienced within 37 front-end support organizations in Sweden. Our results show a great variety of problems within the organizations studied. The dominating problems are the complexity of applications, customer knowledge, and complexity of support organizations.
|
|
| 7. |
- Kuzniarz, Ludwik, et al.
(författare)
-
Generating Domain Models from Ontologies.
- 2002
-
Ingår i: International Conference on Object-Oriented Information Systems, LNCS, Springer. - Montpellier, France : SPRINGER-VERLAG BERLIN.
-
Konferensbidrag (refereegranskat)abstract
- The paper presents and elaborates on the idea of automatic acquisition of knowledge about domain structure from ontologies into an object-oriented software development process. The information required to be included in the domain model produced during the development process is identified. The existence of the knowledge in ontologies is investigated. Requirements for ontology description languages are formulated followed by brief evaluation of existing languages against these requirements. A schema for domain knowledge acquisition is outlined. A realization of the schema is sketched in the paper while the implementation details can be found in the technical report.
|
|
| 8. |
- Stafford, Judith A., et al.
(författare)
-
The Application of Dependence Analysis to Software Architecture Descriptions
- 2003
-
Ingår i: Formal Methods for Software Architectures. - Berlin, Heidelberg : Springer. - 9783540200833 ; , s. 52-62
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- As the focus of software design shifts increasingly toward the architectural level, so too are its analysis techniques. Dependence analysis is one such technique that shows promise at this level. In this paper we briefly describe and illustrate the application of dependence analysis to architectural descriptions of software systems.
|
|
| 9. |
|
|
| 10. |
- Aidemark, Joakim, 1965, et al.
(författare)
-
Experimental Dependability Evaluation of the Artk68-FT Real-time Kernel
- 2004
-
Ingår i: Proc. of the International Conference on Real-Time and Embedded Computer Systems and Applications. ; , s. 625-645
-
Konferensbidrag (refereegranskat)abstract
- This paper presents an experimental dependability evaluation of a small real-time kernel called Artk68-FT intended for distributed fault-tolerant real-time systems. A main goal of this research is to improve the dependabilityof such systems by using a two-level approach for tolerating transient faults. By providing mechanisms in the kernel for tolerating transient faults at the node level, the overall reliability is improved since the recovery time is much shorter at the node level than at the system level. Permanent faults and transient faults that cannot be handled at the node level have to be handled at the system level. The experimental evaluation was performed using fault injection experiments on the MC68340 microcontroller executing the kernel and three application tasks. The experimental results show that no wrong results were produced when faults were injected during execution of a critical task protected by Artk68-FT. Moreover, no application crashes were observed in the fault injection experiments with Artk68-FT compared to experiments with a version of the kernel without fault handling mechanisms.
|
|
| 11. |
- Aurum, A, et al.
(författare)
-
State-of-the-art: software inspections after 25 years
- 2002
-
Ingår i: Software Testing, Verification & Reliability. - : Wiley. - 0960-0833 .- 1099-1689. ; 12:3, s. 133-154
-
Tidskriftsartikel (refereegranskat)abstract
- Software inspections, which were originally developed by Michael Fagan in 1976, are an important means to verify and achieve sufficient quality in many software projects today. Since Fagan's initial work, the importance of software inspections has been long recognized by software developers and many organizations. Various proposals have been made by researchers in the hope of improving Fagan's inspection method. The proposals include structural changes to the process and several types of support for the inspection process. Most of the proposals have been empirically investigated in different studies. This is a review paper focusing on the software inspection process in the light of Fagan's inspection method and it summarizes and reviews other types of software inspection processes that have emerged in the last 25 years. This paper also addresses important issues related to the inspection process and examines experimental studies and their findings that are of interest with the purpose of identifying future avenues of research in software inspection.
|
|
| 12. |
- Axelsson, Emil, 1978, et al.
(författare)
-
Wired - a Language for Describing Non-Functional Properties of Digital Circuits
- 2004
-
Ingår i: Proceedings of International Workshop on Designing Correct Circuits. Barcelona, Spain, March 2004.
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Increasingly, designers need to estimate non-functional properties such as area, power consumption and timing, even when working at a high level of abstraction, early in the design. In deep sub-micron processes, it is the routing wires that account for most of the power consumption and signal delays. So, information about the wires is vital for controlling non-functional properties. To deal with more and more complex constructions, current design methods and languages strive towards higher and higher levels of abstraction, and provide only very limited possibilities for low-level control. Often, detailed information about wire properties is only available in the very last design stages - after placement and routing. We propose a language, Wired, that aims to bridge this gap in abstraction levels. The main idea is construction with combinators and higher-order connection patterns. The key to the usefulness of this style is that the combinators have both functional and geometric interpretations. This allows us to construct circuits at high-level, without loosing control over lower levels. Wired goes further than previous methods in that it offers more precise and flexible control over the geometry.
|
|
| 13. |
- Bengtsson, Lars, 1963
(författare)
-
LabView från början : Version 6i
- 2001
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- LabVIEW är ett programmeringsspråk med grafiskt gränssnitt där inte bara in/utmatning av variabler sker i grafisk miljö, utan även själva programmeringen. Boken behandlar LabVIEW från grunden. Trots att inga förkunskaper behövs kommer vi fram till avancerad programskrivning för t ex mätdatainsamling, signal- och databehandling samt programstyrda hemsidor och e-mailfunktioner. Boken innehåller ca 140 övningar med lösningar.
|
|
| 14. |
- Bengtsson, Lars, 1963
(författare)
-
LabView från början : Version 7
- 2004
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- LabVIEW är ett programmeringsspråk med grafiskt gränssnitt där inte bara in/utmatning av variabler sker i grafisk miljö, utan även själva programmeringen. Som programmerare behöver man alltså inte lägga någon tid på rätt kommandosyntax, utan all kraft kan läggas på struktureringen av programmet. Boken behandlar LabVIEW från grunden. Trots att inga förkunskaper behövs kommer vi fram till avancerad programskrivning för t ex mätdatainsamling, signal- och databehandling samt programstyrda hemsidor och e-mailfunktioner. Boken innehåller ca 140 övningar med lösningar.
|
|
| 15. |
- Bengtsson, Lars, 1963
(författare)
-
LabView från början
- 2000
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- LabVIEW är ett programspråk med grafiskt gränssnitt där inte bara in/utmatning av variabler sker i grafisk miljö, utan även själva programmeringen. Boken behandlar LabVIEW från grunden. Trots att inga förkunskaper behövs kommer vi fram till avancerad programskrivning för t ex mätdatainsamling, signal- och databehandling samt programstyrda hemsidor och e-mail. Boken innehåller ca 140 övningar med lösningar.
|
|
| 16. |
|
|
| 17. |
|
|
| 18. |
|
|
| 19. |
- Dittrich, Yvonne
(författare)
-
Anwendungsorientierung und Empirische Forschung in der Softwaretechnik.
- 2001
-
Konferensbidrag (refereegranskat)abstract
- Empirische Forschung und Kooperation mit Industrie werden für die Softwaretechnik immer wichtiger. Methoden und Werkzeuge aus der Forschung müssen sich in dieser Praxis bewähren. Sinnvoll ist daher, sie zusammen mit denjenigen zu entwickeln, die sie später vielleicht anwenden werden. Anwendbarkeit von Software ist immer noch eine der problematischsten Eigenschaften. Mehr als 70% der Softwareentwicklungskosten entfallen auf Wartung, (Nosek, Palvia 1990) ein Grossteil davon auf ?perfektive' Wartung, die Anpassung von Software an sich ändernde oder sich mit erst in der Nutzung herauskristallisierende Anforderungen. Evolutionäre Softwareentwicklung und Methoden, die die Teilnahme von künftigen Anwendern bei der Gestaltung von Software zulassen, sind mittlerweile fast 15 Jahre alt. Trotzdem werden sie in industriellen Kontexten kaum, zumindest nicht bewusst, eingesetzt. Mittels empirischer Forschung, die eine kooperative Methodenentwicklung unterstützt, kann es gelingen, anwendbarere Methoden zu entwickeln.
|
|
| 20. |
- 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.
|
|
| 21. |
- Dittrich, Yvonne, et al.
(författare)
-
Tailoring Co-operation
- 2003
-
Rapport (refereegranskat)abstract
- Tailoring is an area of research in CSCW that allows interlacing design and use in a radical new way. Tailoring is closely related to end-user programming (e.g. spreadsheet development)and a general term to encompass both endeavours is End-User Development. This workshop address tailorability in context of evolving existing systems and applications to the needs of cooperative work practices and organisations. It includes also the cooperative activates of tailoring itself; i.e. collaboration between end users to accomplish tailoring and indirect collaboration between developers and end users to simplify the understanding of tailorable systems. The goal of the workshop is to compare and relate existing research on tailoring and enduser development in the CSCW community, to explore the challenges and future potentials of these technologies, and to identify further directions for research on end-user development in cooperative settings. The workshop is organised in co-operation with the European network of excellence on End-User development. (http://giove.cnuce.cnr.it/eud-net.htm
|
|
| 22. |
-
First Blekinge Institute of Technology Student Workshop on Agent Programming
- 2001
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- The articles presented in this research report are the results of student efforts in the Agent Programming course, held each year at Blekinge Institute of Technology (Department of Software Engineering and Computer Science). The course aims at giving the students an insight into the vast research and industrial application area of autonomous agents and multiagent systems. Consequently, during the course the students have been introduced to the major areas of the agent domain, including: autonomous agents, multiagent systems, engineering of multiagent systems, and areas of applicability. Of course, these areas of research are quite complex and each unique lecture was therefore held by a specific researcher. Among this staff of expertise were researchers from the Societies of Computation programme (IPD/BIT), Imperial College of London, Royal Institute of Technology (DSV), and Massive Entertainment (a swedish game-development company). A new, and important, aspect of the course this year was that each student was required to participate in the writing of a research paper, on a subject within the domain of autonomous agents and/or multiagent systems. The overall goal with these research papers was to, in a natural manner, introduce the students to the process of gaining scientific knowledge, prior to courses involving thesis material. The articles presented in this report are therefore focused on the identification of a certain problem and a subsequent solution to the problem. The results of this part of the course have now been gathered in this research report, and are to be presented during the Blekinge Institute of Technology Student Workshop on Agent Programming (BITSWAP) 2001. The articles presented during the workshop, but also those that did not make it until the workshop submission deadline, have all focused on very diverse areas of research, still positioning themselves in the paradigm of autonomous agents and multiagent systems. Therefore, it was extremely difficult, if not impossible, to gather any larger number of the students? efforts under certain categories such as; architectures, communication, engineering, mediation, or simulations. Instead, this research report (workshop proceedings) have been divided into two general categories, reflecting the two types of articles produced by the students: theoretical and practical reports. Among the specific topics introduced by the authors are: cooperation, methodologies, societal and security aspects, agents on the web, and agents in the entertainment industry. I am very happy to conclude that the articles produced this year by the students are of exceptional quality and that they have chosen to pursue topics of interest not only to themselves, but to their fellow students as well as the workshop review board. Finally, without mentioning too many specific names, I would just like to give a few acknowledgements to all of you that have contributed to the course, especially to the students and all of the researchers involved in the Societies of Computation programme (Rune Gustavsson, Paul Davidsson, Stefan Johansson, Christer Rindebäck, Anders Johansson, and Johan Lindblom), Keith Clark, Harko Verhagen, and Dan Andersson. Martin Fredriksson, Ronneby - Sweden. December 31, 2000.
|
|
| 23. |
|
|
| 24. |
- Häggander, Daniel, et al.
(författare)
-
Quality attribute conflicts : Experiences from a large telecommunication application
- 2001
-
Konferensbidrag (refereegranskat)abstract
- Modern telecommunication applications must provide high availability and performance. They must also be maintainable in order to reduce the maintenance cost and rime-to-marker for new versions. Previous studies have shown that the ambition to build maintainable systems may result in ver?: poor performance. Here we evaluate an application called SDP pre-paid and show that the ambition to build systems with high performance and availability can lead to a complex software design with poor maintainability. We show that more than 85% of the SDP code is due to performance and availability optimizations. By implementing a SDP prototype with an alternative architecture we show that the code size can be reduced with an order of magnitude by removing the performance and availability optimizations from the source code and instead using modern fault tolerant hardware and third party software. The performance and availability of the prototype is as least as good as the old SDI! The hardware and third parry software cost is only 20-30% higher for the prototype. We also define three guidelines that help us to focus the additional hardware investments to the parts where it is really needed.
|
|
| 25. |
- Häggander, Daniel
(författare)
-
Software Design Conflicts : Maintainability versus Performance and Availability
- 2001
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- A major goal in software engineering is to reduce the cost of maintaining software systems. Finding design methods which make software more easily maintainable has thus been one of the most prioritized challenges during the past decade. While mainstream software design has concentrated on maintainability, other software disciplines e.g. high-performance computing and high-availability systems, have developed other design methods which primarily support the quality attributes that are more important in their areas. More recently, demands have been made for high performance and high availability in typical mainstream software. At the same time, traditional high-performance and high-availability systems tend to incorporate more advanced business functionality, i.e. different software disciplines have started to converge. The situation is not unproblematic since the software design methods developed for achieving performance and availability may have been developed with a limited influence from maintainability, and vice versa. It is thus important to identify and analyze emerging design conflicts. In this thesis I have studied conflicts between maintainability design methods onthe one hand, and performance and availability methods and techniques on the other. I present the results of four case-studies involving four different applications. It is a characteristic of these applications that half of the system can be regarded as a telecommunications system and the other as a typical main-stream system, i.e. all systems make high demands on performance and availability but also very high demands on high maintainability. In studying these applications, I have identified two major conflicts: granularity in dynamic memory usage and source code size. My results show that these two conflicts can cause problems of such amplitude that some applications become unusable. I found that conflicts in certain situations are inherent; in other cases they can be avoided - or at least reduced - by adjusting the design methods used. I have also shown that conflicts may quite simply be a matter of misconceptions. Ten guidelines have been combined into a simple process with the aim of helping software designers to avoid and reduce conflicts. A method which automatically reduces the dynamic memory conflict in object-oriented applications written in C++ has been developed, implemented and evaluated. Finally, I have defined optimal recovery schemes for high availability clusters.
|
|
