Relevant bibliographies by topics / Software construction method

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:

Contents

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.

Journal articles on the topic "Software construction method"

1

LIU, Dong-Hong, Chang-Guo GUO, Huai-Min WANG, and Tao WANG. "Monitoring Enabled Distributed Software Construction Method." Journal of Software 22, no. 11 (November 14, 2011): 2610–24. http://dx.doi.org/10.3724/sp.j.1001.2011.04081.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Seo, Yongjin, Su Ji Kim, and Hyeon Soo Kim. "Construction Method of Software Test Monitoring Framework." Journal of Internet Computing and Services 17, no. 6 (December 31, 2016): 61–69. http://dx.doi.org/10.7472/jksii.2016.17.6.61.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

GUO, Yu, Yi-Yun CHEN, and Chun-Xiao LIN. "A Method for Code Safety Proof Construction." Journal of Software 19, no. 10 (October 20, 2008): 2720–27. http://dx.doi.org/10.3724/sp.j.1001.2008.02720.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Li, Jing, Huanguo Zhang, Bo Zhao, and Lingling Fang. "A trusted environment construction method for security-sensitive software." Wuhan University Journal of Natural Sciences 16, no. 5 (September 3, 2011): 383–90. http://dx.doi.org/10.1007/s11859-011-0767-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Smugala, S., and D. Kubečková. "Construction Process Duration Predicted by Statistical Method." IOP Conference Series: Materials Science and Engineering 1203, no. 3 (November 1, 2021): 032135. http://dx.doi.org/10.1088/1757-899x/1203/3/032135.

Full text
Abstract:
Abstract Many construction projects today are planned and managed using computer technology. An integral part of the management of these projects is sophisticated software, which includes statistical probabilistic methods. The main task in this area is direct verification of the validity of planned labour productivity values during the construction process according to the recorded average performance values. Using selected statistical methods and analyses, a case study can document this type of undertaking, for example, in a selected masonry process in which the upper and lower limits of performance, i.e. the optimistic and pessimistic bounds, may be calculated with 95% probability. Evaluation of these performance parameters in the construction software used for this study showed a difference in time of 11 days at the end of the process. The figures indicated a 9.6% and 14.3% decrease in labour productivity, respectively, for the optimistic and pessimistic values compared to the construction software ’ s planned values. Repeated evaluation of performance can aid in improving labour productivity and attaining project milestones and subsequent construction deadlines during the construction process. This paper aims to confirm or refute this theoretical balance using probabilistic statistical methods and to emphasize the importance of statistical analysis in the real construction process with the use of the software.
APA, Harvard, Vancouver, ISO, and other styles
6

Nguyen, Van Thanh, Thuan Van Nguyen, Trung Hoai Dang, Triet Minh Vo, and Lieu Nguyen Nhu Vo. "GPRTVN – Processing ground penetrating radar data software." Science and Technology Development Journal - Natural Sciences 2, no. 5 (July 2, 2019): 97–104. http://dx.doi.org/10.32508/stdjns.v2i5.784.

Full text
Abstract:
Designing and mapping underground construction works have been doing for years to meet urgent demands in urbanization process. In this field, Ground Penetrating Radar (GPR) method has shown many advantages in determining underground structures. However, our country has almost no processing program that meets demands of processing and interpretation GPR data. This paper introduced GPRTVN processing program which was the research result of the Department of Geophysics for years. This program could process data of many present GPR equipments and quickly provide cross sections of existing underground constructions. It would be very useful for construction and building investigation companies in Vietnam.
APA, Harvard, Vancouver, ISO, and other styles
7

Zhu, Yun Feng. "A Construction Method of Surface Modeling Based on CAID Software." Applied Mechanics and Materials 121-126 (October 2011): 3703–7. http://dx.doi.org/10.4028/www.scientific.net/amm.121-126.3703.

Full text
Abstract:
Any appearance in modeling entity can be decomposed into faces as components. This paper takes face as a key point to analyze shape and modeling of objects and discusses a general construction method of Curved-surface products in CAID software.
APA, Harvard, Vancouver, ISO, and other styles
8

