Relevant bibliographies by topics / Software construction method / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Software construction method.

Dissertations / Theses 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 top 17 dissertations / theses for your research 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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

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
11

Monfared, Radmehr Pourtafreshi. "A component-based approach to design and construction of change capable manufacturing cell control systems." Thesis, Loughborough University, 2000. https://dspace.lboro.ac.uk/2134/11060.

Full text
Abstract:
Business goals of manufacturing systems are typically in a state of constant change and greater rates of change are predicted in the future. Whereas contemporary approaches to the design and construction of these systems often results in inflexible enterprises that cannot readily be tuned to changing business goals. This study has specified and prototyped the use of a new model-driven approach to the design and (re)configuration of"change capable" manufacturing cells. Manufacturing cells represent a typical domain of manufacturing systems in which the existence of inflexible links between task
APA, Harvard, Vancouver, ISO, and other styles
12

Antignac, Thibaud. "Méthodes formelles pour le respect de la vie privée par construction." Thesis, Lyon, INSA, 2015. http://www.theses.fr/2015ISAL0016/document.

Full text
Abstract:
Le respect de la vie privée par construction est de plus en plus mentionné comme une étape essentielle vers une meilleure protection de la vie privée. Les nouvelles technologies de l'information et de la communication donnent naissance à de nouveaux modèles d'affaires et de services. Ces services reposent souvent sur l'exploitation de données personnelles à des fins de personnalisation. Alors que les exigences de respect de la vie privée sont de plus en plus sous tension, il apparaît que les technologies elles-mêmes devraient être utilisées pour proposer des solutions davantage satisfaisantes.
APA, Harvard, Vancouver, ISO, and other styles
13

Clavel, Edith. "Vers un outil de conception de cablage : le logiciel InCa." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0157.

Full text
Abstract:
L'augmentation du niveau technologique des convertisseurs statiques d'Electronique de Puissance inhérente aux perfonnances foequentielles accrue. . . . Des semi-oenducteurs et au besoin de compacité lui aussi grandissant rend leur coaception de plus en plus délicate. L'utilisation de composants modem. Es,à fort pouvoir de commutation ne permet plus de négliger lel\. CaractériMiquel\ électrique~ de~ connexionl\ tant vi~-à-vis del\ surten~ions inadmil\sibles lors de )'ouvenure del\ semi-conducteur!\ que pour leur mise en parallèle dans le~ !\tructures de forte pui~sance. La caraetéri~ation des i
APA, Harvard, Vancouver, ISO, and other styles
14

CHIPRIANOV, Vanea. "Collaborative Construction of Telecommunications Services. An Enterprise Architecture and Model Driven Engineering Method." Phd thesis, 2012. http://tel.archives-ouvertes.fr/tel-00719634.

Full text
Abstract:
In the context of world economies transitioning to services, telecommunications services are the primary means of communication between different economic entities and are therefore essential. The focus on the end consumer, the convergence with the Internet, the separation between the software and the hardware implementing a service, and the telecommunications market deregulation have led to a revolution and a new era in the telecommunications industry. To meet these challenges, former national telecommunications providers have to reduce the construction time, from months to days, while affect
APA, Harvard, Vancouver, ISO, and other styles
15

HUANG, KUN-FENG, and 黃堃峰. "The Effectiveness Assessment of the Construction Method for Slope Stability by STABL Software Program-Hualien Elderly Center for Example." Thesis, 2015. http://ndltd.ncl.edu.tw/handle/9r3vu5.

Full text
Abstract:
碩士<br>大漢技術學院<br>土木工程與環境資源管理研究所<br>103<br>Taiwan is located in the Circum-Pacific seismic belt, It has mountainous and geological broken characteristics via plate collision. Due to population growth year after year, the plain land area were insufficient used. Peoples are gradually to the suburbs around the city hillside development. In the same time, Taiwan is humid and has lots of typhoons. The heavy rain and earthquakes cause serious slope failure which is the one of main geological hazards in Taiwan. To avoid road and buildings which next to the slopes to be damaged by slope failure, how to
APA, Harvard, Vancouver, ISO, and other styles
16

Marczyński, Grzegorz. "Specifications of Software Architectures using Diagrams of Constructions." Doctoral thesis, 2014.

Find full text
Abstract:
Formal methods promise the ultimate quality of software artifacts with mathematicalproof of their correctness. Algebraic specification is one of such methods, providingformal specifications of system components suitable for verification of correctnessof all individual steps in the software development process, and hence of the entiredevelopment process and of the resulting program.In this thesis we propose a new approach to algebraic specifications of software architectures,called diagrams of construction specifications. Constructions, as introducedhere, model parameterised modules, with depen
APA, Harvard, Vancouver, ISO, and other styles
17

(9762602), Mingrui Liu. "Three-dimensional wind field construction, wind turbine citing and wind comfort analysis in an urban environment." Thesis, 2020.

Find full text
Abstract:
Three-dimensional urban wind field construction plays an important role not only in the analysis of pedestrian levels of comfort but also in the effectiveness of harnessing wind energy in an urban environment. However, it is challenging to accurately simulate urban wind flow due to the complex land use in urban environments. In this study, a three-dimensional numerical model was developed for urban wind flow construction. To obtain an accurate urban wind field, various turbulence models, including the Reynolds Stress Model (RSM), Shear-Stress Transport (SST) k-ω, realizable k-ε, and Re-Normali
APA, Harvard, Vancouver, ISO, and other styles
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!

To the bibliography