Готові списки джерел за темами / Software construction method / Дисертації
Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Software construction method.

Дисертації з теми "Software construction method"

Автор: Grafiati
Опубліковано: 30 травня 2022
Оновлено: 31 травня 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-17 дисертацій для дослідження на тему "Software construction method".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
7

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

Повний текст джерела
Анотація:
Дана дисертація розглядає один з можливих способів автоматизації процесу кур’єрської доставки - доставку посилок кінцевому отримувачу за допомогою безпілотних апаратів, які б могли виконувати такі завдання у дуже короткий час, незалежно від завантаженості доріг та систем громадського транспорту. Така система дозволяє суттєво знизити час доставки вантажу кінцевому користувачу, зменшити обсяг інфраструктури, необхідної для підтримки її працездатності та скоротити кількість обслуговуючого персоналу. Також повна автоматизація процесу доставки дозволяє знизити вплив людського факто
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
13

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
碩士<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 та ін.
16

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

Знайти повний текст джерела
Анотація:
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 та ін.
17

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

Знайти повний текст джерела
Анотація:
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 та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії