Os sistemas produtivos (SPs) podem utilizar controladores programáveis (CPs) como dispositivos de realização do controle. Neste contexto, programas de controle executados por estes CPs podem ser desenvolvidos de forma que não estejam em conformidade com as especificações de projeto, o que poderá provocar o surgimento de erros funcionais associados à execução de tais programas de controle, erros estes que podem levar os SPs sob controle a um estado que poderá implicar em acidentes envolvendo equipamentos, pessoas e o meio-ambiente. Esta questão tem motivado o surgimento de diversas abordagens para identificar a existência de erros em programas de controle de CPs, de forma a permitir a correção destes erros e garantir, conseqüentemente, maior confiabilidade operacional. O presente trabalho tem por objetivo identificar a existência de erros em programas de controle baseados em LD (Ladder Diagram). Para isto, propõe-se um procedimento de desenvolvimento de modelos baseados em máquinas de estados finitos estendidas (MEFEs), que são gerados a partir do mapeamento de cada um dos rungs contidos no programa de controle que se deseja identificar erros. Uma vez desenvolvidos os modelos em MEFEs, torna-se possível a utilização de uma ferramenta computacional de verificação, própria para estabelecer se os modelos verificados satisfazem determinadas proposições estabelecidas em lógica temporal. Uma proposição em lógica temporal está relacionada a um estado específico do programa de controle modelado, sendo que o objetivo da verificação é o de estabelecer se a proposição estipulada é atendida ou não. Se um determinado estado específico for, por exemplo, um estado indesejado do programa de controle modelado, e este estado for possível de ser alcançado como resultado do processo de verificação realizado, isto impactará na não conformidade do programa de controle com as especificações comportamentais estipuladas na forma de proposição em lógica temporal, indicando haver, portanto, um erro neste programa de controle modelado. Palavras-chave: Controladores programáveis. Linguagem de programação LD. Modelagem e verificação de máquinas de estados finitos estendidas (MEFEs). / Productive systems (PS) can use programmable logic controllers (PLCs) as the devices of accomplishment of the control. In this context, control programs executed by these PLCs can be developed in a way so that they can be in non-conformity with the project specifications, and this fact may result in functional errors related to the control programs execution. These errors can take the PS under control to a state which can lead into accidents involving equipment, people and the environment. This fact has motivated the appearance of different approaches so as to identify the existence of these errors in PLC control programs so that they can be corrected and assure a greater operational reliability. This work aims at identifying the existence of errors in control programs based on Ladder Diagram (LD). In order to accomplish that, a modeling procedure that generates extended finite state machines (EFSMs) is proposed from the mapping of each one of the rungs in the control program whose errors are to be identified. Once the models based on EFSMs are developed it becomes possible to use a computational verification tool, specifically designed to determine if the verified models fulfill determined propositions established in temporal logic. A proposition in temporal logic is related to a specific state of the modeled control program and the objective of the verification is to establish whether the proposition is fulfilled or not. If a determined specific state, for example, is an unwanted state of the modeled control program and if this state is reachable as a result of the verification process, this will impact in the non-conformity of the control program with the behavior specifications established in a temporal logic proposition, indicating an error in this modeled control program.

