Дисертації з теми "Software construction method"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-17 дисертацій для дослідження на тему "Software construction method".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
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.
Повний текст джерелаPham, Thi-Kim-Dung. "Development of Correct-by-Construction Software using Product Lines." Thesis, Paris, CNAM, 2017. http://www.theses.fr/2017CNAM1138/document.
Повний текст джерелаWe began the thesis by survey literature on SPLE and CbyC approaches in the State of the Art. Based on the overview and the insights obtained, we have analyzed the existing problems and suggested ways to solve them for our main goal. We have proposed in Chapter 2 a methodology to develop product lines such that the generated products are correct-by-construction. Our main intention is that a user does not need to know the product generation process but can receive a correct final product from selecting a configuration of features. Using the methodology, the final products are generated automatically and their correctness is guaranteed. Following this proposal, we have moved in Chapter 3 to define the FFML language that is used for writing modules. The reuse and modification mechanism, defined for the language and applied to all kinds of artifacts (specification, code and correctness proof), reduce the programming effort. In Chapter 4, we have focused on defining the composition mechanisms for composing FFML modules and embedded them into the FFML Product Generator tool. The evaluation of our methodology is performed through the development of two software product lines, the Bank Account SPL and the Poker SPL, the latter being a bit more complex than the former. In the evaluation, we have highlighted the advantages and the limitation of our methodology
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.
Повний текст джерелаThe process of building software systems by assembling and integrating pre-packaged solutions in the form of Commercial-Off-The-Shelf (COTS) software components has become a strategic need in a wide variety of application areas. In general, COTS components are software components that provide a specific functionality, available in the market to be purchased, interfaced and integrated into other software systems. The potential benefits of this technology are mainly its reduced costs and shorter development time, while maintaining the quality. Nevertheless, many challenges ranging form technical to legal issues must be faced for adapting the traditional software engineering activities in order to exploit these benefits.Nowadays there is an increasingly huge marketplace of COTS components; therefore, one of the most critical activities in COTS-based development is the selection of the components to be integrated into the system under development. Selection is basically composed of two main processes, namely: searching of candidates from the marketplace and their evaluation with respect to the system requirements. Unfortunately, most of the different existing methods for COTS selection focus their efforts on evaluation, letting aside the problem of searching components in the marketplace. Searching candidate COTS is not an easy task, having to cope with some challenging marketplace characteristics related to its widespread, evolvable and growing nature; and the lack of available and well-suited information to obtain a quality-assured search. Indeed, traditional reuse approaches also lack of appropriate solutions to reuse COTS components and the knowledge gained in each selection process. This lack of proposals is a serious drawback that makes the whole selection process highly risky, and often expensive and inefficient. This dissertation introduces the GOThIC (Goal- Oriented Taxonomy and reuse Infrastructure Construction) method aimed at building a domain reuse infrastructure for facilitating COTS components searching and reuse. It is based on goal-oriented approaches for building abstract, well-founded and stable taxonomies capable of dealing with the COTS marketplace characteristics. Thus, the nodes of these taxonomies are characterized by means of goals, their relationships declared as dependencies among them and several artifacts are constructed and managed for reusability and evolution purposes. The GOThIC method has been elaborated following an iterative process based on action research premises to identify the actual challenges related to COTS components searching. Then, possible solutions were envisaged and implemented by several industrial and academic case studies in different domains. Successful results were recorded to articulate the synergic GOThIC method solution, followed by its preliminary industrial evaluation in some Norwegian companies.
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.
Повний текст джерелаActualmente, existe un incrementalmente enorme mercado de componentes COTS; así, una de las actividades más críticas en el desarrollo de sistemas basados en COTS es la selección de componentes que deben ser integrados en el sistema a desarrollar. La selección está básicamente compuesta de dos procesos principales: La búsqueda de componentes candidatos en el mercado y su posterior evaluación con respecto a los requisitos del sistema. Desafortunadamente, la mayoría de los métodos existentes para seleccionar COTS, se enfocan en el proceso de evaluación, dejando de lado el problema de buscar los componentes en el mercado. La búsqueda de componentes en el mercado no es una tarea trivial, teniendo que afrontar varias características del mercado de COTS, tales como su naturaleza dispersa y siempre creciente, cambio y evolución constante; en este contexto, la obtención de información de calidad acerca de los componentes no es una tarea fácil. Como consecuencia, el proceso de selección de COTS se ve seriamente dañado. Además, las alternativas tradicionales de reuso también carecen de soluciones apropiadas para reusar componentes COTS y el conocimiento adquirido en cada proceso de selección. Esta carencia de propuestas es un problema muy serio que incrementa los riesgos de los proyectos de selección de COTS, además de hacerlos ineficientes y altamente costosos.
Esta disertación presenta el método GOThIC (Goal- Oriented Taxonomy and reuse Infrastructure Construction) enfocado a la construcción de infraestructuras de reuso para facilitar la búsqueda y reuso de componentes COTS. El método está basado en el uso de objetivos para construir taxonomías abstractas, bien fundamentadas y estables para lidiar con las características del mercado de COTS. Los nodos de las taxonomías son caracterizados por objetivos, sus relaciones son declaradas como dependencias y varios artefactos son construidos y gestionados para promover la reusabilidad y lidiar con la evolución constante.
El método GOThIC ha sido elaborado a través de un proceso iterativo de investigación-acción para identificar los retos reales relacionados con el proceso de búsqueda de COTS. Posteriormente, las soluciones posibles fueron evaluadas e implementadas en varios casos de estudio en el ámbito industrial y académico en diversos dominios. Los resultados más relevantes fueron registrados y articulados en el método GOThIC. La evaluación industrial preliminar del método se ha llevado a cabo en algunas compañías en Noruega.
The process of building software systems by assembling and integrating pre-packaged solutions in the form of Commercial-Off-The-Shelf (COTS) software components has become a strategic need in a wide variety of application areas. In general, COTS components are software components that provide a specific functionality, available in the market to be purchased, interfaced and integrated into other software systems. The potential benefits of this technology are mainly its reduced costs and shorter development time, while maintaining the quality. Nevertheless, many challenges ranging form technical to legal issues must be faced for adapting the traditional software engineering activities in order to exploit these benefits.
Nowadays there is an increasingly huge marketplace of COTS components; therefore, one of the most critical activities in COTS-based development is the selection of the components to be integrated into the system under development. Selection is basically composed of two main processes, namely: searching of candidates from the marketplace and their evaluation with respect to the system requirements. Unfortunately, most of the different existing methods for COTS selection focus their efforts on evaluation, letting aside the problem of searching components in the marketplace. Searching candidate COTS is not an easy task, having to cope with some challenging marketplace characteristics related to its widespread, evolvable and growing nature; and the lack of available and well-suited information to obtain a quality-assured search. Indeed, traditional reuse approaches also lack of appropriate solutions to reuse COTS components and the knowledge gained in each selection process. This lack of proposals is a serious drawback that makes the whole selection process highly risky, and often expensive and inefficient.
This dissertation introduces the GOThIC (Goal- Oriented Taxonomy and reuse Infrastructure Construction) method aimed at building a domain reuse infrastructure for facilitating COTS components searching and reuse. It is based on goal-oriented approaches for building abstract, well-founded and stable taxonomies capable of dealing with the COTS marketplace characteristics. Thus, the nodes of these taxonomies are characterized by means of goals, their relationships declared as dependencies among them and several artifacts are constructed and managed for reusability and evolution purposes. The GOThIC method has been elaborated following an iterative process based on action research premises to identify the actual challenges related to COTS components searching. Then, possible solutions were envisaged and implemented by several industrial and academic case studies in different domains. Successful results were recorded to articulate the synergic GOThIC method solution, followed by its preliminary industrial evaluation in some Norwegian companies.
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.
Повний текст джерела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.
Повний текст джерелаВолков, Ілля Андрійович. "Метод побудови програмного забезпечення безпілотного вантажного літального апарату". Master's thesis, КПІ ім. Ігоря Сікорського, 2021. https://ela.kpi.ua/handle/123456789/46836.
Повний текст джерелаThis dissertation considers one of the possible ways to automate the courier delivery process - delivery of parcels to the final recipient using unmanned aerial vehicles, which could perform such tasks in a very short time, regardless of the congestion of roads and public transport systems. This system can significantly reduce the time of delivery of goods to the end user, reduce the amount of infrastructure needed to maintain its efficiency and reduce the number of service personnel. Also, full automation of the delivery process reduces the impact of the human factor on the quality of service. Currently, several such systems have been implemented, but none of them is completely secure and does not meet all the requirements for an automatic courier system. Also, none of these developments has an architecture that fully covers the functionality of the unmanned aerial vehicle ecosystem. Also in this work, a number of ready-made architectural solutions designed to build similar software, taken from similar research. However, none of them also meets all the requirements for this software, or has significant shortcomings that prevent its software implementation, implementation or application in practice. In connection with all the above factors, it was decided to develop its own architecture for the implementation of the software package of the ecosystem of cargo unmanned aerial vehicles. And to confirm the efficiency of this architecture and prove its effectiveness, appropriate software was developed using the proposed method of development. The purpose of this research is to develop a method for building software ecosystems of unmanned aerial vehicles, one that will improve and enhance existing approaches to UAV programming both in terms of the process of their implementation and in terms of use of the final product. The main tasks that were performed during this study: ˗ study and analysis of ready-implemented software products-analogues in order to identify their main advantages and disadvantages; ˗ study and analysis of similar research to explore ways to solve the main problems of building UAV software; ˗ creation of own method of construction of the software of the cargo UAV, taking into account results of preliminary research of subject area; ˗ writing software based on this method, analyzing its main advantages and disadvantages, and proving its effectiveness. The object of this research is the software architecture of the cargo UAV ecosystem and approaches to the implementation of this architecture. The subject of the research is the methods and ways of building the software of the cargo UAV ecosystem. During this study, the method of systematic mapping study was used to study and analyze the subject area of this study from textual sources of information and the method of case study to analyze the developed method of software construction. The scientific novelty of the obtained method of software construction is that for the first time the UAV is considered as an actor in the ecosystem of unmanned aerial vehicles and for the first time a software architecture was developed for this ecosystem. Also, for the first time, the very concept of the unmanned aerial vehicle ecosystem was introduced. The practical significance of the obtained results is that a simple, effective and comprehensive approach for solving the problem of building a UAV software was developed, which can easily be used to solve commercial problems of targeted delivery of small cargo. The results of this study were presented at the VI All-Ukrainian scientificpractical conference of young scientists and students "Information Systems and Control Technologies" (ISCT-2021). This dissertation consists of an abstract, introduction, main part divided into 4 sections, conclusions and appendices that include a list of program code and graphics. The main part of this work contains 105 pages, 28 figures, 18 tables and 19 references.
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.
Повний текст джерелаTo satisfy the requirement on computation and optimization of frame structures in the engineering field, some sectional and topological optimization methods of frame structures are studied and a relevant software based on the present study is developed using the MSC/Patran&Nastran software as platform. Combining the optimality criteria method and the mathematical programming method, several methods are adopted to deal with the constraints with different properties. The original sectional optimization model is transformed into a dual problem according to the dual theory in order to reduce the number of the design variables so speed up the resolution. The methods of Approximate Scaling Step and Deletion of Negative Constraints also largely improve the efficiency. Based on the ICM (Independent Continuous Mapping) method, a topological optimization model with continuous topological variables (between 0 and 1 instead of 0 or 1) is built. In order to quickly and accurately obtain the optimum topological structures, three criteria are introduced and a self-adaptive algorithm is proposed. To deal with the elements with their null topological variable, the weak material method is proposed and compared with the tiny section method. The topological optimization for multi-loading cases is studied with three conditions: the local stress constraints, the global displacement constraints and their combination. According to the above methods, the MSC/Patran&Nastran software is secondly developed. The examples clearly show the notable improvement of the efficiency and accuracy
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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаPrivacy by Design (PbD) is increasingly praised as a key approach to improving privacy protection. New information and communication technologies give rise to new business models and services. These services often rely on the exploitation of personal data for the purpose of customization. While privacy is more and more at risk, the growing view is that technologies themselves should be used to propose more privacy-friendly solutions. Privacy Enhancing Technologies (PETs) have been extensively studied, and many techniques have been proposed such as anonymizers or encryption mechanisms. However, PbD goes beyond the use of PETs. Indeed, the privacy requirements of a system should be taken into account from the early stages of the design because they can have a large impact on the overall architecture of the solution. The PbD approach can be summed up as ``prevent rather than cure''. A number of principles related to the protection of personal data and privacy have been enshrined in law and soft regulations. They involve notions such as data minimization, control of personal data by the subject, transparency of the data processing, or accountability. However, it is not clear how to translate these principles into technical features, and no method exists so far to support the design and verification of privacy compliant systems. This thesis proposes a systematic process to specify, design, and verify system architectures. This process helps designers to explore the design space in a systematic way. It is complemented by a formal framework in which confidentiality and integrity requirements can be expressed. Finally, a computer-aided engineering tool enables non-expert designers to perform formal verifications of the architectures. A case study illustrates the whole approach showing how these contributions complement each other and can be used in practice
Clavel, Edith. "Vers un outil de conception de cablage : le logiciel InCa." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0157.
Повний текст джерелаThe augmentation of technological level of power static converters due to increasing frequency performances of semi-conductors and due to the need of redueing the sizes of the structures makes their design more and more tricky. The use of up-to-date components with high power of commutation does not allow to negleet the electrical characteristies of connections not only face to inadmissible overvoltages when semiconductors turn on but also when for their a. ~sociation in parallel in high power structures. The characterization of cabling impedances before the realization of the prototype remains the privileged way in the design of structures which allows to reduce costs and delays. For this, the simulation is necessary to model connections. InCa. Simulation 1001 dedicated 10 the characterization of cabling inductances using PEEC method' has been developped to ensure this stage of design. A method for modelling has been established. It consists in looking for the equivalent electrical circuit of connections considering not only the skin and proximity em~Cb but al~o the presence of a ground plane. The automatÎc coupling of InCa with an clectrical simulation tool such as SPICE atlows to use the results given by InCa in order to obtain the cuurent and voltage wave fonn. ~ of the converter. InCa whose database is adapted to the solving method has a110wed to characterize varioul\ cabling technologies from integrclted circuit. Hybrid technology to bus bar technology more and more used in the power electronics structures
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.
Повний текст джерела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.
Повний текст джерела大漢技術學院
土木工程與環境資源管理研究所
103
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 analyze the slope stability to ensure the safety is important. The limit equilibrium method that often used to analysis is based on strength of materials as the main consideration. It usually assumes that failure surface is linear, circular or compound during analysis then calculate the surface safety coefficient to define the slope stability. The minimum safety coefficient is the possible failure surface. The research used the STABL program which wrote by the limit balance method concept to discuss the three possible sliding slopes in research region and analyzed by three modes: general, earthquake and the storm. Then, simulate the reinforce plan on slope stability by two analysis models anchor nail and the stiffened soil to selected most cost-effective method of reinforcement work. Key words: slope stability, safety factor, anchor nail, stiffened soil, STABL
Marczyński, Grzegorz. "Specifications of Software Architectures using Diagrams of Constructions." Doctoral thesis, 2014.
Знайти повний текст джерелаMetody formalne umożliwiają uzyskanie najwyższej jakości procesu wytwarzania oprogramowaniaprzez dostarczenie matematycznych dowodów jego poprawności. Jedną ztakich metod są specyfikacje algebraiczne, które podają sposób formalnej specyfikacjiposzczególnych komponentów systemu informatycznego oraz weryfikacji poprawnościwszystkich kroków procesu wytwarzania oprogramowania i w rezultacie dają możliwośćzapewnienia poprawności zarówno całego procesu, jak i samego wynikowego programu.W niniejszej rozprawie proponuje się nowe podejście do algebraicznych specyfikacji architekturoprogramowania zwane diagramami specyfikacji konstrukcji. Wprowadzonejest pojęcie konstrukcji, które są modelami sparametryzowanych modułów wraz z relacjązależności wyrażoną bezpośrednio na symbolach z ich sygnatur. Konstrukcjezapewniają jednolite podejście do parametryzacji pierwszego i wyższych rzędów. Jedynąoperacją na konstrukcjach jest suma, która z powodzeniem zastępuje większośćstandardowych operacji na modułach sparametryzowanych. W rozprawie przedstawianesą specyfikacje konstrukcji, przeprowadzane są badania ich kompozycjonalnościoraz definiowane jest pojęcie uściślenia (ang. refinement) specyfikacji konstrukcji. Diagramyspecyfikacji konstrukcji pozwalają modelować strukturę i rozwój modularnycharchitektur oprogramowania opartych na dekompozycji i uściślaniu specyfikacji konstrukcji.W całym tekście podawane są liczne małe przykłady wprowadzanych pojęć i dyskutowanychproblemów. Na koniec przytoczony jest nieco dłuższy przykład ilustrującykilka kroków rozwoju architektury prostego systemu informatycznego.
(9762602), Mingrui Liu. "Three-dimensional wind field construction, wind turbine citing and wind comfort analysis in an urban environment." Thesis, 2020.
Знайти повний текст джерела