Elias@Alias, Suhaidi, and Noriah Ismail. "The Usage of Critical Path Method Software in Malaysian Construction." International Journal of Knowledge, Culture, and Change Management: Annual Review 11, no. 5 (2012): 77–88. http://dx.doi.org/10.18848/1447-9524/cgp/v11i05/50198.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Yu, Chi, Zixuan Ding, and Xiang Chen. "HOPE: Software Defect Prediction Model Construction Method via Homomorphic Encryption." IEEE Access 9 (2021): 69405–17. http://dx.doi.org/10.1109/access.2021.3078265.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Germak, Oksana, Oksana Gugueva, and Natalya Kalacheva. "Creation of digital terrain models using software applications." E3S Web of Conferences 281 (2021): 05008. http://dx.doi.org/10.1051/e3sconf/202128105008.

Full text
Abstract:
The article discusses the construction of a digital terrain model in various programs, which will be used for the vertical planning design. One of the major challenges in this area is the creation of an accurate and realistic surface, which will give an opportunity to create a quality and compliant site. To solve this problem and analyze, a model of the same territory and the same initial data has been built. The paper presents a construction algorithms DTM a method of constructing an irregular grid of heights, graphical implementation and analysis.
APA, Harvard, Vancouver, ISO, and other styles
More sources

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électionnant une configuration de fonctionnalité. En utilisant la méthodologie, les produits finaux sont générés automatiquement et leur exactitude est garantie. À la suite de cette proposition, nous sommes passés au chapitre 3 pour définir la langue de FFML qui est utilisé pour l'écriture de modules. Le mécanisme de réutilisation et de modification, défini pour la langue et appliqué à toutes sortes d'artefacts (spécification, code et preuve de précision) réduit l'effort de programmation. Au chapitre 4, nous nous sommes concentrés sur la définition des mécanismes de composition pour la composition des modules FFML et les intégrons à l'outil FFML Product Generator. L'évaluation de notre méthodologie est réalisée par le développement de deux lignes de produits logiciels, le compte bancaire SPL et le SPL de poker, ce dernier étant un peu plus complexe que le premier. Dans l'évaluation, nous avons souligné les avantages et la limitation de notre méthodologie
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
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 desarrollo, a la vez que fomenta la calidad. Sin embargo, numerosos retos que van desde problemas técnicos y legales deben ser afrontados para adaptar las actividades tradicionales de ingeniería de software para explotar los beneficios del uso de COTS para el desarrollo de sistemas.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.
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 desarrollo, a la vez que fomenta la calidad. Sin embargo, numerosos retos que van desde problemas técnicos y legales deben ser afrontados para adaptar las actividades tradicionales de ingeniería de software para explotar los beneficios del uso de COTS para el desarrollo de sistemas.
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.
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 sol depuis le debut de la phase constructive, jusqu'a la fin des travaux. Pour ameliorer notre connaissance des deplacements, nous sommes donc amenes a realiser des calculs numeriques, et plus particulierement a utiliser la methode des elements finis. Le concept e. S. I. (environnement de simulation intelligent) est venu repondre aux exigences de ces methodes de calcul. En effet, il englobe les phases de pre-traitement, calcul, et post-traitement. A chacune de ces phases correspond un outil moteur (progiciel). Ainsi notre etude a essaye de s'aligner sur ce concept et est traduite par la validation et la conception de gaiaef et de ses progiciels d'accompagnement mailcad et graphcad.
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 elements finis qui presente l'avantage de modeliser le comportement du sol, depuis le chargement elastique initial jusqu'a la phase d'ecoulement plastique finale prend une place constamment grandissante dans ce domaine de science de l'ingenieur. C'est precisement dans ce contexte que notre travail s'est inscrit. Pour cela, nous avons construit un logiciel de calculs par elements finis quartiques, utilisant un solveur programme a partir d'un nouveau procede. Base sur une gestion dynamique de la memoire, notre procede a permis une utilisation realiste de l'outil micro-informatique pour les ouvrages calcules: mur de soutenement, fondation superficielle et essai pressiometrique. Cet apport constitue avec le modele de comportement mck implante l'aspect nouveau et original du travail. Cette rheologie type elastoplastique a deux mecanismes d'ecrouissage (un en compression et un en cisaillement) utilise des parametres de nature exclusivement physique communement connus par les praticiens geotechniciens
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
Дана дисертація розглядає один з можливих способів автоматизації процесу кур’єрської доставки - доставку посилок кінцевому отримувачу за допомогою безпілотних апаратів, які б могли виконувати такі завдання у дуже короткий час, незалежно від завантаженості доріг та систем громадського транспорту. Така система дозволяє суттєво знизити час доставки вантажу кінцевому користувачу, зменшити обсяг інфраструктури, необхідної для підтримки її працездатності та скоротити кількість обслуговуючого персоналу. Також повна автоматизація процесу доставки дозволяє знизити вплив людського фактору на якість обслуговування. На даний момент вже реалізовано кілька таких систем, проте жодна з них не є повністю безпечною та не відповідає всім вимогам до системи автоматичної кур’єрської доставки. Також жодна з цих розробок не має архітектури, що повністю покриває функціонал екосистеми безпілотного літального апарату. Також в даній роботі була досліджена низка готових архітектурних рішень, призначених для побудови аналогічного програмного забезпечення, взятих зі схожих наукових досліджень. Проте жодна з них також не відповідає всім поставленим вимогам до даного програмного забезпечення, або має суттєві недоліки, що перешкоджає її програмній реалізації, впровадженню або застосуванню на практиці. У зв’язку з усіма вище переліченими факторами було прийняте рішення про розробку власної архітектури для реалізації програмного комплексу екосистеми вантажного безпілотного літального апарату. А для підтвердження працездатності цієї архітектури і доведення її ефективності було розроблене відповідне програмне забезпечення із застосуванням запропонованого методу розробки. Метою даного наукового дослідження є розробка методу побудови програмного забезпечення екосистеми вантажного безпілотного літального апарату, такого, що покращить та удосконалить існуючі підходи до програмування БПЛА як з точки зору процесу їх впровадження, так і з точки зору використання кінцевого продукту. Основні задачі, які були виконані під час проведення даного дослідження: ˗ вивчення і аналіз готових впроваджених програмних продуктів-аналогів з метою виявлення їх основних переваг та недоліків; ˗ вивчення і аналіз аналогічних наукових досліджень з метою дослідження шляхів вирішення основних задач побудови програмного забезпечення БПЛА; ˗ створення власного методу побудови програмного забезпечення вантажного БПЛА, враховуючи результати попереднього дослідження предметної області; ˗ написання програмного забезпечення на основі даного методу, аналіз його основних переваг та недоліків, та доведення його ефективності. Об’єктом даного наукового дослідження є архітектура програмного забезпечення екосистеми вантажного БПЛА та підходи до реалізації даної архітектури. Предметом дослідження є методи та способи побудови програмного забезпечення екосистеми вантажного БПЛА. Під час проведення даного дослідження був використаний метод systematic mapping study (систематичний огляд літератури) для вивчення і аналізу предметної області даного дослідження з текстових джерел інформації та метод case study (метод ситуативного аналізу) для аналізу розробленого методу побудови програмного забезпечення. Наукова новизна отриманого методу побудови програмного забезпечення полягає у тому, що в ньому вперше БПЛА розглядається як актор екосистеми безпілотних літальних апаратів і вперше для цієї екосистеми була розроблена архітектура програмного забезпечення. Також вперше було введене саме поняття екосистеми безпілотних літальних апаратів. Практичне значення отриманих результатів полягає у тому, що був розроблений простий, ефективний та комплексний підхід до вирішення задачі з побудови програмного забезпечення вантажного БПЛА, який досить легко може бути застосований для вирішення комерційних задач із адресної доставки малогабаритних вантажів. Результати цього дослідження були представлені на VІ Всеукраїнській науково-практичній конференції молодих вчених та студентів «Інформаційні системи та технології управління» (ІСТУ-2021). Дана дисертація складається з реферату, вступу, основної частини що поділяється на 4 розділи, висновків та додатків що включають в себе лістинг програмного коду та графічні матеріали. Основна частина даної роботи містить 105 сторінок, 28 рисунків, 18 таблиць та 19 посилань.
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.
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éorie duale pour améliorer l'efficacité de résolution. La méthode de "Approximate Scaling Step" et la méthode d'Elimination des Limitations Négatives permettent d'accélérer la procédure d'optimisation. Basé sur la méthode ICM (Independent Continuous Mapping), un modèle de l'optimisation topologique utilisant les variables continues (entre 0 et 1 au lieu de 0 ou 1) est établi. Trois critères de convergence sont introduits pour obtenir rapidement et précisément la topologie optimale d'une structure. Pour ne pas éliminer les éléments ayant leur variable topologique nulle au cours de l'optimisation, la méthode de faible matériau est utilisée et comparée à la méthode de section minime. L'optimisation de topologie dans plusieurs cas de chargement est étudiée sous trois types de limitations : les limitations locales de contraintes, les limitations globales de déplacements et leur combinaison. Les méthodes ci-dessus ont été implantées dans les logiciels MSC/Patran&Nastran. Des exemples ont montré une amélioration importante de l'efficacité et de la précision dans l'optimisation de section et de topologie
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
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étermination théorique des dimensions optimales à donner au remblai pour que les efforts dans le mur soient représentatifs d'un massif d'extension semi-infinie. L'étude est effectuée par un modèle numérique bidimensionnel aux éléments finis et également par des calculs bidimensionnels à l'aide d'un logiciel, utilisant également les éléments finis. Analyse des premiers essais réalisés à la station.
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 then analyzed and displayed graphically. Further work for the software shell is discussed. This tool provides a user-friendly, efficient method for performing coupled-line analyses in interconnect systems.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Software construction method"

