Search

Your search keyword '"tool support"' showing total 456 results
Start Over Descriptor "tool support"
456 results on '"tool support"'

1. MicroSTAMP: Microservices for Steps 1 and 2 of the System-Theoretic Process Analysis (STPA) Technique

Author

Maimone, João Hugo Marinho, de Carvalho Dias, Thiago Franco, de Souza, Fellipe Guilherme Rey, Pagliares, Rodrigo Martins, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, and Latifi, Shahram, editor

Published
2024
Full Text
View/download PDF

2. Exploring corpus linguistics via computational tool analysis: key finding review.

Author

Sakinah Wan Jusoh, Wan Nur Aida, Jobar, Norfaizah Abdul, Md Yusoff, Md Zahril Nizam, and Mahat, Hanifah

Subjects
CORPORA, COMPUTATIONAL linguistics, LINGUISTIC analysis, RESEARCH personnel, INTERDISCIPLINARY education
Abstract

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]

Published
2024
Full Text
View/download PDF

3. From sonic experiences to urban planning innovations.

Author

Kaarivuo, Aura, Salo, Kari, and Mikkonen, Tommi

Subjects
*URBAN planning, *CITIES & towns, *NOISE pollution, *ACOUSTIC models, *DEEP learning, *PUBLIC spaces
Abstract

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]

Published
2024
Full Text
View/download PDF

4. Software Development and Tool Support for Curriculum Design: A Systematic Mapping Study.

Author

Melillán, Aliwen, Cravero, Ania, and Sepúlveda, Samuel

Subjects
SOFTWARE development tools, UNIFIED modeling language, CURRICULUM planning, MAP design, ENGINEERING models, COMPUTER software development
Abstract

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]

Published
2023
Full Text
View/download PDF

5. PRACTICAL SUPPORT FOR UNLEARNING - A SYSTEMATIC REVIEW TO ORGANIZE THE FIELD.

Author

Di Maria, Marco, Walter, David, Schoormann, Thorsten, and Knackstedt, Ralf

Subjects
ORGANIZATION management, BUSINESS models, DATA integration, INFORMATION technology, INFORMATION storage & retrieval systems
Abstract

Organizations are increasingly concerned with the continuous reassessment and redesign of their products, processes, and business models to remain competitive in uncertain environments. Thereby, mental models, routines, and behaviors of individuals and entire organizations need to be updated to fit changing demands and environmental factors. 'Unlearning' is a promising approach to achieve this because it allows knowledge to be refined and adapted to novel situations. Unlearning established ways of thinking and doing effectively poses, however, several challenges that could be mitigated by an appropriate tool support. By following a qualitative systematic review of literature from Information Systems and adjacent disciplines, we identified and synthesized existing tools and guidance to assist individuals, teams, and organizations in unlearning. With our study, we contribute to an integrated overview of practical support for unlearning based on a sample of 41 papers as well as useful guidance for practitioners, designers, and researchers. [ABSTRACT FROM AUTHOR]

Published
2023

7. Empirical analysis of the tool support for software product lines.

Author

Horcas, José Miguel, Pinto, Mónica, and Fuentes, Lidia

Subjects
*SOFTWARE product line engineering, *PRODUCT lines, *SOFTWARE development tools, *ROAD maps, *EMPIRICAL research
Abstract

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]

Published
2023
Full Text
View/download PDF

8. Towards Participatory Design of City Soundscapes

Author

Neuvonen, Aura, Salo, Kari, Mikkonen, Tommi, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, and Arai, Kohei, editor

Published
2021
Full Text
View/download PDF

9. Quality Evaluation of a DSML Supporting Model-Driven IoT Development for Air Conditioning Facilities

Author

Nast, B., Sandkuhl, Kurt, Nast, B., and Sandkuhl, Kurt

Abstract

