Search

Corpus linguistics investigates language using extensive text databases. Tools assist researchers in analyzing, extracting, and interpreting linguistic information efficiently. Furthermore, if researchers only use traditional tools in corpus linguistic analysis, they will lack the comprehensiveness and efficiency required to effectively navigate and derive valuable insights from language data. This paper employed the preferred reporting items for systematic reviews and meta-analyses (PRISMA) approach to find the primary data based on a few keywords in corpus linguistic, corpus analysis, computational linguistic, text corpora and tool support. Based on this method, we used advanced searching techniques on Scopus and Web of Science (WoS) and discovered (N=28) data pertinent to the study. Expert scholars decide on a theme based on the problem, which is (i) types of corpus tools and their uses; (ii) their contributions and their capabilities, and (iii) limitations of corpus tools. All the tools were used in interdisciplinary studies. In summary, this systematic review uncovers pivotal key findings at the intersection of computational tools and corpus analysis, enriching linguistic knowledge. It highlights the interdisciplinary potential of corpusbased analysis in advancing linguistic tools and, their applications, as well as language analysis. [ABSTRACT FROM AUTHOR]

It is widely accepted that personal responses to soundscapes are more dependent on listeners' emotions and attitudes, than on sounds or their physical features alone. Fast-growing cities have catalyzed the importance of designing urban spaces that citizens find pleasant and homely and that support a communal style of living. Unfortunately, there are no standardized methods or techniques to translate sonic experiences into measurable and reliable data, which urban planning professionals or the building industry could turn into innovations and solutions. Most of the data pertaining to noise pollution and city soundscapes is still based on predictive acoustic models and rarely takes any real-life experiences or physical measurements into consideration. This paper presents the concept of a smart and participatory approach for gathering sonic experiences that could be translated into measurable values. The aim is to search for data collection methods to provide data to train deep learning. With machine learning methods, it is possible to find patterns in both desirable and undesirable urban soundscapes. The aim of this concept is to create crowdsourced data collection methods and improve the understanding and communication between citizens and planning processes by producing more accurate and comparable experiential data. [ABSTRACT FROM AUTHOR]

Curriculum design is the systematic process of establishing how a learning process is designed, developed, supported, and delivered. This process is supported by software tools which can help improve curriculum alignment and facilitate the design of courses or programs. This article aims to analyze software proposals for curriculum design support that consider using models, methods, and techniques in software development. To do this, a systematic mapping of studies was conducted, including six research questions. This study includes 45 articles published from 2011 to 2022. The results indicate that 60% use some model, method, or technique in software development. Most software uses some models, such as ontologies, UML diagrams, or IMS-1D models. Although most articles use some model, method, or technique, there is a lack of use of software engineering models such as UML diagrams, which are standard in the software industry and research. [ABSTRACT FROM AUTHOR]

For the last ten years, software product line (SPL) tool developers have been facing the implementation of different variability requirements and the support of SPL engineering activities demanded by emergent domains. Despite systematic literature reviews identifying the main characteristics of existing tools and the SPL activities they support, these reviews do not always help to understand if such tools provide what complex variability projects demand. This paper presents an empirical research in which we evaluate the degree of maturity of existing SPL tools focusing on their support of variability modeling characteristics and SPL engineering activities required by current application domains. We first identify the characteristics and activities that are essential for the development of SPLs by analyzing a selected sample of case studies chosen from application domains with high variability. Second, we conduct an exploratory study to analyze whether the existing tools support those characteristics and activities. We conclude that, with the current tool support, it is possible to develop a basic SPL approach. But we have also found out that these tools present several limitations when dealing with complex variability requirements demanded by emergent application domains, such as non-Boolean features or large configuration spaces. Additionally, we identify the necessity for an integrated approach with appropriate tool support to completely cover all the activities and phases of SPL engineering. To mitigate this problem, we propose different road map using the existing tools to partially or entirely support SPL engineering activities, from variability modeling to product derivation. [ABSTRACT FROM AUTHOR]

Curriculum design is the systematic process of establishing how a learning process is designed, developed, supported, and delivered. This process is supported by software tools which can help improve curriculum alignment and facilitate the design of courses or programs. This article aims to analyze software proposals for curriculum design support that consider using models, methods, and techniques in software development. To do this, a systematic mapping of studies was conducted, including six research questions. This study includes 45 articles published from 2011 to 2022. The results indicate that 60% use some model, method, or technique in software development. Most software uses some models, such as ontologies, UML diagrams, or IMS-1D models. Although most articles use some model, method, or technique, there is a lack of use of software engineering models such as UML diagrams, which are standard in the software industry and research.

Today, no matter what market niche a company moves into or whether a business focus is technological, information technologies are its cornerstone in terms of its success and the fulfilment of its business goals. However, an undeniable fact is that technologies, in addition to many competitive advantages, carry many risks that must be properly identified and managed. Organizations must implement control measures to manage the risks. The whole set of control measures build up the Internal Control. However, only the realization of Information Systems (IS) Audit ensures that Internal Control is effective and efficient, and protects the most important assets of the organization, thus ensuring that it can achieve its business goals. This article presents a new vision of teaching in the area of IS Audit, presenting a methodology based on Project Based Learning (PBL) simulating that students belong to a real organization where they must not only develop an Internal Control but also evaluate it through IS Audit techniques. The simulation of a real environment facilitates the acquisition of competencies and knowledge related to IS Auditing, making more attractive the learning process. A tool called HASI has been developed, which implements the detailed workflow depicted in the methodology, allows to automate all the activities carried out by the students. Finally, this article presents the validation of the methodology carried out through the resolution of a practical case with the HASI tool. The validation allows observing to what extent the students perceive the learning of the areas of the IS Audit.

