Search Results

This article presents a model-driven engineering (MDE) integrated development environment (IDE) to assist the DevSecOps (Development Security and Operations) process. This tool has been developed within the PIACERE H2020 project, which proposes a ...

For the precise orbit determination (POD) of global navigation satellite systems (GNSS) constellation, it is very difficult to precisely model the solar radiation pressure (SRP) force acting on GNSS satellites. For GPS satellites, the ECOM model ...

Afra is an Eclipse-based tool for the modeling and model checking of Rebeca family models. Together with the standard enriched editor, easy to trace counter-example viewer, modular temporal property definition, exporting a model and its transition ...

Low Earth Orbit (LEO) satellites, when exposed to the sun, use solar energy for operation, processing, and communication, and with excess energy they recharge their batteries. However, when satellites are in an area with no sunlight, ...

For model-driven engineering (MDE) to become more Agile, the community needs to embrace development and operations (DevOps) practices. One of the core practices of DevOps is the use of pipelines to enable CI/CD to make teams more Agile and break ...

Although many software development projects have moved their developer discussion forums to generic platforms such as Stack Overflow, Eclipse has been steadfast in hosting their self-supported community forums. While recent studies show forums ...

Large‐scale software systems are being increasingly built by distributed teams of developers who interact across geographies and time zones. Ensuring smooth knowledge transfer and the percolation of skills within and across such teams remain key ...

In this paper, we empirically examine whether and how repeat collaborations between members of a software development team relate to outcomes of important activities using real‐world data from three diverse development ecosystems, collectively involving ...

The visualization of programs and algorithms has been demonstrated to be essential when learning to program. Nevertheless, existing graphic representations require a high level of abstraction that most beginner programmers cannot understand. ...

Technological growth has been exponential in relation to mobile devices (such as embedded sensors as GPS or accelerometer) that have allowed developing context-aware mobile applications for the market. This growth generates a new challenge about ...

In this practical paper we describe our ongoing project of building a candidate skeleton for the new Space System Ontology that is to be used by the space system community; starting from the vision: being able to achieve semantic interoperability ...

In view of the shortcomings of the current digital management system of physical education(PE) video teaching, a physical education video teaching system based on Spring MVC architecture is designed. According to the actual needs of teaching management ...

The quality of the specifications used for test generation plays an important role in the quality of the generated tests. One approach to improve the quality of the UML specification is the use of executable models specified using the Foundational ...

To serve real-time users, the IGS (International GNSS Service) provides GPS and GLONASS Ultra-rapid (IGU) orbits with an update of every 6 h. Following similar procedures, we produce Galileo and BeiDou predicted orbits. Comparison with precise orbits ...

The latest wave of connected digital systems, nowadays called Internet of Things (IoT) promises various gains, especially in terms of significant ease of data access. A large number of different platforms for IoT applications, however, makes their ...

A quality assurance activity, known as software fault prediction, can reduce development costs and improve software quality. The objective of this study is to investigate change metrics in conjunction with code metrics to improve the ...

We present Xtraitj, a trait-based programming language integrated with Java.We describe its open source available implementation in Xtext.The technique used to achieve the integration with Java can be used for other DSLs.The Xtraitj IDE supports an ...

As software projects evolve, carefully understanding the behavior of a program is mandatory before making any change. Repetitive code snippets also tend to appear throughout the codebase, and developers have to understand similar semantics multiple ...

Software are developed according to the consumer need. However, the requirements changed time to time due to the advancement of the era, which make software more complex over the time. Therefore, software needs to be maintained properly to reduce ...

Classical compiler architecture is centred around producing object code in a batch-oriented fashion. Integrated development environments (IDEs) present new challenges to the language implementer: information should be (almost) instantly available, and ...

EMF and GMF are powerful frameworks for implementing tool support for modelling languages in Eclipse. However, with power comes complexity, implementing a graphical editor for a modelling language using EMF and GMF requires developers to handcraft and ...