Model-Driven Development (MDD) is considered an effective technique for Internet of Things (IoT) application development. Our observation is that existing model-based approaches for IoT solutions focus on the software and systems perspective and show a need for more integration with organizational and business model aspects. Therefore, we developed a method and tool support for developing IoT applications in the field of air conditioning facilities. In this work, we applied quality criteria to evaluate the included Domain-Specific Modeling Language (DSML). To practically validate the modeling language as such and also the way it can be used and supported by the tool, we performed a real-world use case. The main contributions of this paper are a quality evaluation of the DSML and the tool support and lessons learned from both.

Published
2024
Full Text
View/download PDF

10. A Tool for the Verification of Decision Model and Notation (DMN) Models

Author

Hasić, Faruk, Corea, Carl, Blatt, Jonas, Delfmann, Patrick, Serral, Estefanía, van der Aalst, Wil, Series Editor, Mylopoulos, John, Series Editor, Rosemann, Michael, Series Editor, Shaw, Michael J., Series Editor, Szyperski, Clemens, Series Editor, Dalpiaz, Fabiano, editor, Zdravkovic, Jelena, editor, and Loucopoulos, Pericles, editor

Published
2020
Full Text
View/download PDF

11. ProConAR: A Tool Support for Model-Based AR Product Configuration

Author

Gottschalk, Sebastian, Yigitbas, Enes, Schmidt, Eugen, Engels, Gregor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bernhaupt, Regina, editor, Ardito, Carmelo, editor, and Sauer, Stefan, editor

Published
2020
Full Text
View/download PDF

12. Proving the Safety of Highly-Available Distributed Objects

Author

Nair, Sreeja S., Petri, Gustavo, Shapiro, Marc, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Müller, Peter, editor

Published
2020
Full Text
View/download PDF

13. Software Development and Tool Support for Curriculum Design: A Systematic Mapping Study

Author

Aliwen Melillán, Ania Cravero, and Samuel Sepúlveda

Subjects
curriculum design, curriculum alignment, software development, tool support, systematic mapping study, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999
Abstract

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.

Published
2023
Full Text
View/download PDF

14. Applying Surveys and Interviews in Software Test Tool Evaluation

Author

Raulamo-Jurvanen, Päivi, Hosio, Simo, Mäntylä, Mika V., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Franch, Xavier, editor, Männistö, Tomi, editor, and Martínez-Fernández, Silverio, editor

Published
2019
Full Text
View/download PDF

15. Robust Design of a Collaborative Platform for Model-Based System Engineering: Experience from an Industrial Deployment

Author

Ponsard, Christophe, Darimont, Robert, Touzani, Mounir, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Schewe, Klaus-Dieter, editor, and Singh, Neeraj Kumar, editor

Published
2019
Full Text
View/download PDF

16. Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL

Author

van der Berg, Johan, Gruner, Stefan, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Duan, Zhenhua, editor, Liu, Shaoying, editor, Tian, Cong, editor, and Nagoya, Fumiko, editor

Published
2019
Full Text
View/download PDF

17. A New Approach for Information System Audit Teaching

Author

Ricardo Perez-Castillo, Ignacio De Guzmán, Mario Piattini, and Moisés Rodríguez

Subjects
information system, IS auditing, PBL, Tool support, Electronic computers. Computer science, QA75.5-76.95
Abstract

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.

Published
2020
Full Text
View/download PDF

19. MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases

Author

Fung, Nick L. S., Kokaly, Sahar, Di Sandro, Alessio, Salay, Rick, Chechik, Marsha, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Gallina, Barbara, editor, Skavhaug, Amund, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2018
Full Text
View/download PDF

20. Mitigating Turnover with Code Review Recommendation: Balancing Expertise,Workload, and Knowledge Distribution.

Author

Mirsaeedi, Ehsan and Rigby, Peter C.

Subjects
CODE review (Computer science), SOFTWARE engineering, COMPUTER software development, REPLICATION (Experimental design), ARTIFICIAL intelligence
Abstract

