A5038044293- Advanced Software Engineering Methodologies
- Service-Oriented Architecture and Web Services
- Software Engineering Research
- Software Engineering Techniques and Practices
- Software System Performance and Reliability
- Software Reliability and Analysis Research
- Business Process Modeling and Analysis
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Safety Systems Engineering in Autonomy
- Advanced Database Systems and Queries
- Software Testing and Debugging Techniques
- Systems Engineering Methodologies and Applications
- Peer-to-Peer Network Technologies
- Usability and User Interface Design
- Cloud Computing and Resource Management
- Distributed systems and fault tolerance
- Web Applications and Data Management
- Anomaly Detection Techniques and Applications
- Academic Research in Diverse Fields
- Robotic Path Planning Algorithms
- Advanced Neural Network Applications
- Transportation and Mobility Innovations
- Optimization and Search Problems
- Scientific Computing and Data Management
Naval Postgraduate School
2025
Brazilian Naval School
2025
Universidade de Brasília
2012-2023
University of Passau
2017
Universidade Federal do Rio Grande do Norte
2015
Lancaster City Council
2011
Central Bank of Brazil
2010
Universidad de Navarra
2008-2009
Universidade Federal de Pernambuco
2001-2008
Fraunhofer Institute for Experimental Software Engineering
2008
Adoption strategies for Software Product Lines (SPL) frequently involve bootstrapping existing products into a SPL and extending an to encompass another product. One way do that is use program refactorings. However, the traditional notion of refactoring does not handle appropriately feature models (FM), nor transformations involving multiple instances same SPL. For instance, it desirable apply reduce its configurability. In this paper, we extend context. Besides programs, FMs must also be...
Domain analysis involves not only looking at standard requirements documents (e.g., use case specifications) but also customer information packs, market analyses, etc. Looking across all these and deriving, in a practical scalable way, feature model that is comprised of coherent abstractions fundamental non-trivial challenge. We conduct an exploratory study to investigate the suitability Information Retrieval (IR) techniques for identification commonalities variabilities requirement...
Business Process Management aligns organisational strategy and business operation.The dynamic environment within which organisations operate promotes changes in processes, a phenomenon known as process variability.The goal of this research is reviewing variability literature to comprehend analyse its theoretical foundation.Through systematic mapping study, 80 primary studies acted sources evidence answer three questions.By summarizing background, we establish conceptual synthesis...
The adoption of a product line strategy can bring significant productivity and time to market improvements. However, evolving is risky because it might impact many products their users. So when introduce new features or improve its design, important make sure that the behavior existing not affected. In fact, preserve one usually has analyze different artifacts, like feature models, configuration knowledge core assets. To better understand this process, in paper we discover concrete evolution...
We propose a model for feature-aware discrete-time Markov chains, called FDTMC, as basis verifying probabilistic properties, e.g., Reliability and availability, of product lines. To verify such properties on we compare three techniques. First, experiment with two different parametric techniques to obtain this formula: the classical one builds it from whole, new that compositionally sequence modules. Finally, technique performs bounded verification whole line, thus takes advantage high...
This study proposes developing a resilient machine learning algorithm based on neural networks to classify naval images used in surveillance, search, and detection operations vast coastal marine environments. Coastal areas critical for water resource management often face challenges such as illegal fishing, trafficking, piracy, other illicit activities that require robust monitoring systems powered by computer vision. However, real-world datasets environments can be compromised label noise...
Nowadays, cloud users face three important problems: (a) choosing one or more appropriate provider(s) to run their application(s), (b) selecting resources, which implies having enough information about the available including characteristics and constraints, (c) configuring resources. These problems are mostly due wide range of resources usually have distinct dependencies, they offered at various clouds' layers. In this complex scenario, often handle dependencies manually. This is an...
Business processes specify key activities in an organization, some of which can be automated. It is often the case that replication across such occur and failure identifying results organizational costs. To minimize this risk optimize resources, paper we characterize variability business process propose approach to manage a variability. The characterization relies on study industrial-strength applications Human Resources domain. management based compositional parametric with...
Porting is a critical task in mobile device game development. The high diversity of devices requires correspondingly customized versions single game. Managing the variabilities among these while exploring latent commonality cannot be solely addressed with technique. This paper contributes to this by identifying and analyzing porting challenges, evaluating contrasting existing approaches within industrial-strength case studies J2ME games. Further, we present lessons learned, proposing more...
Small and Medium Enterprises (SME) represent a significant percentage of software companies. Although there are some experience reports on using Software Product Line (SPL) techniques in SMEs, is lack such the Mobile Games domain. This domain attractive both economically technically, with amount variability, thus suggesting use SPL approach. Accordingly, we conduct an exploratory study company this domain, eliciting main challenges, determining if how approaches help to address them, raising...