1

IFIP, TC8/WG8 1/8 2. Working conference on method engineering :. principles of method construction and tool support (1996 Atlanta USA). Method engineering: Principles of method construction and tool support : proceedings of the IFIP TC8/WG8.1/8.2 working conference on method engineering. London: Chapman & Hall, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Abrial, Jean-Raymond, and Uwe Glässer, eds. Rigorous Methods for Software Construction and Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-11447-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Inheritance relationships for disciplined software construction. London: Springer, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dedicated digital processors: Methods in hardware/software system design. Chichester, West Sussex, England: John Wiley, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Broy, Manfred, and Stefan Jähnichen, eds. KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0015452.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Constantine, Larry L., and Scott W. Ambler. The Unified Process Construction Phase: Best practices for completing the unified process. Edited by NetLibrary Inc. Lawrence, Kan: R & D Books, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

W, Watson Bruce, ed. The correctness-by-construction approach to programming. Berlin: Springer, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Abrial, Jean-Raymond, and Uwe Glässer. Rigorous methods for software construction and analysis: Essays dedicated to Egon Börger on the occasion of his 60th birthday. Berlin: Springer, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 Arles, France). Correct hardware design and verification methods: IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings. Berlin: Springer, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zong he jiao tong ke yun shu niu fang zhen jian mo guan jian li lun yu fang fa. Beijing: Ke xue chu ban she, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Software construction method"

