Results 11 to 20 of about 435,355 (265)

Flight Software Development and Validation Workflow Management System [PDF]

open access: yesINCAS Bulletin, 2018
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]

open access: yes, 2003
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

open access: yesVojnotehnički Glasnik, 2000
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]

open access: yes, 2005
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

open access: yesJournal of Marine Science and Engineering, 2023
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

open access: yesFrontiers in Robotics and AI, 2016
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

open access: yesIEEE Access, 2022
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]

open access: yes, 1999
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

open access: yesTsinghua Science and Technology, 2020
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

open access: yesIEEE Transactions on Quantum Engineering, 2023
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

Home - About - Disclaimer - Privacy