| 1. |
|
|
| 2. |
- Mousavi, Mohammad Reza, 1978-, et al.
(författare)
-
Timed-Gamma and Its Coordination Language
- 2015
-
Ingår i: Nordic Journal of Computing. - Helsinki : University of Helsinki. - 1236-6064. ; 15:2, s. 75-111
-
Tidskriftsartikel (refereegranskat)abstract
- This paper proposes a theoretical framework for separation of concerns in the formal specification of reactive and real-time systems. This framework consists of the syntax and the semantics of three languages (and all meaningful combinations thereof) that each address a separate concern. The first language, Gamma (a variant of an existing language) is used to define the functionality of a system (by means of a set of basic data transformations). Our additions are a simple language of intervals specifying timing-properties of basic transformations and a language (called Schedules) for specifying the coordination of the basic Gamma transformations. Each of these languages formally models a separate aspect of a system and statements in these languages can be reused, changed or analyzed in their own right. Our key contribution is that we provide a formal framework in which different combinations of aspects have a well-defined semantics.
|
|
| 3. |
|
|
| 4. |
- Andam, Berima, 1986, et al.
(författare)
-
Florida: Feature LOcatIon DAshboard for extracting and visualizing feature traces
- 2017
-
Ingår i: Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017. - New York, NY, USA : ACM. ; Part F126227, s. 100-107
-
Konferensbidrag (refereegranskat)abstract
- © 2017 Copyright held by the owner/author(s). Features are high-level, domain-specific abstractions over implementation artifacts. Developers use them to communicate and reason about a system, in order to maintain and evolve it. These activities, however, require knowing the locations of features - a common challenge when a system has many developers, many (cloned) variants, or a long lifespan. We believe that embedding feature-location information into software artifacts via annotations eases typical feature-related engineering tasks, such as modifying and removing features, or merging cloned features into a product line. However, regardless of where such annotations stem from - whether embedded by developers when writing code, or retroactively recovered using a feature-location technique - tool support is needed for developers to exploit such annotations. In this tool demonstration, we present a lightweight tool that extracts annotations from software artifacts, aggregates and processes them, and visualizes feature-related information for developers. Views, such as which files implement a specific feature, are presented on different levels of abstraction. Feature metrics, such as feature size, feature scattering, feature tangling, and numbers of feature authors, are also presented. Our tool also incorporates an information-retrieval-based feature-location technique to retroactively recover feature locations.
|
|
| 5. |
- Bainomugisha, Engineer, et al.
(författare)
-
Emerging Software Engineering Research Networks in (East) Africa
- 2021
-
Ingår i: ACM SIGSOFT Software Engineering Notes. - : Association for Computing Machinery (ACM). - 0163-5948. ; 46:2, s. 18-22
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- Software engineering (SE) researchers and research networks from emerging communities are often not visible in already established Software Engineering venues for a multitude of reasons. This limits the opportunities and mutual bene ts that can arise from collaborations between global and emerging Software Engineer- ing networks. This article focuses on a rst attempt to provide a map of the African software engineering research community with focus on the networks of two big East African Universities. We hope that this very initial mapping e ort will help to raise aware- ness in the international community about the variety of software engineering research in Africa. We formulate some suggestions for making our academic Software Engineering community more inclusive.
|
|
| 6. |
- Bainomugisha, Engineer, et al.
(författare)
-
Message from Chairs of SEiA 2018
- 2018
-
Ingår i: Proceedings - International Conference on Software Engineering. - New York, NY, USA : ACM. - 0270-5257. ; 2018, s. x-xi
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)
|
|
| 7. |
- Bainomugisha, Engineer, et al.
(författare)
-
Sustainable Capacity Building in Software Engineering Research in Africa: The Example of the BRIGHT Project
- 2020
-
Ingår i: ACM SIGSOFT Software Engineering Notes. - : Association for Computing Machinery (ACM). - 0163-5948. ; 45:3
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- The software industry is a key engine of economic growth in Africa, which calls for sustainable and innovative approaches to build capacities in software engineering research and education for the continent. This paper presents the BRIGHT project as an example for a collaboration that aims to build such capacity. The collaboration includes institutions in Sweden and Uganda. The goal of the collaboration is to train faculty in software en- gineering and to build a supporting research environment, which includes the creation of networks with the software engineering community at a global scale as well as connecting academia and the local software industry. So far, the project has resulted in 50 publications, a software engineering research centre, software engineering summer schools, and conferences.
|
|
| 8. |
- Bergel, Alexandre, et al.
(författare)
-
FeatureVista: interactive feature visualization
- 2021
-
Ingår i: SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference. - New York, NY, USA : ACM. - 9781450384698 ; Volume A:September 2021, s. 196-201
-
Konferensbidrag (refereegranskat)abstract
- Comprehending and characterizing the spread and interaction of features in a software system is know to be difficult and error-prone. This paper presents FeatureVista, a lightweight tool providing interactive, glyph-based, and iconic visualization concepts designed to visually characterize the feature locations in software assets (source code). FeatureVista supports navigating between software components and features in an equal fashion. Our pilot study indicates that FeatureVista is intuitive and supports comprehending features. It helps to precisely characterize relations among features in large software systems and to contrast explicit software component definitions (e.g., package, class, method) with annotated feature portions---which so far was a largely manual and error-prone activity, albeit essential to get an adequate understanding of a software system. We suggest research directions for true, feature-oriented interfaces that can be used to manage software assets.
|
|
| 9. |
- Berger, Christian, 1980, et al.
(författare)
-
Model-based, Composable Simulation for the Development of Autonomous Miniature Vehicles
- 2013
-
Ingår i: Mod4Sim'13: 3rd International Workshop on Model-driven Approaches for Simulation Engineering at SCS/IEEE Symposium on Theory of Modeling and Simulation in conjunction with SpringSim 2013. - 0735-9276. - 9781627480321 ; 45, s. 118-125
-
Konferensbidrag (refereegranskat)abstract
- Modern vehicles contain nearly 100 embedded control units to realize various comfort and safety functions. These vehicle functions consist of a sensor, a data processing, and an actor layer to react intelligently to stimuli from their context. Recently, these sensors do not only perceive data from the own vehicle but more often also data from the vehicle's surroundings to understand the current traffic situation. Thus, traditional development and testing processes need to be rethought to ensure the required quality especially for safety-critical systems like a collision prevention system. On the example of 1:10 scale model cars, we outline our model-based and composable simulation approach that enabled the virtualized development of autonomous driving capabilities for model cars to compete in an international competition.
|
|
| 10. |
- Berger, Christian, 1980, et al.
(författare)
-
Open Issues in Reuse of Certified Components in Cyber Physical Systems
- 2013
-
Ingår i: Proceedings International Workshop on Critical Software Component Reusability and Certification across Domains.
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- In this paper we will discuss challenges and directions for component certification in cyber physical systems. Our experiences are based on a decade of research in this area in both more fundamental and more practically oriented projects. While the notion of Component-based Software Engineering has been coined half a century ago, practical use of components is still challenging. There has been much advancement in understanding component-technology. Also the problem of predictable assembly (how to predict properties of systems based on properties of its components) has been successfully solved for a variety of extra-functional properties. In this paper we distinguish embedded systems and cyber-physical systems. Embedded systems area a broad category of systems which include computer systems that are not visible to the end user. Cyber-physical system (CPS) is special category of embedded systems that feature a significant degree of autonomous action in a physical environment. Examples of cyber-physical systems can be found in areas as diverse as aerospace, automotive, civil infrastructure, healthcare, transportation.
|
|
