Log in

Relevant bibliographies by topics / Software construction method

Contents

Dissertations / Theses

Academic literature on the topic 'Software construction method'

Author: Grafiati

Published: 30 May 2022

Last updated: 31 May 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Software construction method.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Dissertations / Theses on the topic "Software construction method"

1

Roantree, Donal Kevin. "A formal development method for the construction of correct distributed applications software." Thesis, Queen's University Belfast, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.333846.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Pham, Thi-Kim-Dung. "Development of Correct-by-Construction Software using Product Lines." Thesis, Paris, CNAM, 2017. http://www.theses.fr/2017CNAM1138/document.

Full text

Abstract:

Nous avons commencé la thèse par la littérature d'enquête sur les approches SPLE et CbyC dans l'état de l'art. Sur la base de l'aperçu et des connaissances obtenues, nous avons analysé les problèmes existants et suggéré des moyens de les résoudre pour notre objectif principal. Nous avons proposé dans le chapitre 2 une méthodologie pour développer des lignes de produits afin que les produits générés soient corrects par construction. Notre intention principale est qu'un utilisateur n'a pas besoin de connaître le processus de génération de produit mais peut recevoir un produit final correct en sé

APA, Harvard, Vancouver, ISO, and other styles

3

Ayala, Martínez Claudia Patricia. "Systematic construction of goal-oriented COTS taxonomies." Doctoral thesis, Universitat Politècnica de Catalunya, 2008. http://hdl.handle.net/10803/6653.

Full text

Abstract:

El proceso de construir software a partir del ensamblaje e integración de soluciones de software pre-fabricadas, conocidas como componentes COTS (Comercial-Off-The-Shelf) se ha convertido en una necesidad estratégica en una amplia variedad de áreas de aplicación. En general, los componentes COTS son componentes de software que proveen una funcionalidad específica, que están disponibles en el mercado para ser adquiridos e integrados dentro de otros sistemas de software. Los beneficios potenciales de esta tecnología son principalmente la reducción de costes y el acortamiento del tiempo de desarr

APA, Harvard, Vancouver, ISO, and other styles

4

Ayala, Claudia P. (Claudia Patricia). "Systematic construction of goal-oriented COTS taxonomies." Doctoral thesis, Universitat Politècnica de Catalunya, 2008. http://hdl.handle.net/10803/6653.

Full text

Abstract:

El proceso de construir software a partir del ensamblaje e integración de soluciones de software pre-fabricadas, conocidas como componentes COTS (Comercial-Off-The-Shelf) se ha convertido en una necesidad estratégica en una amplia variedad de áreas de aplicación. En general, los componentes COTS son componentes de software que proveen una funcionalidad específica, que están disponibles en el mercado para ser adquiridos e integrados dentro de otros sistemas de software. Los beneficios potenciales de esta tecnología son principalmente la reducción de costes y el acortamiento del tiempo de desarr

APA, Harvard, Vancouver, ISO, and other styles

5

CHEMAA, TOUFIK. "Validation d'un code de calcul par éléments finis et conception de ses progiciels d'accompagnement." Université Joseph Fourier (Grenoble), 1997. http://www.theses.fr/1997GRE10272.

Full text

Abstract:

Le principal probleme au niveau de la construction des ouvrages en site urbain est lie au manque de terrains disponibles, a la surface reduite des terrains, a leur cout eleve, et a la proximite d'ouvrages plus anciens a preserver. Le tassement des fondations, ou le deplacement des ouvrages de soutenement revet alors une grande importance, et peut conduire eventuellement a des tassements differentiels nefastes dans les batiments riverains. La mecanique des sols classique donne avec une bonne precision la charge limite des fondations, mais manque de precision pour determiner la deformation du so

APA, Harvard, Vancouver, ISO, and other styles

6

Khlif, Jamel. "Construction d'un logiciel éléments finis : contribution à la modélisation numérique des sols et calcul d'ouvrages de génie civil." Université Joseph Fourier (Grenoble), 1994. http://www.theses.fr/1994GRE10071.