The BPMN 2.0 standard is a widely used semi-formal notation to model distributed information systems from different perspectives. The standard makes available a set of diagrams to represent such perspectives. Choreography diagrams represent global constraints concerning the interactions among system components without exposing their internal structure. Collaboration diagrams instead permit to depict the internal behaviour of a component, also referred as process, when integrated with others so to represent a possible implementation of the distributed system. This paper proposes a design methodology and a formal framework for checking conformance of choreographies against collaborations. In particular, the paper presents a direct formal operational semantics for both BPMN choreography and collaboration diagrams. Conformance aspects are proposed through two relations defined on top of the defined semantics. The approach benefits from the availability of a tool we have developed, named C 4, that permits to experiment the theoretical framework in practical contexts. The objective here is to make the exploited formal methods transparent to system designers, thus fostering a wider adoption by practitioners. [ABSTRACT FROM AUTHOR]

Development of person-centred care (PCC) services require adjustment to specific domain of application and integration with existing processes implemented in healthcare institution. This poster present PCC services for monitoring stroke outpatient rehabilitation, enhanced by modern ICT technologies (thus enabling adjustments to different kind of patients, which is especially relevant due to potential consequences of the stroke and caused degree of disability). [ABSTRACT FROM AUTHOR]

Conformance between architecture and implementation is a key aspect of architecture-centric development. However, the architecture "as documented" and the architecture "as implemented" tend to diverge from each other over time. Thus, conformance checks should be run periodically on the system in order to detect and correct differences. Despite having a structural conformance analysis, assessing whether the main scenarios describing the architectural behavior are faithfully implemented in the code is still challenging. Checking conformance to architectural scenarios is usually a time-consuming and error-prone activity. In this article, we describe ArchLearner, a tool to assist architects to bridge the gap between architecture and its implementation. The architecture is specified with Use-Case Maps (UCMs), a notation for modeling both high-level structure and behavior. ArchLearner uses Markov Models to detect code deviations with respect to predetermined UCMs, based on the analysis of system execution traces for those UCMs. The results from two case-studies have shown that ArchLearner is practical and reduces conformance checking efforts. [ABSTRACT FROM AUTHOR]

The presentation introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during development and commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them. [ABSTRACT FROM AUTHOR]

End-user programming may utilize Domain-Specific Modeling Languages (DSMLs) to develop applications in the form of models, using only abstractions found in a specific problem domain. Indeed, the productivity benefits reported from Model-Driven Development (MDD) are hard to ignore, and a number of MDD solutions are flourishing. However, not all stories from industry on MDD are successful. End-users, without having software development skills, are more likely to introduce software errors than professional programmers. In this study, we propose and encourage other DSML developers to extend the development of DSML with tool support. We believe the programming tools (e.g., debugger, testing tool, refactoring tool) are also needed for end-users to ensure the proper functioning of the products they develop. It is imperative that domain experts are provided with tools that work on the abstraction level that is familiar to them. In this paper, an industrial experience is presented for building various tools for usage in MDD. Debugger, automated testing infrastructure, refactoring, and other tools were implemented for Sequencer, a DSML. Our experience with the implementation of tool support for MDD confirms that these tools are indispensable for end-user programming in practice, and that implementing those tools might not be as costly as expected. [ABSTRACT FROM AUTHOR]

Software modification often requires consistent program changes, a group of similar, related changes, at multiple locations in a program. Developers are typically uneasy to (i) detect potential change anomalies such as omission errors or incorrect edits and (ii) determine related locations to apply consistent changes, which is a tedious and error‐prone process. To address this problem, this study presents a technique for managing consistent program changes, checking and applying repetitive program transformation (CARP). Given program differencing results between original and edited program versions, CARP (i) infers change patterns to detect change anomalies, (ii) identifies required edit locations, and (iii) automatically applies adequate edits. It has been implemented in the context of the integrated development environment as an Eclipse plug‐in. The authors evaluated CARP on three open‐source projects and found that CARP detects seeded anomalies with 99.1% accuracy on average. Furthermore, it identifies change locations and transforms them with 98% accuracy. Their results show that CARP should help developers detect potential change anomalies in repetitive program changes and perform consistent changes automatically. [ABSTRACT FROM AUTHOR]

Functional safety standards such as IEC 61508 and ISO 26262 advocate a particularly stringent requirements engineering where safety requirements must be structured in a hierarchical manner and specified in accordance with the system architecture. In contrast to the stringent requirements engineering in functional safety standards, according to previous studies, requirements engineering in industry is in general of poor quality. Contracts theory has been previously shown to be suitable for supporting such a stringent requirements engineering effort; this support has also been implemented in tools. However, to use these contract-based tools, requirements must be formalized, which is a major challenge in industry. Therefore, to support current industrial requirements engineering practice and the stringent requirements engineering in functional safety standards, it is shown how tool support can be provided even when requirements, and also architectures, are not formalized. This is achieved by enforcing syntactic, yet formal, conditions in contracts theory. Despite the need for further validation, initial findings in an industrial case study indicate high potential in realizing the proposed support in an industrial setting. [ABSTRACT FROM AUTHOR]