Developer turnover is inevitable on software projects and leads to knowledge loss, a reduction in productivity, and an increase in defects. Mitigation strategies to deal with turnover tend to disrupt and increase workloads for developers. In this work, we suggest that through code review recommendation we can distribute knowledge and mitigate turnover with minimal impact on the development process. We evaluate review recommenders in the context of ensuring expertise during review, Expertise, reducing the review workload of the core team, CoreWorkload, and reducing the Files at Risk to turnover, FaR.We find that prior work that assigns reviewers based on file ownership concentrates knowledge on a small group of core developers increasing risk of knowledge loss from turnover by up to 65%. We propose learning and retention aware review recommenders that when combined are effective at reducing the risk of turnover by -29% but they unacceptably reduce the overall expertise during reviews by -26%. We develop the Sofia recommender that suggests experts when none of the files under review are hoarded by developers, but distributes knowledge when files are at risk. In this way, we are able to simultaneously increase expertise during review with a ΔExpertise of 6%, with a negligible impact on workload of ΔCoreWorkload of 0.09%, and reduce the files at risk by ΔFaR -28%. Sofia is integrated into GitHub pull requests allowing developers to select an appropriate expert or "learner" based on the context of the review. We release the Sofia bot as well as the code and data for replication purposes. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

23. TOM: A Model-Based GUI Testing Framework

Author

Pinto, Miguel, Gonçalves, Marcelo, Masci, Paolo, Campos, José Creissac, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Proença, José, editor, and Lumpe, Markus, editor

Published
2017
Full Text
View/download PDF

24. GRAPE – A Graph Rewriting and Persistence Engine

Author

Weber, Jens H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, de Lara, Juan, editor, and Plump, Detlef, editor

Published
2017
Full Text
View/download PDF

25. AI Enhanced Person-Centred Care Services for Monitoring Stroke Outpatient Rehabilitation.

Author

ŠENDELJ, Ramo, OGNJANOVIĆ, Ivana, ROGANOVIĆ, Milovan, and KRIKŠČIŪNIENĖ, Dalia

Abstract

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]

Published
2022
Full Text
View/download PDF

26. FLAVIO CORRADINI.

Author

CORRADINI, FLAVIO, MORICHETTA, ANDREA, POLINI, ANDREA, R. E., BARBARA, and TIEZZI, FRANCESCO

Subjects
SEMANTICS, INFORMATION modeling, INFORMATION storage & retrieval systems, CHOREOGRAPHY, CHARTS, diagrams, etc.
Abstract

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]

Published
2020
Full Text
View/download PDF

27. Evaluation of Markov Models for Architecture Conformance Checking.

Author

Rodriguez, Guillermo, Armentano, Marcelo, Soria, Alvaro, and Corengia, Emilio

Abstract

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]

Published
2020
Full Text
View/download PDF

28. Using Evidence-Based Arguments to Support Dependability Assurance - Experiences and Challenges.

Author

Górski, Janusz

Subjects
*ARGUMENT, *EXPERIENCE
Abstract

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]

Published
2019

29. Towards a Usable Framework for Modelling Security and Privacy Risks in the Smart Home

Author

Nurse, Jason R. C., Atamli, Ahmad, Martin, Andrew, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Tryfonas, Theo, editor

Published
2016
Full Text
View/download PDF

30. How to Select the Suitable Formal Method for an Industrial Application: A Survey

Author

Kossak, Felix, Mashkoor, Atif, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Butler, Michael, editor, Schewe, Klaus-Dieter, editor, Mashkoor, Atif, editor, and Biro, Miklos, editor

Published
2016
Full Text
View/download PDF

31. Using Surveys and Web-Scraping to Select Tools for Software Testing Consultancy

Author

Raulamo-Jurvanen, Päivi, Kakkonen, Kari, Mäntylä, Mika, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abrahamsson, Pekka, editor, Jedlitschka, Andreas, editor, Nguyen Duc, Anh, editor, Felderer, Michael, editor, Amasaki, Sousuke, editor, and Mikkonen, Tommi, editor