Full text

Abstract:

La situation actuelle est liee a l'extension des constructions sur sols de mediocres consistance et au besoin de rechercher les solutions les plus economiques. On a donc ete amene a etudier avec le plus de precision possible les differents facteurs entrant dans la realisation des ouvrages de genie civil. Si les caracteristiques des structures jouent un role important dans ces etudes, c'est essentiellement sur le comportement du sol que les differentes etudes sont generalement portees. Ceci bien evidement, depuis le debut de la phase constructive jusqu'a la fin des travaux. La methode dite aux

APA, Harvard, Vancouver, ISO, and other styles

7

Волков, Ілля Андрійович. "Метод побудови програмного забезпечення безпілотного вантажного літального апарату". Master's thesis, КПІ ім. Ігоря Сікорського, 2021. https://ela.kpi.ua/handle/123456789/46836.

Full text

Abstract:

Дана дисертація розглядає один з можливих способів автоматизації процесу кур’єрської доставки - доставку посилок кінцевому отримувачу за допомогою безпілотних апаратів, які б могли виконувати такі завдання у дуже короткий час, незалежно від завантаженості доріг та систем громадського транспорту. Така система дозволяє суттєво знизити час доставки вантажу кінцевому користувачу, зменшити обсяг інфраструктури, необхідної для підтримки її працездатності та скоротити кількість обслуговуючого персоналу. Також повна автоматизація процесу доставки дозволяє знизити вплив людського факто

APA, Harvard, Vancouver, ISO, and other styles

8

Du, Jia-Zheng. "Methods and software development for sectional and topological optimization of frame structures." Reims, 2004. http://theses.univ-reims.fr/exl-doc/GED00000024.pdf.

Full text

Abstract:

Afin de satisfaire les besoins industriels en calcul et optimisation des structures, des méthodes de l'optimisation de section et de topologie de structures de poutre ont été étudiées et des logiciels pertinents basés sur ces méthodes ont été développés en utilisant les logiciels MSC/Patran-Nastran comme plate-forme. En combinant la méthode de critère d'optimalité et la méthode de programmation mathématique, différentes méthodes sont utilisées pour traiter les limitations avec différentes propriétés. Le modèle original de l'optimisation de section est transformé en un problème dual selon la th

APA, Harvard, Vancouver, ISO, and other styles

9

Azim‎, Mohammad. "Contribution à la conception d'une station expérimentale pour l'étude du comportement des murs de soutènement." Paris 6, 1986. http://www.theses.fr/1986PA066337.

Full text

Abstract:

Conception de cette structure par le laboratoire central des ponts et chaussées afin d'étudier expérimentalement le comportement de ce type d'ouvrage. Détermination des efforts internes dans le mur à l'aide de capteurs intégrés à la structure et étude du mécanisme de leur fonctionnement par des calculs aux éléments finis tridimensionnels, puis par photoélasticimétrie. On passe des mesures de déformation aux efforts internes dans la structure par des formules de régression linéaire qui résultent de l'analyse statistique d'un grand nombre de cas d'étalonnage sous sollicitations contrôlés. Déterm

APA, Harvard, Vancouver, ISO, and other styles

10

Whipple, Thomas Driggs 1961. "Design and implementation of an integrated VLSI packaging support software environment." Thesis, The University of Arizona, 1989. http://hdl.handle.net/10150/277105.

Full text

Abstract:

An interactive software shell has been developed which integrates several packaging simulation tools developed at the University of Arizona which are used to analyze electro-magnetic coupling between interconnects in an integrated circuit. This software shell uses experimental frames to manage this simulation process. Through the experimental frames, the model descriptions and the model inputs are separated, and input data is verified for correctness. This model/input separation allows several model variations to be tested based on several input variations. The results of these simulations are

APA, Harvard, Vancouver, ISO, and other styles

More sources

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!