Dissertations / Theses on the topic 'Softwares DIC'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Softwares DIC.'
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.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Clauß, Matthias, and Günther Fischer. "Automatisches Software-Update." Universitätsbibliothek Chemnitz, 2003. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200301040.
Full textHeik, Andreas, and Edwin Wegener. "Software unter Windows XP." Universitätsbibliothek Chemnitz, 2003. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200301032.
Full textBorch, Matthias. "Aktuelle Software für die SLUB." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2006. http://nbn-resolving.de/urn:nbn:de:swb:14-1160062550537-99632.
Full textWolf, Timo. "Rationale based unified software engineering model supporting informal collaboration, rationale, and traceability in global distributed software development." kostenfrei, 2007. http://mediatum2.ub.tum.de/doc/619335/document.pdf.
Full textBrendler, Silvio. "Neuere Hilfsmittel der Namenforschung: III. Kartographische Software." Gesellschaft für Namenkunde e.V, 2005. https://ul.qucosa.de/id/qucosa%3A31427.
Full textDemir, Kadir Alpaslan. "Measurement of software project management effectiveness." Monterey, Calif. : Naval Postgraduate School, 2008. http://edocs.nps.edu/npspubs/scholarly/dissert/2008/Dec/08Dec%5FDemir.pdf.
Full textDissertation Advisor(s): Michael, James Bret ; Osmundson, John. "December 2008." Description based on title screen as viewed on January 29, 2009. Includes bibliographical references (p. 385-400). Also available in print.
Vogel, Ronny. "eCommerce-Software: Genügt da nicht eine HTML-Seite?" Universitätsbibliothek Chemnitz, 1999. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-199900351.
Full textOlagbemiro, Albert O. "Application of Real Options theory to software engineering for strategic decision making in software related capital investments." Monterey, Calif. : Naval Postgraduate School, 2008. http://edocs.nps.edu/npspubs/scholarly/dissert/2008/Dec/08Dec%5FOlagbemiro_PhD.pdf.
Full textDissertation Supervisor(s): Shing, Man-Tak ; Mun, Jonathan. "December 2008." Description based on title screen as viewed on January 29, 2009. Includes bibliographical references (p. 175-181). Also available in print.
Taing, Nguonly, Thomas Springer, Nicolás Cardozo, and Alexander Schill. "A Rollback Mechanism to Recover from Software Failures in Role-based Adaptive Software Systems." ACM, 2017. https://tud.qucosa.de/id/qucosa%3A75214.
Full textPüschel, Georg, and Frank J. Furrer. "Cognitive Computing: Collected Papers." Technische Universität Dresden, 2015. https://tud.qucosa.de/id/qucosa%3A28990.
Full textGramlich, Ludwig. "Juristische Probleme bei der Entwicklung und Nutzung von Software." Universitätsbibliothek Chemnitz, 1998. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-199800372.
Full textTeichmann, Gunter, Heiko Hoffmann, Martin Engelien, Elke Eichenberg, and Diana Ruth. "Software on Demand (SWoD) 2.0 – Bedarfsgerechte Software für die Zusammenarbeit in Business Communities." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-141061.
Full textTeichmann, Gunter, Heiko Hoffmann, Martin Engelien, Elke Eichenberg, and Diana Ruth. "Software on Demand (SWoD) 2.0 – Bedarfsgerechte Software für die Zusammenarbeit in Business Communities." Technische Universität Dresden, 2008. https://tud.qucosa.de/id/qucosa%3A27931.
Full textMaier-Komor, Thomas. "Methoden der Metaprogrammierung zur Rekonfiguration von Software eingebetteter Systeme." [S.l.] : [s.n.], 2006. http://mediatum2.ub.tum.de/doc/613984/document.pdf.
Full textDäumler, Martin. "Timing Analysis in Software Development." Master's thesis, Universitätsbibliothek Chemnitz, 2008. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200800384.
Full textBaum, David. "Introducing aesthetics to software visualization." Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-175905.
Full textRiegel, Torvald. "Software Transactional Memory Building Blocks." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-115596.
Full textBardens, Johannes [Verfasser]. "Die Zweitverwertung urheberrechtlich geschützter Software / Johannes Bardens." München : Verlag Dr. Hut, 2013. http://d-nb.info/1042307938/34.
Full textMenzel, Michael. "Software-Testautomatisierung : Leitfaden für die effiziente Einführung /." Saarbrücken : VDM, Müller, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2889520&prov=M&dok_var=1&dok_ext=htm.
Full textMenzel, Michael. "Software-Testautomatisierung Leitfaden für die effiziente Einführung." Saarbrücken VDM, Müller, 2004. http://deposit.d-nb.de/cgi-bin/dokserv?id=2889520&prov=M&dok_var=1&dok_ext=htm.
Full textStallkamp, Markus. "Ziele und Entscheiden die Goalgetter-Methode und die Goalgetter-Software /." [S.l.] : [s.n.], 2006. http://deposit.ddb.de/cgi-bin/dokserv?idn=981588611.
Full textBaum, David. "Variabilitätsextraktion aus makrobasierten Software-Generatoren." Master's thesis, Universitätsbibliothek Leipzig, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-132719.
Full textMostafa, Abdelelah M. "Regression approach to software reliability models." [Tampa, Fla] : University of South Florida, 2006. http://purl.fcla.edu/usf/dc/et/SFE0001648.
Full textHöß, Oliver, and Anette Weisbecker. "Wege zu einer Software-Komponenten-Industrie -Erfolgsfaktoren für die Bildung von virtuellen Gemeinschaften in der Software-Entwicklung." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-205068.
Full textGädke, Achim, Markus Rosenstihl, Christopher Schmitt, Holger Stork, and Nikolaus Nestle. "DAMARIS – a flexible and open software platform for NMR spectrometer control: DAMARIS – a flexible and open software platform for NMRspectrometer control." Diffusion fundamentals 5 (2007) 6, S. 1-9, 2007. https://ul.qucosa.de/id/qucosa%3A14270.
Full textBenkwitz, Alexander. "The software JMulTi." Doctoral thesis, Humboldt-Universität zu Berlin, Wirtschaftswissenschaftliche Fakultät, 2002. http://dx.doi.org/10.18452/14861.
Full textThe thesis develops and examines tools for the analysis of dynamic multi-equation models (VAR models). First, a general concept for the integration of statistic procedures into a menu controlled software is developed. The resulting Java-library consists of configurable graphical user interface components and functions, which allow communication to the statistic software package GAUSS. This library is the basis for the software JMulTi, a menu-driven program for analyzing univariate and multivariate time series. The use of JMulTi for analyzing VAR models is documented next. Unrestricted and restricted VAR models for the monetary sector of Germany are estimated and different bootstrap confidence intervals for impulse responses are computed and compared. These intervals are subject of a concluding and detailed analysis. It is examined whether the bootstrap methods used in JMulTi (and further suggestions, e.g. the subsampling) are able to overcome the possible inconsistency of the standard asymptotic method when computing confidence intervals for impulse responses. A Monte-Carlo-study illustrates the performance of the examined methods.
Chandna, Sonali. "Software Defined Survivale Optical Interconnect for Data Centers." Thesis, Université d'Ottawa / University of Ottawa, 2017. http://hdl.handle.net/10393/36623.
Full textLiskowsky, R., and R. Pjater. "Modellierung gruppenorientierter Software-Entwicklungsprozesse mit Notes/Domlno." Josef Eul Verlag GmbH, 2000. https://tud.qucosa.de/id/qucosa%3A29795.
Full textHoráková, Jana. "The gestures that software culture is made of." Hochschule für Musik und Theater 'Felix Mendelssohn Bartholdy' Leipzig, 2016. https://slub.qucosa.de/id/qucosa%3A15860.
Full textHerrmann, Paul, Udo Kebschull, and Wilhelm G. Spruth. "Hard- und Software-Entwicklung eines ATM-Testgenerator/ Monitors." Universität Leipzig, 1998. https://ul.qucosa.de/id/qucosa%3A34538.
Full textARAÚJO, Renata Bezerra e. Silva de. "Extração automática de modelos CSP a partir de casos de uso." reponame:Repositório Institucional da CPRM, 2014. http://rigeo.cprm.gov.br/xmlui/handle/doc/1192.
Full textApproved for entry into archive by Flasleandro Oliveira (flasleandro.oliveira@cprm.gov.br) on 2014-05-05T18:18:52Z (GMT) No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5)
Approved for entry into archive by Flasleandro Oliveira (flasleandro.oliveira@cprm.gov.br) on 2014-05-05T18:19:00Z (GMT) No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5)
Made available in DSpace on 2014-05-05T18:19:09Z (GMT). No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5)
No ciclo de vida de desenvolvimento de software, especificação de requisitos é uma atividade muito propensa a definições incorretas. Isto geralmente acontece porque esses documentos são normalmente escritos em linguagem natural, tornando muito alta a possibilidade de introduzir ambiguidades e interpretações errôneas. Por outro lado, a utilização de linguagem natural traz simplicidade e flexibilidade ao se especificar requisitos, considerando que esta é uma notação que pode ser compreendida tanto pelo cliente quanto pelo desenvolvedor. Uma vez que projetos de software possuem documentos precisos, engenheiros de software que tenham bom conhecimento em linguagens formais podem criar manualmente uma especificação formal com o propósito de validar as propriedades do sistema. No entanto, esta criação manual pode não cobrir todos os requisitos ou podem conter inconsistências. Desta forma, a geração automática de modelos formais a partir de documento de requisitos parece ser uma boa solução para este problema. Para alcançar este objetivo, os documentos de requisitos devem ser simples, diretos, uniformes e sem ambuiguidades. Para que isto aconteça, Linguagens Naturais Controladas (Controlled Natural Languages - CNL) são comumente utilizadas. Este trabalho faz parte do projeto de Pesquisa e Desenvolvimento do CIn Brazil Test Center (CInBTCRD), que é uma cooperação entre a Motorola e o Centro de Informática da Universidade Federal de Pernambuco (CIn-UFPE). Em primeiro lugar, este trabalho propõe uma linguagem restrita (CNL) para definir casos de uso contendo uma noção de estado, os quais consideram dados de entrada, saída, guarda e atualização de variáveis, como um complemento para a descrição textual. Depois disso, uma tradução automática dessa linguagem para a algebra de processos CSP foi proposta, a fim de permitir a análise formal de requisitos e geração de casos de teste. Finalmente, foi realizada a implementação e integração desta linguagem e sua tradução para CSP em uma ferramenta conhecida como TaRGeT, cujo propósito é a geração de casos de teste a partir de documentos de casos de uso que seguem um template padrão e são escritos utilizando uma CNL. A TaRGeT original não era capaz de lidar com definições de dados e as manipulações destes dados, e utiliza sistemas rotulados por transição (labelled transition systems) em vez de CSP, como formalismo. Para ilustrar as técnicas propostas neste trabalho, um estudo de caso foi realizado no ambiente da Motorola, adaptando um exemplo de caso de uso real da indústria de modo a encaixá-lo no nosso template. O documento de caso de uso considera situações de envio e recebimento de SMS/MMS, contendo uma feature com 7 casos de uso, incluindo definições e manipulações de dados, relacionamentos entre casos de uso e 6 fluxos alternativos. O CSP gerado contém 570 linhas de código e a verificação de suas propriedades foi checada com sucesso utilizando-se a ferramenta FDR, um verificador de modelo para CSP
Bittrich, Daniel. "Verbunddokumente als Nutzeroberfläche von Software für die Tragwerksplanung." [S.l. : s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=970186215.
Full textCamara, Louis Richard. "Statistical modeling and assessment of software reliability." [Tampa, Fla] : University of South Florida, 2006. http://purl.fcla.edu/usf/dc/et/SFE0001699.
Full textFreitas, Arthur. "Hardware/Software Co-Verification Using the SystemVerilog DPI." Universitätsbibliothek Chemnitz, 2007. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700941.
Full textPoller, Andreas. "Approaches for Automated Software Security Evaluations." Master's thesis, Universitätsbibliothek Chemnitz, 2006. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200601872.
Full textDurch die zunehmende starke Vernetzung von Computertechnologie wird die Möglichkeit des Zugriffs auf einzelne Computersysteme und den darauf ablaufenden Programmen zunehmend ebenso stark unabhängig von den physischen Zugangsmöglichkeiten des Zugreifenden zu diesen Systemen. Diese wegfallenden physischen Zugangsbarrieren müssen deshalb durch logische Zugriffsbeschränkungen ersetzt werden, die sicherstellen, dass Computersysteme nur zu den vorgesehen Zwecken verwendet und die darin gespeicherten Daten sicher und vertraulich verarbeitet werden. Die Wirksamkeit dieser logischen Schutzmechanismen wird mit Hilfe von s.g. Softwaresicherheitstests verifiziert. Dabei wird insbesondere überprüft, inwiefern Schutzfunktionen durch Zuhilfenahme von in der Software vorhandenen Programmfehlern umgangen werden können. Diese Diplomarbeit überprüft bestehende Ansätze für die Automatisierung solcher Sicherheitstests hinsichtlich ihrer Wirksamkeit und Anwendbarkeit. Aus den Resultaten dieser Untersuchung wird ein allgemeines Anforderungs- und Bewertungsmodell entwickelt, welches die qualitative Bewertung von Ansätzen zur Sicherheitstestautomatisierung zulässt. Desweiteren wird die Behauptung aufgestellt, dass die Forderung nach einer zu starken Automatisierung des Testverfahrens sich ungünstig gegenüber des Kosten-Nutzen-Verhältnisses auswirkt, welches bei der Realisierung dieser Forderungen zu erwarten ist. Darauf aufbauend versucht die Diplomarbeit abzugrenzen, wie sich die Fähigkeiten des menschlichen Testers und eines teilautomatisierbaren Softwaresystems effizient in einem Sicherheitstestprozess verbinden lassen. Basierend auf diesen Betrachtungen wird beschrieben, wie ein Sicherheitsevaluierungssystem, welches prototypisch für diese Diplomarbeit entwickelt wurde, den Menschen zur Erstellung von Testalgorithmen einbindet aber, wenn dies zweckmäßig ist, Automatisierungen ermöglicht. Dieses System wird daraufhin auf seine praktische Anwendbarkeit untersucht
Rodríguez, Rodríguez Verónica. "Software Design Model for Adaptability and Adaptivity of Learning Objects Interfaces." Thesis, Universidad de las Américas Puebla, 2012. http://catarina.udlap.mx/u_dl_a/tales/documentos/dsc/rodriguez_r_v/.
Full textPowale, Kalkin. "Automotive Powertrain Software Evaluation Tool." Master's thesis, Universitätsbibliothek Chemnitz, 2018. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-233186.
Full textVolkmer, Toni. "OpenMP parallelization in the NFFT software library." Universitätsbibliothek Chemnitz, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-94837.
Full textBaum, Markus, and Denis Anders. "Spritzgießsimulation mit der kommerziellen Simulations-Software Cadmould®." Technische Universität Chemnitz, 2019. https://monarch.qucosa.de/id/qucosa%3A34246.
Full textWerner, Stefan. "Synchrone Groupware für die Software-Engineering-Ausbildung ein Beispiel für die Ableitung unterstützender Werkzeuge aus problemorientierter Sicht /." [S.l. : s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=966538633.
Full textBeer, Daniel, Steffen Höhne, Gudula Rünger, and Michael Voigt. "Software- und Kriterienkatalog zu RAfEG - Referenzarchitektur für E-Government." Universitätsbibliothek Chemnitz, 2005. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200500321.
Full textMüller, Richard. "Software Visualization in 3D." Doctoral thesis, Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-164699.
Full textMarkert, Daniel. "Entwicklung einer generischen Testumgebung für Automotive Software Systems." Master's thesis, Universitätsbibliothek Chemnitz, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-218589.
Full textGlänzel, Janine. "Kurzvorstellung der 3D-FEM Software SPC-PM3AdH-XX." Universitätsbibliothek Chemnitz, 2009. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200900211.
Full textPriemer, Jürgen. "Entscheidungen über die Einsetzbarkeit von Software anhand formaler Modelle /." Sinzheim : Pro-Universitate-Verl, 1995. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=006845353&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
Full textHenkel, Joachim. "Offene Innovationsprozesse die kommerzielle Entwicklung von Open-Source-Software." Wiesbaden Dt. Univ.-Verl, 2004. http://d-nb.info/986296074/04.
Full textHenkel, Joachim. "Offene Innovationsprozesse die kommerzielle Entwicklung von Open-Source-Software /." Wiesbaden : Dt. Univ.-Verl, 2007. http://sfx.metabib.ch:9003/sfx_locater?sid=ALEPH:DSV01&genre=book&isbn=978-3-8350-0978-3&id=doi:10.1007/978-3-8350-5497-4.
Full textJiménez, Santiago Nora Irene. "Software para el control de servicios del DIF Chimalhuacán." Tesis de Licenciatura, Universidad Autónoma del Estado de México, 2014. http://hdl.handle.net/20.500.11799/62455.
Full textDu, 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 textTo 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
Jäkel, Tobias, Martin Weißbach, Kai Herrmann, Hannes Voigt, and Max Leuthäuser. "Position paper: Runtime Model for Role-based Software Systems." IEEE, 2016. https://tud.qucosa.de/id/qucosa%3A75302.
Full text