Published
2016
Full Text
View/download PDF

32. On the Need for a New Generation of Code Review Tools

Author

Baum, Tobias, Schneider, Kurt, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abrahamsson, Pekka, editor, Jedlitschka, Andreas, editor, Nguyen Duc, Anh, editor, Felderer, Michael, editor, Amasaki, Sousuke, editor, and Mikkonen, Tommi, editor

Published
2016
Full Text
View/download PDF

33. A MULTI-PERSPECTIVE FRAMEWORK FOR THE INVESTIGATION OF TOOL SUPPORT FOR DESIGN SCIENCE RESEARCH.

Author

Herwix, Alexander and Rosenkranz, Christoph

Subjects
DESIGN science, INFORMATION storage & retrieval systems, BUSINESS models, RISK management in business, SOCIOTECHNICAL systems
Abstract

Tool support for design science research (DSR) is increasingly recognized by the DSR community as an important but neglected area of research. Extrapolating from the achievements of tool support for more established research approaches, tool support for DSR promises to lower the barriers for the delivery of more rigorous, comparable, and, thus, relevant DSR. However, to this date, little research has looked at the challenge of providing tool support for DSR systematically. As a first step to close this gap, prior research in the form of a workshop by the DESRIST community focused on identifying an initial understanding as well as set of requirements for tool support in DSR. This paper extends and complements this prior research with a qualitative analysis of in-depth interviews (n=12) about the topic of tool support in DSR with a broad variety of design science researchers. The major contribution of this work is that it goes beyond the mere collection of requirements and uses qualitative data analysis to dive deeper into the understanding of tool support in DSR as well as associated opportunities and challenges. Based on this analysis, we developed a multi-perspective framework for the investigation of tool support for DSR, which we position as a promising foundation for future research on the emerging topic of tool support for DSR. [ABSTRACT FROM AUTHOR]

Published
2019

34. Towards a Process and Tool Support for Collaborative API Proposal Management.

Author

Bondel, Gloria, Faber, Anne, Duc Huy Bui, Seidel, Dennis, and Hauder, Matheus

Subjects
APPLICATION program interfaces, CROWDSOURCING, PROFITABILITY, ORGANIZATIONAL change, DESIGN science
Abstract

The number of publicly offered Web APIs has increased continuously over the last decade (Santos 2017) since successful public Web API initiatives provide a new source of profitability for organizations. Nevertheless, such initiatives are only successful, if the functionality or data offered is actually demanded by third-party developers and the API design meets developers' expectations. However, to the best of the authors' knowledge, there are currently no processes or tools enabling the direct influence of API consumers on the design of public Web APIs. Therefore, we propose a process for collaborative API proposal management using collaboration engineering. Furthermore, we develop and evaluate a prototype supporting this collaborative API proposal management process, which is designed using a design science approach and is evaluated in an action research case study. The evaluation results show, that the presented collaborative API proposal management prototype was perceived as useful and meets usability requirements. [ABSTRACT FROM AUTHOR]

Published
2019

36. Tools Supporting Information Security Risk Management in Practice

Author

Bergström, Erik and Bergström, Erik

Abstract

It is well-known that Information Security Risk Management (ISRM) activities can be challenging to perform and that tool support could provide support in different ways, for example, by automating tasks, guiding the user, or helping with documentation. Despite the need for tools, there is a lack of studies investigating ISRM tool usage. This paper contributes by presenting the results from one of the first studies targeting information classification and ISRM tool usage in practice. The study is based on a survey sent to government agencies in Sweden and was answered by 139 respondents (67%). The survey targeted the type of tools used and the perceptions of those tools. Findings include a list of tools perceived to contribute to performing ISRM activities, such as information classification, the reasons why the tools were selected, and how well they fulfil their needs. More specifically, we found that spreadsheets and document templates are the most common tools used – despite not being perceived as fulfilling the needs. We also found that taking on an even more holistic view might be needed when considering functionality in ISRM tools.