1

Wang, Qing, Junchao Xiao, Mingshu Li, M. Wasif Nisar, Rong Yuan, and Lei Zhang. "A Process-Agent Construction Method for Software Process Modeling in SoftPM." In Software Process Change, 204–13. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11754305_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Fierz, Hugo. "The CIP Method: Component- and Model-Based Construction of Embedded Systems." In Software Engineering — ESEC/FSE ’99, 375–92. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48166-4_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Pepper, Peter, Martin Wirsing, Ralph Betschko, Manfred Broy, Sabine Dick, Klaus Didrich, Joachim Faulhaber, et al. "A method for the development of correct software." In KORSO: Methods, Languages, and Tools for the Construction of Correct Software, 25–57. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0015454.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Liu, Shaoying. "Software Construction Monitoring and Predicting for Human-Machine Pair Programming." In Structured Object-Oriented Formal Language and Method, 3–20. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-13651-2_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Boulmé, Sylvain, and Marie-Laure Potet. "Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#." In Rigorous Methods for Software Construction and Analysis, 1–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-11447-2_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Przemyk, Adam, Andrzej Harlecki, and Szymon Tengler. "Calculating Strength of Truck-Trailer Frames by Using Software MSC Adams and the Finite Element Method." In Current Methods of Construction Design, 373–81. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-33146-7_43.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Beyer, Dirk, Sudeep Kanav, and Cedric Richter. "Construction of Verifier Combinations Based on Off-the-Shelf Verifiers." In Fundamental Approaches to Software Engineering, 49–70. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99429-7_3.

