Rozprawy doktorskie na temat „Component-based”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Component-based”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
Oses, Noelia. "Component-based simulation". Thesis, Lancaster University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.414597.
Pełny tekst źródłaAbdullahi, Abdille. "Component-based Software development". Thesis, Växjö University, School of Mathematics and Systems Engineering, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2335.
Pełny tekst źródłaComponent-based Software development is a promising way to improve quality, time to market and handle the increasing complexity of software management. However, The component-based development is still a process with many problems, it is not well de_ned either from theoretical or practical point of view. This thesis gives a brief overview of Component-Based Software development and starts with brief historical evolution followed by a general explanation of the method. A detailed discussion of the underlying principles like components, component framework and compent system architecture are then presented. Some real world component stadards such as .net framework, CORBA CCM and EJB are given in detail. Finally, simple fille-sharing-program based on Apache's Avalon framework and another one based on .net framework are developed as a case study.
Danish, Muhammad Rafique, i Sajjad Ali Khan. "Component Repository Browser". Thesis, Mälardalen University, School of Innovation, Design and Engineering, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7707.
Pełny tekst źródłaThe main goal of this thesis is to investigate efficient searching mechanisms for searching and retrieving software components across different remote repositories and implement a supporting prototype called “Component Repository Browser” using the plug-in based Eclipse technology for PROGRESS-IDE. The prototype enables users to search the ProCom components and to import the desired components from a remote repository server over different protocols such as HTTP, HTTPS, and/or SVN. Several component searching mechanisms and suggestions were studied and examined such as keyword, facet-based search, folksonomy classification, and signature matching, from which we selected keyword search along with facet-based searching technique to help component searchers to efficiently find the desired components from a remote repository.
Fischer, Bernd. "Deduction-based software component retrieval". [S.l.] : [s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=964334488.
Pełny tekst źródłaSubramanian, Gayatri. "Automating Component-Based System Assembly". Thesis, Georgia Institute of Technology, 2006. http://hdl.handle.net/1853/11508.
Pełny tekst źródłaYang, Yi. "A component-based collaboration infrastructure". Texas A&M University, 2005. http://hdl.handle.net/1969.1/3188.
Pełny tekst źródłaSmaltz, Daniel Jonathan. "Component-Based Syntheses of Trioxacarcins". Thesis, Harvard University, 2014. http://dissertations.umi.com/gsas.harvard:11551.
Pełny tekst źródłaChemistry and Chemical Biology
Zhou, Jiong. "Formalisation of component-based systems". Thesis, University of Surrey, 2007. http://epubs.surrey.ac.uk/844080/.
Pełny tekst źródłaJohannes, Jendrik. "Component-Based Model-Driven Software Development". Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-63986.
Pełny tekst źródłaSoucy, Yvan. "Test-based hybrid component mode synthesis". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape17/PQDD_0014/NQ37056.pdf.
Pełny tekst źródłaPeng, Fang. "The component-based application for GAMESS". [Ames, Iowa : Iowa State University], 2007.
Znajdź pełny tekst źródłaKhalid, Ruzelan. "Component-Based Tools for Educational Simulations". Thesis, University of Canterbury. Computer Science and Software Engineering, 2013. http://hdl.handle.net/10092/8540.
Pełny tekst źródłaSchmid, Stefan. "A component-based active router architecture". Thesis, Lancaster University, 2003. http://eprints.lancs.ac.uk/12227/.
Pełny tekst źródłaSampat, Nilesh Mahendrakumar. "Stakeholder negotiations in component based development". Thesis, De Montfort University, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.400686.
Pełny tekst źródłaBileschi, Stanley Michael 1978. "Advances in component-based face detection". Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/87340.
Pełny tekst źródłaIncludes bibliographical references (leaves 51-53).
by Stanley Michael Bileschi.
S.M.
Kulkarni, Sandeep. "Component based design of fault-tolerance /". The Ohio State University, 1999. http://rave.ohiolink.edu/etdc/view?acc_num=osu1488191667180527.
Pełny tekst źródłaIsaac, Benjamin. "Principal component analysis based combustion models". Doctoral thesis, Universite Libre de Bruxelles, 2014. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209278.
Pełny tekst źródłaDoctorat en Sciences de l'ingénieur
info:eu-repo/semantics/nonPublished
GEROSA, MARCO AURELIO. "COMPONENT-BASED GROUPWARE DEVELOPMENT BASED ON THE 3C COLLABORATION MODEL". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2006. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8665@1.
Pełny tekst źródłaFUNDAÇÃO PADRE LEONEL FRANCA
Groupware é evolutivo e é difícil de construir e de manter, e acaba tendo um código desorganizado e difícil de evoluir. Nesta tese é proposta uma abordagem de desenvolvimento de groupware baseado em componentes concebidos em função do modelo 3C de colaboração. No modelo 3C, a colaboração é analisada a partir da comunicação, coordenação e cooperação. Na abordagem proposta, partese das necessidades de colaboração do grupo, analisadas com base no modelo, e componentes de software também organizados em função do modelo são utilizados para compor a solução. Como estudo de caso, a abordagem é aplicada no desenvolvimento da nova versão do ambiente AulaNet, cujo código padece dos problemas mencionados anteriormente. Neste estudo de caso, são desenvolvidos component kits para instanciar os serviços de comunicação do ambiente. Os componentes possibilitam compor, recompor e customizar os serviços de modo a refletir alterações na dinâmica de colaboração.
Groupware is evolutionary and difficult to develop and maintain. Thus, its code becomes unstructured and difficult to evolve. In this thesis, a groupware development approach based on components organized according to the 3C collaboration model is proposed. In this model, collaboration is analyzed based on communication, coordination and cooperation. Collaboration necessities of the group, analyzed based on the 3C model, are mapped to software components, also organized according to the model, in order to compose the system. The proposed approach is applied as a case study to the development of the new version of the AulaNet environment. The environment´s code currently suffers the mentioned problems. In order to instantiate the communication services of the environment, for the case study, 3C based component kits were developed. The components allow the composition, re-composition and customization of the services in order to reflect collaboration dynamics changes.
Aktunc, Ozgur. "An entropy-based measurement framework for component-based hierarchical systems". Birmingham, Ala. : University of Alabama at Birmingham, 2007. https://www.mhsl.uab.edu/dt/2008r/aktunc.pdf.
Pełny tekst źródłaAdditional advisors: Gary J. Grimes, Chittoor V. Ramamoorthy, Murat N. Tanju, Gregg L. Vaughn, B. Earl Wells. Description based on contents viewed Feb. 12, 2009; title from PDF t.p. Includes bibliographical references (p. 150-158).
Smith, William B. "Early component-based reliability assessment using UML based software models". Morgantown, W. Va. : [West Virginia University Libraries], 2002. http://etd.wvu.edu/templates/showETD.cfm?recnum=2634.
Pełny tekst źródłaTitle from document title page. Document formatted into pages; contains vii, 62 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 26-27).
Petkov, Ivo. "GUI for component behavior – based on REMES". Thesis, Mälardalen University, School of Innovation, Design and Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7499.
Pełny tekst źródłaModels and components have become an indispensable part in the development of embedded systems. They reduce the complexity of embedded systems and provide a formal ground on which analysis and synthesis are performed. ProCom is a component model intended for embedded systems design. It has been developed within PROGRESS, a large research project aiming to provide component-based techniques for the development of embedded systems. The behavior of ProCom components is specified in the REMES modeling language. REMES is used for specification for both functional and extra-functional behavior of the components (timing, resource usage, reliability etc.). Without proper tool support, the use of models and components is very difficult. Such tool support is typically integrated in an Integrated Development Environment (IDE), which is simply a framework containing a programming environment. This thesis provides an implementation of a GUI for component behavior modeling based on REMES as a plug-in for the Progress IDE.
Bauer, Sebastian. "Modal specification theories for component-based design". Diss., lmu, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:19-150389.
Pełny tekst źródłaKanso, Bilal. "Modeling and testing of component-based systems". Thesis, Châtenay-Malabry, Ecole centrale de Paris, 2011. http://www.theses.fr/2011ECAP0050/document.
Pełny tekst źródłaIn spite of several decades of research, assuring the quality of software systems still represents a major and serious problem nowadays for the industry with respect to both results and costs. This thesis comes within the scope of a proposal centered on a generic unified framework for both complex software systems modeling and testing. The contribution of this paper is then twofold: first, it defines a unified framework for modelling generic components, as well as a formalization of integration rules to combine their behaviour. This is based on a coalgebraic definition of components, which is a categorical representation allowing the unification of a large family of formalisms for specifying state-based systems. Second, it studies compositional conformance testing i.e. checking whether an implementation made from correct interacting components combined with integration operators conforms to its specification
Karlsson, Daniel. "Verification of Component-based Embedded System Designs". Doctoral thesis, Linköping : Department of Computer and Information Science, Linköping University, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-7473.
Pełny tekst źródłaTriki, Ahlem. "Distributed Implementations of Timed Component-based Systems". Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GRENM014/document.
Pełny tekst źródłaCorrect distributed implementation of real-time systems has always been a challenging task. The coordination of components executing on a distributed platform has to be ensured by complex communication protocols taking into account their timing constraints. In this thesis, we propose rigorous design flow starting from a high-level model of an application software in BIP (Behavior, Interaction, Priority) and leading to a distributed implementation. The design flow involves the use of model transformations while preserving the functional properties of the original BIP models. A BIP model consists of a set of components synchronizing through multiparty interactions and priorities. Our method transforms high-level BIP models into Send/Receive models that operate using asynchronous message passing. The obtained models are directly implementable on a given platform. We present three solutions for obtaining Send/Receive BIP models. -In the first solution, we propose Send/Receive models with a centralized scheduler that implements interactions and priorities. Atomic components of the original models are transformed into Send/Receive components that communicate with the centralized scheduler via Send/Receive interactions. The centralized scheduler is required to schedule interactions under some conditions defined by partial state models. Those models represent high-level representation of parallel execution of BIP models. - In the second solution, we propose to decentralize the scheduler. The obtained Send/Receive models are structured in 3 layers: (1) Send/Receive atomic components, (2) a set of schedulers each one handling a subset of interactions, and (3) a set of components implementing a conflict resolution protocol. With the above solutions, we assume that the obtained Send/Receive models are implemented on platforms that provide fast communications (e.g. multi-process platforms) to meet perfect synchronization in components. This is because the obtained schedulers are modeled such that interactions scheduling corresponds exactly to execution in components. - In the third solution, we propose Send/Receive models that execute correctly even if communications are not fast enough. This solution is based on the fact that schedulers plan interactions execution and notify components in advance. In order to plan correctly the interactions, we show that the schedulers are required to observe additional components, in addition to the ones participating in the interactions. We present also a method to optimize the number of observed components, based on the use of static analysis techniques. From a given Send/Receive model, we generate a distributed implementation where Send/Receive interactions are implemented by TCP sockets. The experimental results on non trivial examples and case studies show the efficiency of our design flow
Rodrigues, M. R. D. "A tree-based algorithm for component placement". Thesis, University of Manchester, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.376139.
Pełny tekst źródłaOwen, Stephen. "Documentation use in component-based software composition". Thesis, Keele University, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.436199.
Pełny tekst źródłaChe, Bryan (Bryan Wan-Jen) 1977. "Automating component-based testing from UML models". Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/16741.
Pełny tekst źródłaIncludes bibliographical references (leaf 43).
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Software components such as EJB’s or COM objects may be tested in an automated fashion with the help of UML models. First, these objects should be modeled in UML, using certain extensions and modeling conventions. Then, an automated software-testing program can read the UML diagrams and generate testing scripts which drive the components appropriately. EJBTest is such a program which can read UML diagrams of EJB’s and generate the appropriate Java code for testing those EJB’s. The generated scripts can successfully test the EJB’s for functionality and also perform database verification.
by Bryan Che.
S.B.and M.Eng.
Weiss, Kathryn Anne 1979. "Component-based systems engineering for autonomous spacecraft". Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/82801.
Pełny tekst źródłaAl-Kazzaz, Dhuha Abdulgani Abdulaziz. "Shape grammars for hybrid component-based design". Thesis, University of Strathclyde, 2011. http://oleg.lib.strath.ac.uk:80/R/?func=dbin-jump-full&object_id=16772.
Pełny tekst źródłaCoretto, Pietro. "The noise component in model-based clustering". Thesis, University College London (University of London), 2008. http://discovery.ucl.ac.uk/1445219/.
Pełny tekst źródłaGoulão, Miguel Carlos Pacheco Afonso. "Component-based software engineering: a quantitative approach". Doctoral thesis, FCT - UNL, 2008. http://hdl.handle.net/10362/1883.
Pełny tekst źródłaBackground: Often, claims in Component-Based Development (CBD) are only supported by qualitative expert opinion, rather than by quantitative data. This contrasts with the normal practice in other sciences, where a sound experimental validation of claims is standard practice. Experimental Software Engineering (ESE) aims to bridge this gap. Unfortunately, it is common to find experimental validation efforts that are hard to replicate and compare, to build up the body of knowledge in CBD. Objectives: In this dissertation our goals are (i) to contribute to evolution of ESE, in what concerns the replicability and comparability of experimental work, and (ii) to apply our proposals to CBD, thus contributing to its deeper and sounder understanding. Techniques: We propose a process model for ESE, aligned with current experimental best practices, and combine this model with a measurement technique called Ontology-Driven Measurement (ODM). ODM is aimed at improving the state of practice in metrics definition and collection, by making metrics definitions formal and executable,without sacrificing their usability. ODM uses standard technologies that can be well adapted to current integrated development environments. Results: Our contributions include the definition and preliminary validation of a process model for ESE and the proposal of ODM for supporting metrics definition and collection in the context of CBD. We use both the process model and ODM to perform a series experimental works in CBD, including the cross-validation of a component metrics set for JavaBeans, a case study on the influence of practitioners expertise in a sub-process of component development (component code inspections), and an observational study on reusability patterns of pluggable components (Eclipse plug-ins). These experimental works implied proposing, adapting, or selecting adequate ontologies, as well as the formal definition of metrics upon each of those ontologies. Limitations: Although our experimental work covers a variety of component models and, orthogonally, both process and product, the plethora of opportunities for using our quantitative approach to CBD is far from exhausted. Conclusions: The main contribution of this dissertation is the illustration, through practical examples, of how we can combine our experimental process model with ODM to support the experimental validation of claims in the context of CBD, in a repeatable and comparable way. In addition, the techniques proposed in this dissertation are generic and can be applied to other software development paradigms.
Departamento de Informática of the Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (FCT/UNL); Centro de Informática e Tecnologias da Informação of the FCT/UNL; Fundação para a Ciência e Tecnologia through the STACOS project(POSI/CHS/48875/2002); The Experimental Software Engineering Network (ESERNET);Association Internationale pour les Technologies Objets (AITO); Association forComputing Machinery (ACM)
Conserva, Filho Madiel de Souza. "Local livelock analysis of component-based models". PROGRAMA DE P?S-GRADUA??O EM SISTEMAS E COMPUTA??O, 2016. https://repositorio.ufrn.br/jspui/handle/123456789/22209.
Pełny tekst źródłaApproved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-03-10T21:13:38Z (GMT) No. of bitstreams: 1 MadielDeSouzaConservaFilho_TESE.pdf: 1314650 bytes, checksum: ea38672191d7c35f5274cb1360bcfef1 (MD5)
Made available in DSpace on 2017-03-10T21:13:38Z (GMT). No. of bitstreams: 1 MadielDeSouzaConservaFilho_TESE.pdf: 1314650 bytes, checksum: ea38672191d7c35f5274cb1360bcfef1 (MD5) Previous issue date: 2016-08-12
O uso crescente de sistemas complexos exige cada vez mais um maior investimento de recursos no desenvolvimento de software para garantir a confiabilidade dos mesmos. Para lidar com esta complexidade, abordagens composicionais podem ser utilizadas no desenvolvimento de sistemas de software, possibilitando a integra??o e a reutiliza??o de componentes existentes. Entretanto, a fim de garantir o sucesso desta abordagem, ? essencial confiar no comportamento dos componentes e, al?m disso, nos sistemas que s?o desenvolvidos utilizando essa estrat?gia, uma vez que falhas podem ser introduzidas se a composi??o n?o assegurar propriedades importantes. Problemas podem surgir quando dois ou mais componentes s?o integrados pela primeira vez. Esta situa??o ? ainda mais relevante quando um grupo de componentes trabalha em conjunto a fim de executar determinadas tarefas, especialmente em aplica??es cr?ticas, onde podem surgir problemas cl?ssicos, como livelock. Esta tese de doutorado apresenta uma estrat?gia local para garantir aus?ncia de livelock, por constru??o, em sistemas s?ncronos modelados com a nota??o padr?o de CSP. A nossa t?cnica ? baseada na an?lise local das m?nimas sequ?ncias que levam o processo CSP ao seu estado inicial. O uso de t?cnicas locais evita a explos?o do espa?o de estados gerado pela integra??o dos componentes. A verifica??o destas condi??es locais utilizam metadados que permitem armazenar resultados parciais das verifica??es, reduzindo o esfor?o durante a an?lise. A abordagem proposta tamb?m pode ser aplicada para verificar aus?ncia de livelock em modelos que realizam comunica??es ass?ncronas. Neste caso, analisamos o modelo de componentes BR IC, cujo comportamento dos componentes ? representado por um processo CSP. A fim de realizar esta verifica??o, consideramos duas vers?es para BR IC: BR IC , o qual realiza composi??es ass?ncronas atrav?s de buffers finitos, e BR IC? no qual a assincronicidade ? realizada atrav?s de buffers infinitos. Estas duas abordagens foram analisadas porque a possibilidade de introduzir livelock em sistemas ass?ncronos depende diretamente da finitude do buffer. As t?cnicas propostas para garantir aus?ncia de livelock em CSP e BR IC foram avaliadas atrav?s de tr?s estudos de caso: o escalonador de Milner e duas varia??es do jantar dos fil?sofos. Uma vers?o apresenta um sistema livre de livelock, e a outra apresenta um sistema com livelock. Neste estudo, avaliamos a nossa abordagem em compara??o com outras duas t?cnicas para verifica??o de aus?ncia de livelock, a an?lise global tradicional do FDR e a an?lise est?tica de livelock do SLAP. Este estudo comparativo demonstra que a nossa estrat?gia pode ser aplicada como uma alternativa para a verifica??o de aus?ncia de livelock em grandes sistemas.
The use of increasingly complex applications is demanding a greater investment of resources in software development to ensure that applications are safe. For mastering this complexity, compositional approaches can be used in the development of software by integrating and reusing existing reliable components. The correct application of such strategies, however, relies on the trust in the behaviour of the components and in the emergent behaviour of the composed components because failures may arise if the composition does not preserve essential properties. Problems may be introduced when two or more error-free components are integrated for the first time. This concern is even more relevant when a group of components is put together in order to perform certain tasks, especially in safety-critical applications, during which classical problems can arise, such as livelock. In this thesis, we present a local strategy that guarantees, by construction, the absence of livelock in synchronous systems as modelled using the standard CSP notation. Our method is based solely on the local analysis of the minimum sequences that lead the CSP model back to its initial state. Locality provides an alternative to circumvent the state explosion generated by the interaction of components and allows us to identify livelock before composition. The verification of these conditions use metadata that allow us to record partial results of verification, decreasing the overall analysis effort. In addition, our work can also be applied to check livelock freedom in models that perform asynchronous communications. In this case, we carry out livelock analysis in the context of a component model, BR IC, whose behaviour of the components is described as a CSP process. Finally, we introduce three case studies to evaluate our livelock analysis technique in practice: the Milner?s scheduler and two variations of the dining philosophers, a livelock-free version and a version in which we have deliberately included livelock. For each case study, we also present a comparative analysis of the performance of our strategy with two other techniques for livelock freedom verification, the traditional global analysis of FDR and the static livelock analysis of SLAP. This comparative study demonstrates that our strategy can be used in practice and that it might be a useful alternative for establishing livelock freedom in large systems.
Teixeira, Ramos Rodrigo. "Systematic Development of Trustworthy Component-based Systems". Universidade Federal de Pernambuco, 2011. https://repositorio.ufpe.br/handle/123456789/2073.
Pełny tekst źródłaPetróleo Brasileiro S.A.
Apesar de componentes serem tratados como unidades básicas de composição no desenvolvimento baseado em componentes (CBD), para que eles obtenham um disseminado status de serem facilmente conectados como peças de lego a integração de componentes precisa ser cuidadosamente projetada, sistematizada e verificada; somente isto poderá garantir arquiteturas confiáveis. Além dos argumentos gerais sobre redução de custo através de reuso, abordagens CBD precisam oferecer uma interessante, e frutífera, oportunidade para o desenvolvimento de sistemas críticos de alta qualidade e viável no contexto industrial. Para alcançar esta meta, propomos neste trabalho uma abordagem sistematizada para a construção de sistemas baseados em componentes (CBS) confiáveis. A abordagem foca na realização de análises que consideram preocupações de engenharia no CBD. Ela se baseia em um modelo de componentes que caracteriza os blocos de construção de nossa abordagem de desenvolvimento, e que impõe as restrições necessárias para sua interação segura. Além disto, definimos restrições de construção para o nosso modelo de componentes, baseadas em regras de composição para componentes. Estas permitem verificar quando dois componentes são compatíveis para trocarem informações. As regras de composição compreendem um método sistematizado para preservar, por construção, propriedades comportamentais em composições de componentes; em particular, focamos na preservação de progresso local e da ausência de deadlock nas composições. Como conseqüência, é possível prever o comportamento de uma vasta gama de CBS, antes de sua implementação, com base em propriedades conhecidas do sistema. Em nossa abordagem, também propomos alternativas de verificação mais amenas: a) predições de condições de composição baseadas na análise de metadados de componentes; b) simplificações em verificações de componente associados a estilos arquiteturais específicos. Toda a abordagem é apoiada pela álgebra de processos CSP, que oferece modelos semânticos que suportam uma vasta gama de verificações e comparações de processos. Além disto, ilustramos a aplicação desta abordagem através de dois estudos de caso, que focam em diferentes aspectos da nossa abordagem, e verificamos mecanicamente a preservação de propriedades comportamentais de componentes na evolução dessas aplicações
Haschemi, Siamak. "Model-based testing of dynamic component systems". Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015. http://dx.doi.org/10.18452/17273.
Pełny tekst źródłaThis dissertation devotes to the question whether the established technique of model based testing (MBT) can be applied to a special type of software component systems called dynamic component systems (DCSs). DCSs have the special characteristic that they support the change of component instance compositions during runtime of the system. In these systems, each component instance exhibits an own lifecycle. This makes it possible to update existing, or add new components to the system, while it is running. Such changes cause that functionality provided by the component instances may become restricted or unavailable at any time. This characteristic of DCSs makes the development of components difficult because required and used functionality is not available all the time. The goal of this dissertation is to develop a systematic testing approach which allows to test a component’s tolerance to dynamic availability during development time. We analyze, to what extend existing MBT approaches can be reused or adapted. The approaches of this dissertation has been implemented in a software prototype. This prototype has been used in a case study and it has been showed, that systematic test generation for DCSs can be done with the help of MBT.
Ibrahim, Rosziati. "Formal methods applied to component-based systems". Thesis, Queensland University of Technology, 2000.
Znajdź pełny tekst źródłaAzumi, Takuya, Hiroaki Takada i Hiroshi Oyama. "Optimization of Component Connections for an Embedded Component System". IEEE, 2009. http://hdl.handle.net/2237/13983.
Pełny tekst źródłaAmayeh, Gholamreza. "A component-based approach to hand-based verification and identification system". abstract and full text PDF (UNR users only), 2009. http://0-gateway.proquest.com.innopac.library.unr.edu/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3387799.
Pełny tekst źródłaBübl, Felix. "Tracing crosscutting requirements for component based systems via context based constraints". [S.l.] : [s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=976731169.
Pełny tekst źródłaYin, Hang. "Introducing Mode Switch in Component-Based Software Development". Doctoral thesis, Mälardalens högskola, Inbyggda system, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28755.
Pełny tekst źródłaARROWS - Design Techniques for Adaptive Embedded Systems
Kalcklösch, Robert. "Gossip-based diagnosis of arbitrary component-oriented systems /". München : Verl. Dr. Hut, 2009. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017317407&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
Pełny tekst źródłaTešanović, Aleksandra. "Towards Aspectual Component-Based Real-Time System Development". Licentiate thesis, Linköping University, Linköping University, RTSLAB - Real-Time Systems Laboratory, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5693.
Pełny tekst źródłaIncreasing complexity of real-time systems and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principles such as aspect-oriented and component-based software development. The integration of these two techniques into real-time systems development would enable: (i) efficient system configuration from the components in the component library based on the system requirements, (ii) easy tailoring of components and/or a system for a specific application by changing the behavior (code) of the component by aspect weaving, and (iii) enhanced flexibility of the real-time and embedded software through the notion of system configurability and component tailorability.
In this thesis we focus on applying aspect-oriented and component-based software development to real-time system development. We propose a novel concept of aspectual component-based real-time system development (ACCORD). ACCORD introduces the following into real-time system development: (i) a design method that assumes the decomposition of the real-time system into a set of components and a set of aspects, (ii) a real-time component model denoted RTCOM that supports aspect weaving while enforcing information hiding, (iii) a method and a tool for performing worst-case execution time analysis of different configurations of aspects and components, and (iv) a new approach to modelling of real-time policies as aspects.
We present a case study of the development of a configurable real-time database system, called COMET, using ACCORD principles. In the COMET example we show that applying ACCORD does have an impact on the real-time system development in providing efficient configuration of the real-time system. Thus, it could be a way for improved reusability and flexibility of real-time software, and modularization of crosscutting concerns.
In connection with development of ACCORD, we identify criteria that a design method for component-based real-time systems needs to address. The criteria include a well-defined component model for real-time systems, aspect separation, support for system configuration, and analysis of the composed real-time system. Using the identified set of criteria we provide an evaluation of ACCORD. In comparison with other approaches, ACCORD provides a distinct classification of crosscutting concerns in the real-time domain into different types of aspects, and provides a real-time component model that supports weaving of aspects into the code of a component, as well as a tool for temporal analysis of the weaved system.
Report code: LiU-TEK-LIC-2003:23.
Mulugeta, Dinku Mesfin. "QoS Contract Negotiation in Distributed Component-Based Software". Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2007. http://nbn-resolving.de/urn:nbn:de:swb:14-1185279327735-87696.
Pełny tekst źródłaHerold, Sebastian [Verfasser]. "Architectural Compliance in Component-Based Systems / Sebastian Herold". München : Verlag Dr. Hut, 2011. http://d-nb.info/1017353441/34.
Pełny tekst źródłaStoicescu, Miruna. "Architecting Resilient Computing Systems : a Component-Based Approach". Thesis, Toulouse, INPT, 2013. http://www.theses.fr/2013INPT0120/document.
Pełny tekst źródłaEvolution during service life is mandatory, particularly for long-lived systems. Dependable systems, which continuously deliver trustworthy services, must evolve to accommodate changes e.g., new fault tolerance requirements or variations in available resources. The addition of this evolutionary dimension to dependability leads to the notion of resilient computing. Among the various aspects of resilience, we focus on adaptivity. Dependability relies on fault tolerant computing at runtime, applications being augmented with fault tolerance mechanisms (FTMs). As such, on-line adaptation of FTMs is a key challenge towards resilience. In related work, on-line adaption of FTMs is most often performed in a preprogrammed manner or consists in tuning some parameters. Besides, FTMs are replaced monolithically. All the envisaged FTMs must be known at design time and deployed from the beginning. However, dynamics occurs along multiple dimensions and developing a system for the worst-case scenario is impossible. According to runtime observations, new FTMs can be developed off-line but integrated on-line. We denote this ability as agile adaption, as opposed to the preprogrammed one. In this thesis, we present an approach for developing flexible fault-tolerant systems in which FTMs can be adapted at runtime in an agile manner through fine-grained modifications for minimizing impact on the initial architecture. We first propose a classification of a set of existing FTMs based on criteria such as fault model, application characteristics and necessary resources. Next, we analyze these FTMs and extract a generic execution scheme which pinpoints the common parts and the variable features between them. Then, we demonstrate the use of state-of-the-art tools and concepts from the field of software engineering, such as component-based software engineering and reflective component-based middleware, for developing a library of fine-grained adaptive FTMs. We evaluate the agility of the approach and illustrate its usability throughout two examples of integration of the library: first, in a design-driven development process for applications in pervasive computing and, second, in a toolkit for developing applications for WSNs
Yin, Hang. "Mode switch for component-based multi-mode systems". Licentiate thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-16153.
Pełny tekst źródłaARROWS
Larsson, Magnus. "Applying configuration management techniques to component-based systems". Licentiate thesis, Uppsala universitet, Avdelningen för datorteknik, 2000. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-226517.
Pełny tekst źródłaLi, Junping. "A survey on Microsoft component-based programming technologies". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0015/MQ47848.pdf.
Pełny tekst źródłaSahambi, Harkirat S. "Appearance based object recognition using independent component analysis". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0017/MQ54320.pdf.
Pełny tekst źródłaJiang, Wenxia. "New constructs for component-based modeling and design". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0015/MQ58046.pdf.
Pełny tekst źródła