Published
2023

37. Software Development and Tool Support for Curriculum Design: A Systematic Mapping Study

Author

Sepúlveda, Aliwen Melillán, Ania Cravero, and Samuel

Subjects
curriculum design, curriculum alignment, software development, tool support, systematic mapping study
Abstract

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.

Published
2023
Full Text
View/download PDF

39. Parallel Application Development Using Architecture View Driven Model Transformations

Author

Arkın, Ethem, Tekinerdogan, Bedir, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Liu, Ting, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Desfray, Philippe, editor, Hammoudi, Slimane, editor, and Pires, Luís Ferreira, editor

Published
2015
Full Text
View/download PDF

40. Design Patterns for Model-Driven Development

Author

Vepsäläinen, Timo, Kuikka, Seppo, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Liu, Ting, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Holzinger, Andreas, editor, Cardoso, Jorge, editor, Cordeiro, José, editor, Libourel, Therese, editor, Maciaszek, Leszek A., editor, and van Sinderen, Marten, editor

Published
2015
Full Text
View/download PDF

41. Mastering the Visualization of Larger State Spaces with Projection Diagrams

Author

Ladenberger, Lukas, Leuschel, Michael, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Butler, Michael, editor, Conchon, Sylvain, editor, and Zaïdi, Fatiha, editor

Published
2015
Full Text
View/download PDF

42. Current Challenges in the Verification of Hybrid Systems

Author

Schupp, Stefan, Ábrahám, Erika, Chen, Xin, Ben Makhlouf, Ibtissem, Frehse, Goran, Sankaranarayanan, Sriram, Kowalewski, Stefan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Mousavi, Mohammad Reza, editor, and Berger, Christian, editor

Published
2015
Full Text
View/download PDF

43. Energy Consumption Analysis and Design of Energy-Aware WSN Agents in fUML

Author

Berardinelli, Luca, Di Marco, Antinisca, Pace, Stefano, Pomante, Luigi, Tiberti, Walter, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Taentzer, Gabriele, editor, and Bordeleau, Francis, editor

Published
2015
Full Text
View/download PDF

44. An Approach for Creating Domain Specific Visualisations of CSP Models

Author

Ladenberger, Lukas, Dobrikov, Ivaylo, Leuschel, Michael, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Canal, Carlos, editor, and Idani, Akram, editor

Published
2015
Full Text
View/download PDF

45. Translating B to TLA + for Validation with TLC

Author

Hansen, Dominik, Leuschel, Michael, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Ait Ameur, Yamine, editor, and Schewe, Klaus-Dieter, editor

Published
2014
Full Text
View/download PDF

46. Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation

Author

Iliasov, Alexei, Palacin, Roberto, Romanovsky, Alexander, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Majzik, István, editor, and Vieira, Marco, editor

Published
2014
Full Text
View/download PDF

47. Tool Support for Teaching Hoare Logic

Author

Sznuk, Tadeusz, Schubert, Aleksy, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Giannakopoulou, Dimitra, editor, and Salaün, Gwen, editor

Published
2014
Full Text
View/download PDF

48. fUML-Driven Design and Performance Analysis of Software Agents for Wireless Sensor Network

Author

Berardinelli, Luca, Di Marco, Antinisca, Pace, Stefano, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Avgeriou, Paris, editor, and Zdun, Uwe, editor

Published
2014
Full Text
View/download PDF

50. A Tool Support for Model-Driven Development: An Industrial Case Study from a Measurement Domain.

Author

Kos, Tomaž, Mernik, Marjan, and Kosar, Tomaž

Subjects
INDUSTRIALIZATION, SOFTWARE refactoring, COMPUTER software development, EIGENFUNCTIONS, CASE studies, MENTAL depression
Abstract

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]

Published
2019
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results