A5030457541- Advanced Software Engineering Methodologies
- Software System Performance and Reliability
- Software Engineering Research
- Service-Oriented Architecture and Web Services
- Model-Driven Software Engineering Techniques
- Software Engineering Techniques and Practices
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- IoT and Edge/Fog Computing
- Business Process Modeling and Analysis
- Context-Aware Activity Recognition Systems
- Green IT and Sustainability
- Evacuation and Crowd Dynamics
- Big Data and Business Intelligence
- Scientific Computing and Data Management
- Mobile Crowdsensing and Crowdsourcing
- Human Mobility and Location-Based Analysis
- Cloud Computing and Resource Management
- Simulation Techniques and Applications
- Data Quality and Management
- Open Source Software Innovations
- Real-Time Systems Scheduling
- Embedded Systems Design Techniques
- Distributed systems and fault tolerance
- Digital Transformation in Industry
University of L'Aquila
2015-2024
Software (Spain)
2022
Division of Undergraduate Education
2021
Software (Germany)
2021
Software602 (Czechia)
2021
Vrije Universiteit Amsterdam
2017
Universidade de Brasília
2013
University of Alabama
2013
University of Alberta
2013
Nagoya University
2007
Many times we are faced with the proliferation of definitions, concepts, languages, and tools in certain (research) topics. But often there is a gap between what provided by existing technologies needed their users. The strengths, limitations, needs available can be dubious. same applies to software architectures, specifically languages designed represent architectural models. Tens different have been introduced research industrial communities last two decades. However, it unclear if they...
While mobile applications are becoming so extraordinarily adopted, it is still unclear if they deserve any specific testing approach for their verification and validation. This paper wants to investigate new research directions on automation, by answering three questions: (RQ1) (so) different from traditional ones, require specialized techniques?, (RQ2) what the challenges applications?, (RQ3) which role automation may play in applications?. We answer those questions analyzing current state...
While mobile applications are becoming so extraordinarily adopted, it is still unclear if they deserve any specific testing approach for their verification and validation. This paper wants to investigate new research directions on automation, by answering three questions: (RQ1) (so) different from traditional ones, require specialized techniques?, (RQ2) what the challenges applications?, (RQ3) which role automation may play in applications?. We answer those questions analyzing current state...
Context: Cyber-physical systems (CPS) seamlessly integrate computational and physical components. Adaptability, realized through feedback loops, is a key requirement to deal with uncertain operating conditions in CPS.
The rapid adoption of artificial intelligence (AI) and machine learning (ML) has generated growing interest in understanding their environmental impact the challenges associated with designing environmentally friendly ML-enabled systems. While Green AI research, i.e., research that tries to minimize energy footprint AI, is receiving increasing attention, very few concrete guidelines are available on how systems can be designed more sustainable. In this paper, we provide a catalog 30 green...
Many architectural languages have been proposed in the last 15 years, each one with chief aim of becoming ideal language for specifying software architectures. What is evident nowadays, instead, that are defined by stakeholder concerns. Capturing all such concerns within a single, narrowly focused notation impossible. At same time, it also impractical to define and use "universal" notation, as UML. As result, many domain-specific notations modeling proposed, focusing on specific application...
Context: Collaborative Model-Driven Software Engineering (MDSE) consists of methods and techniques where multiple stakeholders manage, collaborate, are aware each others' work on shared models. Objective: MDSE is attracting research efforts from different areas, resulting in a variegated scientific body knowledge. This study aims at identifying, classifying, understanding existing collaborative approaches. Method: We designed conducted systematic mapping study. Starting over 3,000...
Our research deals with the use of software architecture (SA) as a reference model for testing conformance an implemented system respect to its architectural specification. We exploit specification SA dynamics identify useful schemes interactions between components and select test classes corresponding relevant behaviors. The is modeled by labeled transition systems (LTSs). approach consists deriving suitable LTS abstractions called ALTSs. ALTSs offer specific views concentrating on features...
Context: Managing Non-Functional Requirements (NFRs) in software projects is challenging, and that adopt Model-Driven Development (MDD) are no exception. Although several methods techniques have been proposed to face this challenge, there still little evidence on how NFRs handled MDD by practitioners. Knowing more about the state of practice may help researchers steer their research practitioners improve daily work. Objective: In paper, we present our findings from an interview-based survey...
The increasing usage of machine learning (ML) coupled with the software architectural challenges modern era has resulted in two broad research areas: i) architecture for ML-based systems, which focuses on developing techniques better and ii) ML architectures, to architect traditional systems. In this work, we focus former side spectrum a goal highlight different architecting practices that exist current scenario We identify four key areas need attention both practitioners define standard set...
The complexity of multi-layered, data-intensive systems demands frameworks that ensure flexibility, scalability, and efficiency. DATCloud is a model-driven framework designed to facilitate the modeling, validation, refinement multi-layered architectures, addressing modularity, real-world requirements. By adhering ISO/IEC/IEEE 42010 standards, leverages structural behavioral meta-models graphical domain-specific languages (DSLs) enhance reusability stakeholder communication. Initial...
Introduced in the early stages of software development, Charmy framework assists architect making and evaluating architectural choices. Rarely, architecture a system can be established once forever. Most likely poorly defined understood constraints requirements force to accept ambiguities move forward construction suboptimal architecture. aims provide an easy practical tool for supporting iterative modeling evaluation architectures. From UML-based design, executable prototype is...
This paper proposes CAPS, an architecture-driven modeling framework for the development of Situational Aware Cyber-Physical Systems. Awareness involves being aware what ishappening in surroundings, and using this information to decide act. It has been recognized as a critical, yet often elusive, foundation successful decision-making complex systems. With advent cyber-physical systems (CPS), situational awareness is playing increasingly important role especially crowd fleets management,...
Along with the rapid growth of IoT technologies and devices, their solutions are currently being applied on various domains such as health-care, transportation agriculture, but mainly crowd monitoring emergency handling. The latter is a safety critical system based collecting analyzing real-time data to perform proper actuation. In order engineer high quality application, software architecture should be designed. for able optimize requirements fault-tolerance, performance energy consumption,...
Architecting IoT systems able to guarantee Quality of Service (QoS) levels can be a challenging task due the inherent uncertainties (induced by changes in e.g., energy availability, network traffic) that they are subject to. Existing work has shown machine learning (ML) techniques effectively used at run time for selecting self-adaptation patterns help maintain adequate QoS levels. However, this class approach suffers from bias, which induces accuracy problems might lead sub-optimal (or even...
The Internet of Behaviors (IoB) puts human behavior at the core engineering intelligent connected systems. IoB links digital world to integrate human-driven design, development, and adaptation processes. This paper defines novel concept with a constructed model based on collective effort interacting software engineers, human-computer interaction scientists, social cognitive science communities. for is created an exploratory study that synthesizes state-of-the-art analysis experts interviews....
A product line architecture is a single specification capturing the overall of series closely related products. Its structure consists set mandatory elements and variation points. Whereas are part every in architecture, points precisely define dimensions along which architectures individual products differ from each other. The increased use today's software development projects poses several challenges for existing testing techniques. In this paper we discuss those what believe opportunities...
Both in the component- and object-based contexts it is extremely important to derive as early possible suitable test cases based on UML specifications available during development. In this paper we focus integrated use of Sequence State Diagrams for deriving a "reasonably" complete reference model, which will then be used automatically cases. The approach meant overcome some limitations previously proposed model-based testing solutions, specifically conceived industrial contexts,...
Despite the flourishing of languages to describe software architectures, existing Architecture Description Languages (ADLs) are still far away from what it is actually needed. In fact, while they support a traditional perception Software (SA) as set constituting elements (such components, connectors and interfaces), mostly fail capture multiple stakeholders concerns their design decisions that represent broader view SA being accepted today. Next generation ADLs must cope with various ever...
A Wireless Sensor Network (WSN) is composed of distributed sensors with limited processing capabilities and energy restrictions. These unique attributes pose new challenges amongst which prolonging the WSN lifetime one most important. Challenges are often tackled by a code-and-fix process that relies on low-level hardware software information. Recently, need abstracting an implementation view into architectural design getting more realized. clear separation concerns needed since aspects...