Full text
Abstract:
AbstractSoftware verifiers have different strengths and weaknesses, depending on properties of the verification task. It is well-known that combinations of verifiers via portfolio and selection approaches can help to combine the strengths. In this paper, we investigate (a) how to easily compose such combinations from existing, ‘off-the-shelf’ verification tools without changing them and (b) how much performance improvement easy combinations can yield, regarding the effectiveness (number of solved problems) and efficiency (consumed resources). First, we contribute a method to systematically and conveniently construct verifier combinations from existing tools, using the composition framework CoVeriTeam. We consider sequential portfolios, parallel portfolios, and algorithm selections. Second, we perform a large experiment on 8 883 verification tasks to show that combinations can improve the verification results without additional computational resources. All combinations are constructed from off-the-shelf verifiers, that is, we use them as published. The result of our work suggests that users of verification tools can achieve a significant improvement at a negligible cost (only configure our composition scripts).
APA, Harvard, Vancouver, ISO, and other styles
8

Zhu, Weidong, Xiwen Zhang, and Liangliang Zhang. "Analysis of Deformation Characteristics of Large Diameter Shield Tunnel with Construction Load." In Lecture Notes in Civil Engineering, 455–61. Singapore: Springer Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-1260-3_41.

Full text
Abstract:
AbstractWith the rapid development of the method of shield tunnel in our country, the shield in the tunnel and the internal structure exist a lot of prefabricated and assembled internal structure can be roughly divided into full cast-in-place, full precast, and precast and cast-in-place structure. However, it has the disadvantages of more internal structural joints, poor waterproof performance, and complex structural stress. Therefore, combined with the actual engineering case, the construction process is simulated by using the finite element analysis software, and the influence of the segmental and internal structure cooperative deformation and joint mechanical performance is considered to further analyze the deformation characteristics of shield tunnel assembly internal structure, which can provide a reference for the construction and design of similar projects.
APA, Harvard, Vancouver, ISO, and other styles
9

Fang, Jingang. "Support Load of Tunnel Construction by Crossing Broken Fault and Water-Rich Geological Mine Method by Using MIDAS Software." In Lecture Notes in Electrical Engineering, 432–40. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-16-8052-6_53.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Jackson, M. A. "Constructive Methods Of Program Design." In Software Pioneers, 495–519. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/978-3-642-59412-0_31.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Software construction method"

1