Orientador: Takaaki Ohishi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-10T05:34:59Z (GMT). No. of bitstreams: 1 Pereira_JoaquimJoseFantin_M.pdf: 1686812 bytes, checksum: 5ff18327a2f501a5035fbf6c56ae0eda (MD5) Previous issue date: 2007 / Resumo: A tomada de decisão, em qualquer setor e nos mais diversos níveis, é um processo cada vez mais complexo, principalmente em função do nível de incerteza em relação ao futuro. Neste contexto, a disponibilidade de previsões torna-se um fator importante para uma decisão mais eficaz. As ferramentas de reconhecimento de padrões, por sua vez, são importantes em muitas áreas, tais como nas determinações de comportamentos típicos e em sistemas de controle. Nessa conjuntura, a proposta deste trabalho consistiu em explorar a criação e o uso de uma linguagem de programação visual, denominada Linguagem VisualPREV, de modo a facilitar a concepção e a execução dos modelos de previsão e classificação. Nesta Linguagem, blocos visuais colocados num diagrama (interface visual computacional) representam conceitos envolvidos num processo de modelagem do problema. O modelo pode então ser configurado, executado e armazenado para acesso futuro. Embora essa escolha implique uma perda de vantagens exclusivas da programação em código tradicional, como a maior flexibilidade para programação genérica, por exemplo, a linguagem diminui sensivelmente o tempo de criação dos modelos específicos para tratamento de dados em previsão de séries temporais e reconhecimento de padrões. Em algumas aplicações com dados relevantes, a linguagem foi avaliada com critérios baseados em métricas de usabilidade e os resultados foram discutidos ao longo do trabalho / Abstract : Decision making, in any area and in many different levels, is a process with growing complexity, mainly if you consider the level of uncertainty related to the future. In this context, the possibility of forecasting plays a major role in an efficient decision. On the other hand, pattern recognition tools are important in many areas, like fitting typical behaviors and in control systems, as well. In this context, we propose a visual programming language, called VisualPREV Language, intended to make easier the conception and execution of forecasting and pattern recognition models. Within this language, visual blocks that can be put into a diagram (computational visual interface) represent concepts involved when modeling the processes. These models can be configured, executed and stored for future access. Although these approach implies losing exclusive advantages of traditional programming (like flexibility of generic programming, for example), VisualPREV decreases considerably the amount of time needed for creating specific models for forecasting and pattern recognition. In few applications with relevant data, the language was evaluated based on usability metrics, and the results were discussed throughout the text / Mestrado / Energia Eletrica / Mestre em Engenharia Elétrica

