Results 11 to 20 of about 435,355 (265)
Flight Software Development and Validation Workflow Management System [PDF]
The aerospace industry is undergoing unprecedented transformation. New players, new ventures, and new technologies drive the established business towards a transition from traditional models and strategies to automated production and innovative methods.
Dan GULTUREANU +4 more
doaj +1 more source
Software Architecture and Dependability [PDF]
Dependable systems are characterized by a number of attributes including: reliability, availability, safety and security. For some attributes (namely for reliability, availability, safety), there exist probability- based theoretic foundations, enabling the application of dependability analysis techniques.
Issarny, V., Zarras, A.
openaire +3 more sources
Software: Based radio architecture
Radio-communications date from more than a century. Radio-devices of the past were solely based on hardware solutions. However, modern technology has reached the level where it is possible to design such a radio-device with characteristics (modulation ...
Dejan M. Savić +2 more
doaj +1 more source
On Refinement of Software Architectures [PDF]
Although increasingly popular, software component techniques still lack suitable formal foundations on top of which rigorous methodologies for the description and analysis of software architectures could be built. This paper aims to contribute in this direction: building on previous work by the authors on coalgebraic semantics, it discusses component ...
Sun Meng +2 more
openaire +2 more sources
Numerical Prediction of Ship Resistance Based on Volume of Fluid Implicit Multi-Step Method
The Volume of Fluid (VOF) method is used in two-phase fluid flow problems of ship hydrodynamic calculations, to capture the motion and distribution of the gas–liquid free surface. To ensure solution stability and accuracy, numerical simulations typically
Yu Wang +5 more
doaj +1 more source
The Walk-Man Robot Software Architecture
A software and control architecture for a humanoid robot is a complex and large project, which involves a team of developers/researchers to be coordinated and requires many hard design choices. If such project has to be done in a very limited time, i.e.,
Mirko Ferrati +11 more
doaj +1 more source
Integration of Software Architecture in Requirements Elicitation for Rapid Software Development
Software Architecture describes system components and their connections. Requirement elicitation catering the perspective of software architecture is quite challenging and relatively less explored research area for the rapid software development.
Maryam Gillani +2 more
doaj +1 more source
A Formalization of Software Architecture [PDF]
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural description languages (ADLs), and formal techniques can play an important role in analysis.
John Herbert +3 more
openaire +1 more source
An Architecture for Software Engineering Gamification
Gamification has been applied in software engineering to improve quality and results by increasing people’s motivation and engagement. A systematic mapping has identified research gaps in the field, one of them being the difficulty of creating an ...
Oscar Pedreira +4 more
doaj +1 more source
A Modular Quantum Compilation Framework for Distributed Quantum Computing
For most practical applications, quantum algorithms require large resources in terms of qubit number, much larger than those available with current noisy intermediate-scale quantum processors.
Davide Ferrari +2 more
doaj +1 more source