Zhu, Jun, Changguo Guo, Quan Yin, Jianlu Bo, and Quanyuan Wu. "A Runtime-Monitoring-Based Dependable Software Construction Method." In 2008 9th International Conference for Young Computer Scientists (ICYCS). IEEE, 2008. http://dx.doi.org/10.1109/icycs.2008.298.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Song, Dong Hun, Yongjin Seo, and Hyeon Soo Kim. "Test Environment Construction Method Using Parameterized Test Environments." In 2017 24th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 2017. http://dx.doi.org/10.1109/apsec.2017.84.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Guanyu Li, Guoshuan Han, and Xiaomin Hu. "Semantic Web imprecise ontology construction method research." In 2012 IEEE 3rd International Conference on Software Engineering and Service Science (ICSESS). IEEE, 2012. http://dx.doi.org/10.1109/icsess.2012.6269472.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Gašparík, Jozef, and Marián Gašparík. "Machine Selection Optimizing Method for Building Processes with Software Suport." In 27th International Symposium on Automation and Robotics in Construction. International Association for Automation and Robotics in Construction (IAARC), 2010. http://dx.doi.org/10.22260/isarc2010/0047.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jun, Tan. "Software Develop Method Construction A Kernel Approach to Organizational Engineering." In 2009 WRI World Congress on Software Engineering. IEEE, 2009. http://dx.doi.org/10.1109/wcse.2009.253.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Shen, Yujing, Chunhua Chen, and Yuhua Xie. "Research on construction method of software component based on ontology." In 2012 2nd International Conference on Applied Robotics for the Power Industry (CARPI 2012). IEEE, 2012. http://dx.doi.org/10.1109/carpi.2012.6356447.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Takagi, Tomohiko, and Zengo Furukawa. "Construction Method of a High-Order Markov Chain Usage Model." In 14th Asia-Pacific Software Engineering Conference (APSEC'07). IEEE, 2007. http://dx.doi.org/10.1109/apsec.2007.36.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Takagi, Tomohiko, and Zengo Furukawa. "Construction Method of a High-Order Markov Chain Usage Model." In 14th Asia-Pacific Software Engineering Conference (APSEC'07). IEEE, 2007. http://dx.doi.org/10.1109/aspec.2007.41.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Gašparík, Jozef, and Peter Bažík. "Efficient Method of an Optimum Construction Company Supplier Selection Supported by Software." In 31st International Symposium on Automation and Robotics in Construction. International Association for Automation and Robotics in Construction (IAARC), 2014. http://dx.doi.org/10.22260/isarc2014/0124.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Deneckere, Rebecca, Charlotte Hug, Juliette Onderstal, and Sjaak Brinkkemper. "Method Association Approach: Situational construction and evaluation of an implementation method for software products." In 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS). IEEE, 2015. http://dx.doi.org/10.1109/rcis.2015.7128888.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Software construction method"

1

Vakaliuk, Tetiana A., Olha V. Korotun, and Serhiy O. Semerikov. The selection of cloud services for ER-diagrams construction in IT specialists databases teaching. CEUR Workshop Proceedings, June 2021. http://dx.doi.org/10.31812/123456789/4371.

Full text
Abstract:
One of the main aspects of studying databases in higher education institutions by future IT specialists is database design and software product development. This, in turn, is the most important problem of the developer’s interaction with the customer. To facilitate the process of database design, ER-diagrams are used, which are based on the concepts of “Entity” and “Relationship”. An ER diagram allows you to present a database in the form of visual graphical objects that define a specific subject area. The article considers the available cloud services for the construction of ER-diagrams for learning databases of future IT specialists and their selection the method expert evaluation. For this purpose, the criteria and indicators for the selection of cloud services for the construction of ER-diagrams of databases by future information technology specialists have been determined. As a result, it was found that the cloud services Dbdesigner.net and Lucidchart are the most convenient to learn. It is determined that for a teacher of a higher education institution the use of cloud services is an opportunity to use licensed software in education without additional costs.
APA, Harvard, Vancouver, ISO, and other styles
2

Patel, Yusef. File to Factory: A case study of automated prefabrication house-building methods for small-to-medium enterprises. Unitec ePress, December 2017. http://dx.doi.org/10.34074/ocds.0823.

Full text
Abstract:
The Eco-Digital Fabrication (EDFAB) research project aimed to investigate how automated prefabrication technologies and off-the-shelf construction products can be employed to disrupt building industry norms. The aim of this research – conducted at the University of Auckland and Unitec Institute of Technology from 2014 onward – was to provide small-to-medium enterprises in the construction industry with a pathway to upskill and increase construction productivity through the use of these processes. The availability of automated machines and easy-to-use fabrication software is increasing dramatically and this can be paired with readily available construction products to produce novel mass-customised housing solutions. The application of basic automated technologies – such as CNC (Computer Numerical Control) routers – allowed researchers to create ‘recipes’ that can be adopted and adapted relatively easily. By no means did the research favour digital manufacture or assembly processes over traditional analogue construction techniques – the goal was to provide logical, productive and accessible blended solutions for greater affordability and flexibility in design. For example, the designed experiments were required to be built from readily available products, and used simple readymade screw fixings rather than digitally produced custom fixings or joining mechanisms. The research project aimed to generate discussion and provide recommendations on how the construction industry might support the adoption of automated prefabrication technology in small-to-medium enterprise (SME).
APA, Harvard, Vancouver, ISO, and other styles
3