A Engenharia de Software tem desenvolvido técnicas e métodos para apoiar o desenvolvimento de software confiável, flexível, com baixo custo de desenvolvimento e fácil manutenção. A avaliação da manutenibilidade contribui para fornecer meios para produzir software com alta qualidade. Este trabalho apresenta um experimento controlado para avaliar a manutenibilidade entre as abordagens de web services: RESTful e SOAP-WSDL. Esta avaliação foi conduzida usando 3 programas implementados na linguagem de programação Java e com a mesma arquitetura. Com base na arquitetura projetada, os web services desenvolvidos foram utilizados como objetos em estudos de caso, possibilitando avaliar e comparar a sua manutenibilidade. Os resultados obtidos demonstraram relações entre as informações sobre o custo e a qualidade dos serviços web, que contribuíram para esclarecer os critérios para a obtenção de uma boa relação entre o custo da manutenção e a evolução dos serviços web. Para concluir, os resultados indica que os web services RESTful são mais manuteníveis do lado do servidor, e os web services SOAP-WSDL são mais manuteníveis do lado do cliente. Os estudos realizados no experimento controlado são promissores e podem auxiliar na redução de custo na manutenção dos serviços web, melhorando dessa forma a qualidade do software no geral / Software Engineering has developed techniques and methods to support the development of reliable software, exible, low development cost and easy maintenance. The evaluation of maintainability contributes in this direction, providing the means to produce software with high quality. This paper presents an controlled experiment to evaluate the maintainability between the approaches of web services: RESTful and SOAP-WSDL. This evaluation was conducted using four programs implemented in the Java programming language, using the same architecture. Based on the designed architecture, Web services were developed as objects used in case studies, allowing to evaluate and compare its maintainability. The results showed relationships between the information on the cost and quality of web services, which contributed to clarify the criteria for obtaining a good relationship between the cost of maintenance and evolution of web services. In conclusion, the results indicate the RESTful web services are more maintainable server side in contrast to the SOAP-WSDL web services are more maintainable client side. Studies in controlled experiments are promising and may help reduce the maintenance cost of web services, thus improving overall software quality

Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e Orientação a Objetos. Um dos componentes do Ambiente Prosoft é sua linguagem de especificação algébrica: o Prosoft Algébrico. Apesar de ser base e tema de diversos trabalhos no grupo de pesquisa Prosoft, o Prosoft Algébrico não tem sua semântica devidamente definida. Os trabalhos desenvolvidos até agora foram baseados em noções operacionais, e apresentam diferentes interpretações do Prosoft Algébrico. Esta dissertação apresenta uma especificação de semântica denotacional para o Prosoft Algébrico, compreendendo, entre outras características, sua primitiva de comunicação entre tipos de dados, chamada ICS, e sua notação gráfica para representação de instanciação de tipos abstratos de dados. Essa dissertação apresenta também um estudo sobre prototipação semântica usando a linguagem de programação Haskell. O conceito de Literate Programming e a proximidade entre Cálculo Lambda e Haskell foram cruciais no rápido desenvolvimento de uma implementação protótipo do Prosoft Algébrico, baseada na sua semântica especificada. As principais contribuições dessa dissertação incluem: uma interpretação precisa e sem ambiguidades do Prosoft Algébrico, através da especificação da sua semântica; a definição de semântica para a ICS, um conceito único (até o limite do nosso conhecimento) que fornece um mecanismo de passagem de mensagens entre tipos de dados algébricos; uma implementação protótipo do Prosoft Algébrico, que pode realmente ser utilizada para experimentar e testar a definição da linguagem e a especificação da semântica do Prosoft Algébrico; resultados sobre prototipação semântica de especificações tanto de semântica denotacional quanto de semântica operacional usando a linguagem de programação Haskell para desenvolvimento rápido de protótipos de linguagens baseados na sua semântica. Como grande parte do desenvolvimento do Ambiente Prosoft é realizado através de projetos de cooperação internacional e essa dissertação irá influenciar fortemente o seu desenvolvimento futuro, o texto foi escrito em inglês para facilitar a troca de informação entre o grupo Prosoft e seus parceiros estrangeiros. / Prosoft is a research project at Instituto de Informática da UFRGS, developed by the research group with the same name and coordinated by Professor Daltro José Nunes. The project’s goal is to develop a full software development environment, the Prosoft Environment, based on the concepts of Models, Lambda Calculus, Abstract Data Types and Object orientation. One of the components of the Prosoft Environment is its algebraic specification language: Algebraic Prosoft. Although being the basis and theme of several works in the Prosoft research group, Algebraic Prosoft doesn’t have its semantics properly defined. Works done up to now were based on operational notions and presented different interpretations of Algebraic Prosoft. This thesis presents a denotational semantics specification for Algebraic Prosoft, comprising, among other features, its “inter-data type” communication primitive, called ICS, and its graphical notation for representing instantiations of abstract data types. This thesis also presents a study of semantic prototyping using the Haskell programming language. The concept of Literate Programing and the proximity between lambda calculus and Haskell were crucial to the rapid development of a prototype implementation of Algebraic Prosoft, based on its specified semantics. This thesis’ main contributions include: a precise and unambiguous interpretation of Algebraic Prosoft, through a semantics specification; the definition of semantics to the ICS, a unique (to the best of our knowledge) concept that provides a messagepassing mechanism between algebraic data types; a prototype implementation of Algebraic Prosoft, which can actually be used to experiment and test the Algebraic Prosoft language definition and semantics specification; results regarding semantics prototyping of both denotational and operational semantics specifications using the Haskell programming language for rapid development of semantics-based prototypes of languages. Since a large portion of Prosoft Environment’s development is done through international cooperation projects and this thesis will strongly influence its future development, the text was written in English in order to facilitate the information exchange between the Prosoft research group and its foreign partners.

Orientador: Luiz César Martini / Dissertação (mestrado) Universidade Estadual de Campinas, Faculdade de Egenharia Elétrica e de Computação / Made available in DSpace on 2018-08-16T11:03:53Z (GMT). No. of bitstreams: 1 PradaSanmiguel_JulianMauricio_M.pdf: 2046023 bytes, checksum: 428745119cf4df222965e308409fc621 (MD5) Previous issue date: 2010 / Resumo: A falta de recursos computacionais com aplicativos matemáticos voltados para deficientes visuais e outros tem impedido que os deficientes estudem e desenvolvam trabalhos nas áreas das ciências exatas. Este tema de tese visa basicamente ao desenvolvimento de uma calculadora científica programável que é ativada no próprio editor de textos de um programa gratuito conhecido por DOSVOX, disponível especificamente para uso dos portadores de necessidades especiais. A calculadora foi desenvolvida de tal forma que permite ao usuário criar algoritmos e cálculos matemáticos desde o editor de textos (EDIVOX), o qual permite aproveitar os recursos de sínteses de fala com os que este conta, o que a sua vez facilita enormemente o processo de criação, manipulação e execução destes / Abstract: The lack of computational resources with mathematical applications designed for the visually impaired and others has prevented them to study and develop work in the fields of exact sciences. This thesis topic points essentially to the development of a scientific programmable calculator which is activated from the text editor of a free program known as DOSVOX available specifically for use by persons with special needs. The calculator was developed in a way that allows users to create algorithms and mathematical calculations from a text editor (EDIVOX), which allows the calculator using speech synthesis resources it possesses, which in turn greatly facilitates the process creation, manipulation and implementation of these / Mestrado / Telematica / Mestre em Engenharia Elétrica

