|
|
|
|
|
Gaetanino Paolone, Romolo Paesani, Martina Marinelli and Paolino Di Felice
Many scholars have reported that the adoption of Model Driven Engineering (MDE) in the industry is still marginal. Real-life case studies, completed with convincing empirical data about the quality of the developed source code, is an effective way to per...
ver más
|
|
|
|
|
|
|
|
|
|
|
Benjamin Jahic, Nicolas Guelfi and Benoît Ries
Neural network (NN) components are being increasingly incorporated into software systems. Neural network properties are determined by their architecture, as well as the training and testing datasets used. The engineering of datasets and neural networks i...
ver más
|
|
|
|
|
|
|
|
|
|
|
Colm Brandon, Adam J. Doherty, Dervla Kelly, Desmond Leddin and Tiziana Margaria
Cancer misinformation is becoming an increasingly complex issue. When a person or a loved one receives a diagnosis of possible cancer, that person, family and friends will try to better inform themselves in this area of healthcare. Like most people, they...
ver más
|
|
|
|
|
|
|
|
|
|
|
Paolo Bocciarelli, Andrea D?Ambrogio, Tommaso Panetti and Andrea Giglio
The ever-increasing adoption of innovative technologies, such as big data and cloud computing, provides significant opportunities for organizations operating in the IT domain, but also introduces considerable challenges. Such innovations call for develop...
ver más
|
|
|
|
|
|
|
|
|
|
|
Issam Al-Azzoni, Julian Blank and Nenad Petrovic
The underlying infrastructure paradigms behind the novel usage scenarios and services are becoming increasingly complex?from everyday life in smart cities to industrial environments. Both the number of devices involved and their heterogeneity make the al...
ver más
|
|
|
|
|
|
|
|
|
|
|
Darío Rodríguez-García, Vicente García-Díaz and Cristian González García
The final objective of smart cities is to optimize services and improve the quality of life of their citizens, who can play important roles due to the information they can provide. This information can be used in order to enhance many sectors involved in...
ver más
|
|
|
|
|
|
|
|
|
|
|
Josué Padilla-Cuevas, José A. Reyes-Ortiz and Maricela Bravo
An Ambient Intelligence responds to user requests based on several contexts. A relevant context is related to what has happened in the ambient; therefore, it focuses a primordial interest on events. These involve information about time, space, or people,...
ver más
|
|
|
|
|
|
|
|
|
|
|
Alberto FERNÁNDEZ-ISABEL,Rubén FUENTES-FERNÁNDEZ
Pág. 1 - 24
|
|
|
|
|
|
|
|
|
|
|
Ahmad F. Subahi
Program synthesis is defined as a software development step aims at achieving an automatic process of code generation that is satisfactory given high-level specifications. There are various program synthesis applications built on Machine Learning (ML) an...
ver más
|
|
|
|
|
|
|
|
|
|
|
Afrah Umran Alrubaee, Deniz Cetinkaya, Gernot Liebchen and Huseyin Dogan
Developing high quality, reliable and on time software systems is challenging due to the increasing size and complexity of these systems. Traditional software development approaches are not suitable for dealing with such challenges, so several approaches...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ngo Van Hien, Ngo Van He, Van-Thuan Truong and Ngoc-Tam Bui
In this paper, a hybrid realization model is proposed for the controllers of autonomous underwater vehicles (AUVs). This model is based on the model-based systems engineering (MBSE) methodology, in combination with the model-driven architecture (MDA), th...
ver más
|
|
|
|
|
|
|
|
|
|
|
Carmen Ioana Gog
Pág. 19 - 31
The Design Science research method was hereby employed to develop an artifact that demonstrates the experimental ?model-aware? software engineering methodology in the context of PHP Web development ? a ?low code? development approach with code templates ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Roberto Boccagna, Maurizio Bottini, Massimo Petracca, Alessia Amelio and Guido Camata
In the last few decades, structural health monitoring has gained relevance in the context of civil engineering, and much effort has been made to automate the process of data acquisition and analysis through the use of data-driven methods. Currently, the ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Cihan Ates, Dogan Bicat, Radoslav Yankov, Joel Arweiler, Rainer Koch and Hans-Jörg Bauer
In this study, we propose a population-based, data-driven intelligent controller that leverages neural-network-based digital twins for hypothesis testing. Initially, a diverse set of control laws is generated using genetic programming with the digital tw...
ver más
|
|
|
|
|
|
|
|
|
|
|
Carlos Enrique Montenegro Marín, Juan Manuel Cueva Lovelle, Oscar Sanjuán Martínez, Paulo Alonso Gaona Garcia
Abstract AuthorsDownloadsReferencesHow to Cite
|
|
|
|
|
|
|
|
|
|
|
Claudia Meisina, Roberta Bonì, Massimiliano Bordoni, Carlo Giovanni Lai, Francesca Bozzoni, Renato Maria Cosentini, Doriano Castaldini, Daniela Fontana, Stefano Lugli, Alessandro Ghinoi, Luca Martelli and Paolo Severi
Liquefaction-induced surface manifestations are the result of a complex geological?geotechnical phenomenon, driven by several controlling factors. We propose a multidisciplinary methodological approach, involving engineering geologists, geomorphologists,...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bharvi Chhaya, Shafagh Jafer and Umut Durak
Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states. The Aviation Sce...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bharvi Chhaya, Shafagh Jafer and Umut Durak
Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states. The Aviation Sce...
ver más
|
|
|
|
|
|
|
|
|
|
|
Raimundas Matulevicius,Henri Lakk
Pág. 35 - 62
Nowadays security has become an important aspect in information systems engineering. A mainstream method for information system security is Role-based Access Control (RBAC), which restricts system access to authorised users. While the benefits of RBAC ar...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yiran Liu, Boyi Chen, Jinbao Chen and Yanbin Liu
This paper investigates a rapid modeling method and robust analysis of hypersonic vehicles using multidisciplinary integrated techniques. First, the geometrical configuration is described using parametric methods based on the class?shape technique. Aerod...
ver más
|
|
|
|
|
|