Vakaliuk, Tetiana A., Valerii V. Kontsedailo, Dmytro S. Antoniuk, Olha V. Korotun, Iryna S. Mintii, and Andrey V. Pikilnyak. Using game simulator Software Inc in the Software Engineering education. [б. в.], February 2020. http://dx.doi.org/10.31812/123456789/3762.

Full text
Abstract:
The article presents the possibilities of using game simulator Sotware Inc in the training of future software engineer in higher education. Attention is drawn to some specific settings that need to be taken into account when training in the course of training future software engineers. More and more educational institutions are introducing new teaching methods, which result in the use of engineering students, in particular, future software engineers, to deal with real professional situations in the learning process. The use of modern ICT, including game simulators, in the educational process, allows to improve the quality of educational material and to enhance the educational effects from the use of innovative pedagogical programs and methods, as it gives teachers additional opportunities for constructing individual educational trajectories of students. The use of ICT allows for a differentiated approach to students with different levels of readiness to study. A feature of any software engineer is the need to understand the related subject area for which the software is being developed. An important condition for the preparation of a highly qualified specialist is the independent fulfillment by the student of scientific research, the generation, and implementation of his idea into a finished commercial product. In the process of research, students gain knowledge, skills of the future IT specialist and competences of the legal protection of the results of intellectual activity, technological audit, marketing, product realization in the market of innovations. Note that when the real-world practice is impossible for students, game simulators that simulate real software development processes are an alternative.
APA, Harvard, Vancouver, ISO, and other styles
4

Striuk, Andrii M. Software engineering: first 50 years of formation and development. [б. в.], December 2018. http://dx.doi.org/10.31812/123456789/2880.

Full text
Abstract:
The article analyzes the main stages of software engineering (SE) development. Based on the analysis of materials from the first SE conferences (1968-1969), it was determined how the software crisis prompted scientists and practitioners to join forces to form an engineering approach to programming. Differences in professional training for SE are identified. The fundamental components of the training of future software engineers are highlighted. The evolution of approaches to the design, implementation, testing and documentation of software is considered. The system scientific, technological approaches and methods for the design and construction of computer programs are highlighted. Analysis of the historical stages of the development of SE showed that despite the universal recognition of the importance of using the mathematical apparatus of logic, automata theory and linguistics when developing software, it was created empirically without its use. The factor that led practitioners to turn to the mathematical foundations of an SE is the increasing complexity of software and the inability of empirical approaches to its development and management to cope with it. The training of software engineers highlighted the problem of the rapid obsolescence of the technological content of education, the solution of which lies in its fundamentalization through the identification of the basic foundations of the industry. It is determined that mastering the basics of computer science is the foundation of vocational training in SE.
APA, Harvard, Vancouver, ISO, and other styles
5

Gurieiev, Viktor, Yulii Kutsan, Anna Iatsyshyn, Andrii Iatsyshyn, Valeriia Kovach, Evgen Lysenko, Volodymyr Artemchuk, and Oleksandr Popov. Simulating Systems for Advanced Training and Professional Development of Energy Specialists in Power Sector. [б. в.], November 2020. http://dx.doi.org/10.31812/123456789/4456.

Full text
Abstract:
The crisis of the system of professional development and personnel training in the energy sector exists not only in Ukraine but also all over the world. The article describes the concept of development and functioning of the industry system of personnel training in the energy sector of Ukraine. The importance of using modern web-oriented technologies to improve the skills of operational and dispatching personnel in the energy sector of Ukraine is substantiated. The meth- ods of distributed power system operating modes modelling are presented. De- velopment and software tools for the construction of distributed simulating sys- tems and particular features of cloud technologies application for the creation of a virtual training centers network in the energy sector, as well as the ways to automate the process of simulating scenarios development are described. The ex- perience of introducing remote training courses for energy specialists and remote web-based training simulators based on a comprehensive model of the energy system of Ukraine is presented. An important practical aspect of the research is the application of software and data support for the development of personnel key competencies in the energy sector for rapid recognition of accidents and, if necessary, accident management. This will allow them to acquire knowledge and practical skills to solve the problems of analysis, modelling, forecasting, and monitoring data visualization of large power systems operating modes.
APA, Harvard, Vancouver, ISO, and other styles
6