Orientador: Ivanil Sebastião Bonatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-05T17:46:41Z (GMT). No. of bitstreams: 1 Paula_RogerSouzade_M.pdf: 2003604 bytes, checksum: 7ccd5b2689086b74bf7073670abe3138 (MD5) Previous issue date: 2006 / Resumo: Uma rede ad hoc é uma coleção de estações móveis sem ?o formando dinamicamente uma rede temporária sem necessidade de qualquer infra-estrutura de rede pré-existente ou administração centralizada. Protocolos de roteamento utilizados em redes ad hoc sem ?o devem ser capazes de se ajustarem automaticamente a ambientes extremos, como os de alta mobilidade e baixa largura de banda. Assim, avanços recentes em pesquisas sobre redes sem ?o concentram-se cada vez mais na adaptação de tais protocolos, diante da inter-relação entre as várias medidas de desempenho, como aquelas relacionadas às alterações na topologia (quebra de enlaces, mobilidade dos nós etc.) e aos parâmetros de qualidade de serviço (vazão, atraso etc.). Esta tese trata da modelagem e simulação de redes ad hoc sem ?o, contribuindo de forma signi?cativa nas áreas de modelo matemático, avaliação de desempenho e especi?cação de protocolos. Na primeira, é proposta uma nova estratégia que seleciona a rota de menor colisão dentre os mínimos caminhos existentes entre duas estações da rede. Na segunda área, sendo a de maior contribuição, uma análise de desempenho detalhada é realizada entre o protocolo de roteamento proposto nesta tese, Minimal Congestion On-Demand Routing (MCOR), e o Dynamic Source Routing (DSR), um protocolo de referência da literatura. Por ?m, é apresentado um modelo de validação do protocolo proposto através da ferramenta de especi?cação e validação, Speci?cation and Description Language (SDL) / Abstract: An ad hoc network is a collection of wireless mobile nodes forming dynamically a temporary network without the use of any preexisting network infrastructure or centralized administration. Routing protocols used in wireless ad hoc networks must be capable to adjust automatically to extreme environments, as high mobility and low bandwidth. Hence, recent avances in wireless research focus more and more on the adaptation of such protocols, due to the interrelationship among various performance measures, like as those related to topological changes (link breakages, node mobility etc.) and quality of service parameters (throughput, delay etc.). This thesis argues the modelling and simulation of wireless ad hoc networks, contributing signi?cantly on areas of mathematical model, performance evaluation and protocols speci?cation. First, is proposed a new strategy that selects the route of minimal collision, among all minimum hop paths between two stations. Second, being the area of major contribution, a detailed performance analysis is executed between the routing protocol proposed in this thesis, Minimal Congestion On-Demand Routing (MCOR), and the Dynamic Source Routing (DSR), a reference protocol in the literature. Lastly, is presented a validation model of the proposed protocol through validation and speci?cation tool, Speci?cation and Description Language (SDL / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Made available in DSpace on 2016-03-15T19:38:16Z (GMT). No. of bitstreams: 1 Guilherme Barbosa Ratola.pdf: 3591408 bytes, checksum: b662d7a7502b7acdc8da651cb636cb76 (MD5) Previous issue date: 2010-03-09 / Fundo Mackenzie de Pesquisa / The learning of computer programming is fundamental in the formation of a computing professional. However, its learning is difficult and longlife, considering that every day new languages and environments appear in the labor market. In the Computer Science courses, many students have difficulties programming, the activity requires the learning of complex concepts. The development of computational environments to support the learning of programming is of great value in this scenario, which involves students, teachers and professionals. Many researches and studies have been developed and they provide important contributions in the construction of learning computing environments. This dissertation proposes the development of a tool to support the process of teaching and learning of programming to students, prioritizing interdisciplinary, with an approach based on the Method of Learning by Competence. It presents also a mechanism of Concept Pyramid as an alternative to the planning of learning for a student. To support teaching of computer programming, the tool, presented in this work, uses the Java programming language, motivated by the high demand for use in undergraduate courses. The students are classified by their prior knowledge of each concept and it is expected that from this information and the measure of the student s Conceptual Gap regarding Conceptual Pyramid of a concept is possible to develop a learning plan for each student. It is expected that the use of this tool, helping the process of teaching and learning in the classroom, contribute to make the representation of concepts, exercises and skills related to each discipline from an appropriate course. / O aprendizado de programação de computadores é fundamental na formação de um profissional de computação. No entanto, esta atividade é de aprendizagem difícil, contínua e permanente, uma vez que a cada dia novas linguagens e ambientes surgem no mercado de trabalho. Nos cursos da área de computação, muitos estudantes apresentam dificuldades para aprender a programar, pois a atividade requer alto nível de competência e o aprendizado e domínio de conceitos complexos. O desenvolvimento de ambientes computacionais que apóiem a aprendizagem de programação é de grande valia nesse cenário, que envolve estudantes, professores e profissionais. Muitas pesquisas e trabalhos têm sido desenvolvidos nessa área, na medida em que fornecem contribuições importantes na construção de ambientes computacionais. Este trabalho apresenta uma ferramenta de suporte ao processo de ensinoaprendizagem de programação a alunos de graduação, priorizando a interdisciplinaridade, com uma abordagem baseada no método de aprendizagem por competências. Apresenta-se aqui também o mecanismo de Pirâmide Conceitual como uma alternativa ao planejamento de aprendizagem para o aluno. Como suporte ao ensino de programação, este trabalho utiliza a linguagem de programação Java, motivado pela alta demanda de utilização nos cursos superiores. Os estudantes são classificados por seus conhecimentos prévios em cada um dos conceitos e é esperado que a partir dessas informações e com a medida do Conceptual Gap com relação a Pirâmide Conceitual de determinado conceito seja possível desenvolver um plano de aprendizagem para esse aluno. Espera-se que a utilização desta ferramenta, auxiliando o processo de aprendizagem, contribua no sentido de tornar a representação de conceitos, exercícios e competências relacionados às disciplinas de um curso de Computação adequada.

Submitted by Simone Maisonave (simonemaisonave@hotmail.com) on 2016-08-25T15:24:29Z No. of bitstreams: 3 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Samantha Pinto da Silva_Dissertacao.pdf: 56289419 bytes, checksum: 62706bcba58770b81d3112a1917cb344 (MD5) Samantha Pinto da Silva_Produto da Dissertacao.pdf: 907566 bytes, checksum: 4b0014bf6eae7280cbadb421cf678398 (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2016-08-25T16:55:46Z (GMT) No. of bitstreams: 3 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Samantha Pinto da Silva_Dissertacao.pdf: 56289419 bytes, checksum: 62706bcba58770b81d3112a1917cb344 (MD5) Samantha Pinto da Silva_Produto da Dissertacao.pdf: 907566 bytes, checksum: 4b0014bf6eae7280cbadb421cf678398 (MD5) / Made available in DSpace on 2016-08-25T16:55:46Z (GMT). No. of bitstreams: 3 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Samantha Pinto da Silva_Dissertacao.pdf: 56289419 bytes, checksum: 62706bcba58770b81d3112a1917cb344 (MD5) Samantha Pinto da Silva_Produto da Dissertacao.pdf: 907566 bytes, checksum: 4b0014bf6eae7280cbadb421cf678398 (MD5) Previous issue date: 2016-04-15 / Sem bolsa / Esta pesquisa tem como foco investigar como o uso da lógica de programação, mediada pela linguagem de programação Scratch, potencializa o ensino de Matemática quanto à resolução de problemas. Baseada em uma perspectiva sócioconstrutivista de mediação e colaboração, e na concepção de que o estudante de hoje é nativo no mundo digital, ambientado e interessado pelo uso desse tipo de tecnologia, realizou-se um estudo de caso com alunos do terceiro ano do Ensino Médio de uma escola pública estadual situada no município de Pelotas/RS. A coleta de dados aconteceu por meio de questionários mistos, teste de conhecimento e experimentações com o Scratch. Observou-se que a lógica de programação para a resolução de problemas e as atividades em grupo na criação de algoritmos, proporcionaram aulas mais dinâmicas e motivadoras à aprendizagem, nas quais os alunos demonstraram-se satisfeitos em aprender Matemática via Scratch. Além disso, percebeu-se que essa abordagem pode contribuir para o desenvolvimento de competências e habilidades necessárias à formação do estudante desta etapa escolar, desde que sua consolidação se dê em etapas anteriores. / This research investigate show the use of programming logic, through the programming language Scratch, optimizes the mathematics teaching process in terms of problems solving. Based on a socio-constructivist perspective of mediation and collaboration, it was conducted a case study with students of the last year of a state high school localized in the city of Pelotas/RS. This study takes into account the assumption that nowadays students are native in the digital world, accustomed and interested for this kind of technology. Data collection was made through mixed questionnaires, knowledge tests, and experiments with the Scratch. It was observed that the logic programming for the problems solving in addition to the group activity in the algorithms development allowed more dynamic and motivating classes. As result, students demonstrated being satisfied to learn mathematic through Scratch. Moreover, it was noted that this approach may contributes for the development of required skills in the training student process, if its consolidation be given in previous series.

Over the last three decades, computer architects have been able to achieve an increase in performance for single processors by, e.g., increasing clock speed, introducing cache memories and using instruction level parallelism. However, because of power consumption and heat dissipation constraints, this trend is going to cease. In recent times, hardware engineers have instead moved to new chip architectures with multiple processor cores on a single chip. With multi-core processors, applications can complete more total work than with one core alone. To take advantage of multi-core processors, we have to develop parallel applications that assign tasks to different cores. On each core, pipeline, data and task parallelization can be used to achieve higher performance. Dataflow programming languages are attractive for achieving parallelism because of their high-level, machine-independent, implicitly parallel notation and because of their fine-grain parallelism. These features are essential for obtaining effective, scalable utilization of multi-core processors. In this thesis work we have parallelized an existing audio codec - Adaptive Multi-Rate Wide Band (AMR-WB) - written in the C language for single core processor. The target platform is a multi-core AMR11 MP developer board. The final result of the efforts is a working AMR-WB encoder implemented in CAL and running in the OpenDF simulator. The C specification of the AMR-WB encoder was analysed with respect to dataflow and parallelism. The final implementation was developed in the CAL Actor Language, with the goal of exposing available parallelism - different dataflows - as well as removing unwanted data dependencies. Our thesis work discusses mapping techniques and guidelines that we followed and which can be used in any future work regarding mapping C based applications to CAL. We also propose solutions for some specific dependencies that were revealed in the AMR-WB encoder analysis and suggest further investigation of possible modifications to the encoder to enable more efficient implementation on a multi-core target system.

The thesis focuses on advanced programming constructs and techniques of the Swift programming language. At the beginning programming paradigms that are supported by the Swift design (object-oriented and functional) are introduced. Concepts of each paradigm are described and Swift is then evaluated by the level of support for these paradigms. Following programming constructs are described in-depth: working with variables, optional types, enumerated types, functions and closures. Creating of custom operators and subscripts. Operations with protocols, generic types and parallel program execution. Error handling with throwing functions. Detailed explanation of value types and their differences from reference type is given too. Thesis also explains nested types and all higher-order functions in Swift. At the end are described extensions; specifically extension of computed property, initialization function, function, subscript, nested type and protocol and generic types extensions. In the last section of the thesis these advanced programming techniques are described; function chaining and composition, structure saving, performance optimization of value types, reflection in the Swift programming language and how modules and namespaces work. At the end protocol-oriented programming is introduced.