Hulata, Gideon, Thomas D. Kocher, Micha Ron, and Eyal Seroussi. Molecular Mechanisms of Sex Determination in Cultured Tilapias. United States Department of Agriculture, October 2010. http://dx.doi.org/10.32747/2010.7697106.bard.

Full text
Abstract:
Tilapias are among the most important aquaculture commodities worldwide. Commercial production of tilapia is based on monosex culture of males. Current methods for producing all-male fingerlings, including hormone treatments and genetic manipulations, are not entirely reliable, in part because of the genetic complexity of sex determination and sexual differentiation in tilapias. The goals of this project are to map QTL and identify genes regulating sex determination in commonly cultured tilapia species, in order to provide a rational basis for designing reliable genetic approaches for producing all-male fingerlings. The original objectives for this research were: 1) to identify the gene underlying the QTL on LG1 through positional cloning and gene expression analysis; 2) to fine map the QTL on LG 3 and 23; and 3) to characterize the patterns of dominance and epistasis among QTL alleles influencing sex determination. The brain aromatase gene Cyp19b, a possible candidate for the genetic or environmental SD, was mapped to LG7 using our F2 mapping population. This region has not been identified before as affecting SD in tilapias. The QTL affecting SD on LG 1 and 23 have been fine-mapped down to 1 and 4 cM, respectively, but the key regulators for SD have not been found yet. Nevertheless, a very strong association with gender was found on LG23 for marker UNH898. Allele 276 was found almost exclusively in males, and we hypothesized that this allele is a male-associated allele (MAA). Mating of males homozygous for MAA with normal females is underway for production of all-male populations. The first progeny reaching size allowing accurate sexing had 43 males and no females. During the course of the project it became apparent that in order to achieve those objectives there is a need to develop genomic infrastructures that were lacking. Efforts have been devoted to the development of genomic resources: a database consisting of nearly 117k ESTs representing 16 tissues from tilapia were obtained; a web tool based on the RepeatMasker software was designed to assist tilapia genomics; collaboration has been established with a sequencing company to sequence the tilapia genome; steps have been taken toward constructing a microarray to enable comparative analysis of the entire transcriptome that is required in order to detect genes that are differentially expressed between genders in early developmental stages. Genomic resources developed will be invaluable for studies of cichlid physiology, evolution and development, and will hopefully lead to identification of the key regulators of SD. Thus, they will have both scientific and agricultural implications in the coming years.
APA, Harvard, Vancouver, ISO, and other styles
7

SIMPLIFIED MODELLING OF NOVEL NON-WELDED JOINTS FOR MODULAR STEEL BUILDINGS. The Hong Kong Institute of Steel Construction, December 2021. http://dx.doi.org/10.18057/ijasc.2021.17.4.10.

Full text
Abstract:
Prefabricated modular steel (PFMS) construction is a more efficient and safe method of constructing a high-quality building with less waste material and labour dependency than traditional steel construction. It is indeed critical to have a precise and valuable intermodular joining system that allows for efficient load transfer, safe handling, and optimal use of modular units' strength. Thus, the purpose of this study was to develop joints using tension bolts and solid tenons welded into the gusset plate (GP). These joints ensured rigid and secure connectivity in both horizontal and vertical directions for the modular units. Using the three-dimensional (3D) finite element (FE) analysis software ABAQUS, the study investigated the nonlinear lateral structural performance of the joint and two-storey modular steel building (MSB). The solid element FE models of joints were then simplified by introducing connectors and beam elements to enhance computational efficiency. Numerous parameters indicated that column tenons were important in determining the joint's structural performance. Moreover, with a standard deviation (SD) of 0.025, the developed connectors and beam element models accurately predicted the structural behaviour of the joints. As a result of their simplification, these joints demonstrated effective load distribution, seismic performance, and ductility while reducing computational time, effort, and complexity. The validity of the FE analysis was then determined by comparing the results to the thirteen joint bending tests performed in the reference.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Software construction method' for particular source types:
Journal articles Dissertations / Theses Books
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