Log in

Relevant bibliographies by topics / Model-based software engineering / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Model-based software engineering.

Dissertations / Theses on the topic 'Model-based software engineering'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Model-based software engineering.'

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.

1

Saboe, Michael S. "A software technology transition entropy based engineering model." Monterey, Calif. : Naval Postgraduate School, 2002. http://edocs.nps.edu/npspubs/scholarly/dissert/2002/Mar/02Mar%5FSaboe%5FPhD.pdf.

Full text

Abstract:

Dissertation (Ph.D. in Software Engineering)--Naval Postgraduate School, March 2002.<br>Dissertation supervisor: Luqi. "March 2002." Description based on title screen as viewed on July 15, 2010. Author(s) subject terms: Software Engineering, Technology Transfer, Information Theory, Communication Theory, Statistical Mechanics, Dynamical Systems, Control Theory, Learning Curves, Entropy, Information Temperature, Temperature of Software (o Saboe), Technology Transfer Dynamics, Research Management, Diffusion of Innovation, Project Management, Physics of Software Includes bibliographical refere

APA, Harvard, Vancouver, ISO, and other styles

2

Ayaz, Muhammad. "Model-Based Diagnosis of Software Functional Dependencies." Thesis, Linköping University, Department of Computer and Information Science, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-58580.

Full text

Abstract:

<p>Researchers have developed framework for diagnosis analysis that are called “Model Based Diagnosis Systems”. These systems are very general in scope, covers a wide range of malfunctions uncovering and identifying repair measures. This thesis is an effort to diagnose complex and lengthy static source code. Without executing source code discrepancies can only be identified by finding procedural dependencies.</p><p>With respect to modern programming languages, many software bugs arise due to logical erroneous calculations or miss handling of data structures. Modern Integrated Development Envir

APA, Harvard, Vancouver, ISO, and other styles

3

Haapala, O. (Olli). "Application software development via model based design." Master's thesis, University of Oulu, 2015. http://urn.fi/URN:NBN:fi:oulu-201504021268.

Full text

Abstract:

This thesis was set to study the utilization of the MathWorks’ Simulink® program in model based application software development and its compatibility with the Vacon 100 inverter. The target was to identify all the problems related to everyday usage of this method and create a white paper of how to execute a model based design to create a Vacon 100 compatible system software. Before this thesis was started, there was very little knowledge of the compatibility of this method. However during the practical experiments, it became quite quickly clear that this method is very compatible with the Vac

APA, Harvard, Vancouver, ISO, and other styles

4

Seidl, Christoph. "Evolution in Feature-Oriented Model-Based Software Product Line Engineering." Master's thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-81200.

Full text

Abstract:

Software Product Lines (SPLs) are a successful approach to software reuse in the large. Even though tools exist to create SPLs, their evolution is widely unexplored. Evolving an SPL manually is tedious and error-prone as it is hard to avoid unintended side-effects that may harm the consistency of the SPL. In this thesis, the conceptual basis of a system for the evolution of model-based SPLs is presented, which maintains consistency of models and feature mapping. As basis, a novel classification is introduced that distinguishes evolutions by their potential to harm the mapping of an SPL. Furthe

APA, Harvard, Vancouver, ISO, and other styles

5

Bruneliere, Hugo. "Generic Model-based Approaches for Software Reverse Engineering and Comprehension." Thesis, Nantes, 2018. http://www.theses.fr/2018NANT4040/document.

Full text

Abstract:

De nos jours, les entreprises font souvent face à des problèmes de gestion, maintenance, évolution ou remplacement de leurs systèmes logiciel existants. La Rétro-Ingénierie est la phase requise d’obtention de diverses représentations de ces systèmes pour une meilleure compréhension de leurs buts / états.L’Ingénierie Dirigée par les Modèles (IDM) est un paradigme du Génie Logiciel reposant sur la création, manipulation et utilisation intensive de modèles dans les tâches de conception, développement, déploiement, intégration, maintenance et évolution. La Rétro-Ingénierie Dirigée par les Modèles

APA, Harvard, Vancouver, ISO, and other styles

6

Khan, Muhammad Bilal Ahmad, and Song Shang. "Evaluation of Model Based Testing and Conformiq Qtronic." Thesis, Linköping University, Department of Computer and Information Science, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-28257.

Full text

Abstract:

<p>The<em> Model Based Testing </em>is one of the modern automated testing methodologies used to generate test suits automatically from the abstract behavioral or environmental models of the <em>System Under Test (SUT)</em>. The Generated test cases are abstract like models, but these test cases can also be transformed to the different test scripts or language specific test cases to execute them. The Model based testing can be applied in different ways and it has several dimensions during implementation that can be changes with nature of the SUT. Since model based testing is directly related w

APA, Harvard, Vancouver, ISO, and other styles

7

Pham, Van Cam. "Model-Based Software Engineering : Methodologies for Model-Code Synchronization in Reactive System Development." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS611/document.

Full text

Abstract:

Model-Based Software Engineering (MBSE) a été proposé comme une méthodologie prometteuse de développement de logiciels pour surmonter les limites de la méthodologie traditionnelle basée sur la programmation pour faire face à la complexité des systèmes embarqués. MBSE favorise l’utilisation de langages de modélisation pour décrire les systèmes d’une manière abstraite et fournit des moyens pour générer automatiquement de différents artefacts de développement, p.ex. code et documentation, à partir de modèles. Le développement d’un système complexe implique souvent de multiples intervenants qui ut

APA, Harvard, Vancouver, ISO, and other styles

8

Doma, Eugene. "Model based software engineering using situation theory with applications to business services." Thesis, The University of Sydney, 2016. http://hdl.handle.net/2123/15735.

Full text

Abstract:

Natural language specifications tend to be incomplete, imprecise and mutually inconsistent. Most software development methodologies rely on stakeholder reviews as a feedback mechanism. Generally, stakeholders have business domain expertise, but lack the technical background required to comprehend the detailed, low-level formalisms commonly used. As a result, the specifications for review may either retain much of the informal, natural language aspects and thus lead to incorrect decisions during subsequent analysis and refinement stages, or detailed specifications in a formal notation are prese

APA, Harvard, Vancouver, ISO, and other styles

9

Koch, Oliver, and Jürgen Weber. "Model-Based Systems Engineering in Mobile Applications." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-200676.

Full text

Abstract:

An efficient system development needs reuse, traceability and understanding. Today, specifications are usually written in text documents. Reuse means a copy and paste of suitable specifications. Traceability is the textual note that references to affected requirements. Achieving a full context understanding requires reading hundreds of pages in a variety of documents. Changing one textual requirement in complex systems can be very time-consuming. Model-based systems engineering (MBSE) addresses these issues. There, an integrated system model is used for the design, analysis, communication and

APA, Harvard, Vancouver, ISO, and other styles

10

Kozhakenov, Temirzhan. "MODEL-BASED SIMULATION OF AUTOMOTIVE SOFTWARE SYSTEMS." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48851.

Full text

Abstract:

The car is the most common vehicle in the world. Millions of cars are produced annually. In order for each car to find its buyer, car companies are forced to constantly improve the design of the car. Modern models are emerging, new car systems are being developed and implemented. All this is accompanied by a huge flow of information, in which it is easy to get lost. This master’s work is devoted to the trace analysis and connection of two different files. The paper proposes a developed algorithm of trace analysis for some functions of the vehicle in the C++ programming language. The files that

APA, Harvard, Vancouver, ISO, and other styles

11

Ma, N. "Building a narrative-based requirements engineering mediation model." Thesis, University of Hertfordshire, 2010. http://hdl.handle.net/2299/4517.

Full text

Abstract:

This thesis presents a narrative-based Requirements Engineering (RE) mediation model (NREMM) to help RE practitioners to effectively identify, define, and resolve conflicts of interests, goals, and requirements in the RE process. Conflict has received increasing attention in the Software Engineering (SE) literature. However, in the current RE literature, conflict has received fairly superficial attention. Previous research views conflict as an issue causing "inconsistency" in a requirements specification. As a result, current research has proposed a wide range of inconsistency checki

APA, Harvard, Vancouver, ISO, and other styles

12

Jedlitschka, Andreas. "An empirical model of software managers' information needs for software engineering technology selection a framework to support experimentally-based software engineering technology selection." Stuttgart Fraunhofer-Verl, 2009. http://d-nb.info/99559161X/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Bagnato, Alessandra. "Modeling and verification in model-based software engineering : application to embedded systems." Thesis, Evry, Institut national des télécommunications, 2013. http://www.theses.fr/2013TELE0004.

Full text

Abstract:

Les systèmes embarqués, y compris les dispositifs, l’intergiciel et le logiciel pour la création de sous-systèmes intelligents capables de gérer le contrôle d’appareils électroniques, font de plus en plus partie de nos vies quotidiennes : ils sont intégrés dans des infrastructures de base, (par exemple dans la gestion des routes et des chemins de fer) et sont désormais utilisés en tant que technologies-clés par des millions d'applications logicielles chaque jour. En outre, l'évolution rapide et continue des systèmes embarqués modernes a provoqué de nouveaux défis. Par exemple, la conception de

APA, Harvard, Vancouver, ISO, and other styles

14

Wang, Shuo Yilmaz Levent. "Exploring the integration of model-based formal methods into software design education." Auburn, Ala., 2005. http://repo.lib.auburn.edu/2005%20Fall/Thesis/WANG_SHUO_14.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Quezada, Gomez Juan Manuel. "Model-based guidelines for automotive electronic systems software development." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/100383.

Full text

Abstract:

Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, Engineering Systems Division, System Design and Management Program, 2015.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 96-98).<br>The automobile innovation transformed the human life style ever since its introduction to the public, and for over the last one hundred years incumbent technologies have been adopted to improve its performance characteristics. Yet, we need a holistic approach to understand that automobiles shifted from being a mere assembly of mechanical parts

APA, Harvard, Vancouver, ISO, and other styles

16

Wolf, 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 text

APA, Harvard, Vancouver, ISO, and other styles

17

Filho, João Bosco Ferreira. "Leveraging model-based product lines for systems engineering." Thesis, Rennes 1, 2014. http://www.theses.fr/2014REN1S080/document.

Full text

Abstract:

Actuellement, de nombreuses entreprises ont besoin de construire des versions\variantes légèrement différentes d'un même système. Ces versions partagent des points communs et des différences, le tout pouvant être géré à l'aide d'une approche ligne de produits (SPL). L'objectif principal d'une SPL est d'exploiter la personnalisation de masse, dans laquelle les produits sont réalisés pour répondre aux besoins spécifiques de chaque client. Pour répondre à ce besoin de personnalisation, les systèmes doivent être étendus de manière efficace, ou modifiés, configurés pour être utilisé dans un context

APA, Harvard, Vancouver, ISO, and other styles

18

Grieger, Marvin [Verfasser]. "Model-Driven software modernization : concept-based engineering of situation-specific methods / Marvin Grieger." Paderborn : Universitätsbibliothek, 2016. http://d-nb.info/1104289814/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Freitas, Artur Luiz Silva da Cunha. "Model-driven engineering of multi-agent systems based on ontology." Pontifícia Universidade Católica do Rio Grande do Sul, 2017. http://hdl.handle.net/10923/11737.

Full text

Abstract:

Made available in DSpace on 2018-06-16T12:04:21Z (GMT). No. of bitstreams: 1 000488853-Texto+Completo-0.pdf: 1489846 bytes, checksum: 61623f4503a4a916e72487f33c15e294 (MD5) Previous issue date: 2017<br>Model-driven engineering provides abstractions and notations for improving the understanding and for supporting the modelling, coding, and verification of applications for specific domains. Ontologies, on the other hand, provide formal and explicit definitions of shared conceptualisations and enable the use of semantic reasoning. Although these areas have been developed by different communitie

APA, Harvard, Vancouver, ISO, and other styles

20

Yao, Shaofeng, and Weijun Zhao. "A Model Based Quality-driven Semi-automatic Product Architecture Derivation Approach." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-20461.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Grozev, Nikolay. "A comparison of component-based software engineering and model-driven development from the ProCom perspective." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-12874.

Full text

Abstract:

Component-based software engineering (CBSE) and model-driven development (MDD) are two approaches for handling software development complexity. In essence, while CBSE focuses on the construction of systems from existing software modules called components; MDD promotes the usage of system models which after a series of transformations result with an implementation of the desired system. Even though they are different, MDD and CBSE are not mutually exclusive. However, there has not been any substantial research about what their similarities and differences are and how they can be combined. In th

APA, Harvard, Vancouver, ISO, and other styles

22

Thipphayathetthana, Somwang. "Model-based guidelines for user-centric satellite control software development." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/105320.

Full text

Abstract:

Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, Engineering Systems Division, 2015.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (page 45).<br>Three persistent common problems in satellite ground control software used by satellite controllers are obsolescence, lack of desired features and flexibilities, and endless software bug fixing. The obsolescence problem occurs when computer and ground equipment hardware become obsolete usually after only one third into the satellite mission lifetime. The satellite ground control softw

APA, Harvard, Vancouver, ISO, and other styles

23

Missiuro, Patrycja Ewelina 1976. "MASCoT : a model-based automatic software compensation toolkit for feedback systems." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/16746.

Full text

Abstract:

Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.<br>Includes bibliographical references (leaves 130-133).<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>The process of designing a compensator for a feedback system has no well-defed algorithms that can guarantee success. Experience and innovation are often a designer's best weapons in solving feedback control problems. The only reasonably successful attempt at autom

APA, Harvard, Vancouver, ISO, and other styles

24

de, Siqueira Teles Fabrício. "Towards Model-Driven Engineering Constraint-Based Scheduling Applications." Universidade Federal de Pernambuco, 2008. https://repositorio.ufpe.br/handle/123456789/2348.

Full text

Abstract:

Made available in DSpace on 2014-06-12T15:57:08Z (GMT). No. of bitstreams: 2 arquivo3142_1.pdf: 2136149 bytes, checksum: 9584d05181d7f6e862c757ce418c8701 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008<br>de Siqueira Teles, Fabrício; Pierre Louis Robin, Jacques. Towards Model-Driven Engineering Constraint-Based Scheduling Applications. 2008. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2008.

APA, Harvard, Vancouver, ISO, and other styles

25

Jones, Brian Edward. "A computer graphics based target detection model." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2006. http://library.nps.navy.mil/uhtbin/hyperion/06Sep%5FJones_Brian.pdf.

Full text

Abstract:

Thesis (M.S. in Modeling, Virtual Environments and Simulations)--Naval Postgraduate School, September 2006.<br>Thesis Advisor(s): Christian J. Darken. "September 2006." Includes bibliographical references (p. 85). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

26

Rehesaar, Hugo. "Social, Human and Organizational Factors for Component Reuse Adoption in Software Engineering." Thesis, Griffith University, 2015. http://hdl.handle.net/10072/367146.

Full text

Abstract:

Component reuse is the use of components (e.g. subsystems or single objects) of one application in another application, and individual informal reuse has been common since the first programs were written. However, organization-wide component reuse, also known as Component-based Software Engineering (CBSE), has yet to gain universal acceptance despite the benefits having been recognized since the late 1960s. The initial barriers to its implementation were related to technical incompatibility. Applications were specifically written for a particular computer’s hardware/operating system and its co

APA, Harvard, Vancouver, ISO, and other styles

27

Ciccozzi, Federico. "Toward Preservation of Extra-Functional Properties for Model-Driven Component-Based Software Engineering of Embedded 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-14017.

Full text

Abstract:

Model-driven and component-based software engineering have been widely recognized as promising paradigms for development of a wide range of systems. Moreover, in the embedded real-time domain, their combination is believed to be helpful in handling the ever-increasing complexity of such systems design.However, in order for these paradigms and their combination to definitely break through at an industrial level for development of embedded real-time systems, both functional and extra-functional properties need to be addressed at each level of abstraction. This research focuses on the preservatio

APA, Harvard, Vancouver, ISO, and other styles

28

Yun, Seok Jun. "Productivity prediction model based on Bayesian analysis and productivity console." Texas A&M University, 2003. http://hdl.handle.net/1969.1/2305.

Full text

Abstract:

Software project management is one of the most critical activities in modern software development projects. Without realistic and objective management, the software development process cannot be managed in an effective way. There are three general problems in project management: effort estimation is not accurate, actual status is difficult to understand, and projects are often geographically dispersed. Estimating software development effort is one of the most challenging problems in project management. Various attempts have been made to solve the problem; so far, however, it remains a complex

APA, Harvard, Vancouver, ISO, and other styles

29

Sauer, Stefan Verfasser], Gregor [Akademischer Betreuer] [Engels, and Wilhelm [Akademischer Betreuer] Schäfer. "Systematic development of model-based software engineering methods / Stefan Sauer. Betreuer: Gregor Engels ; Wilhelm Schäfer." Paderborn : Universitätsbibliothek, 2011. http://d-nb.info/1033763020/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Behnke, Matthew J. "An implementation methodology and software tool for an entropy based engineering model for evolving systems." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Jun%5FBehnke.pdf.

Full text

Abstract:

Thesis (M.S. in Software Engineering)--Naval Postgraduate School, June 2003.<br>Thesis advisor(s): Mantak Shing, Christopher D. Miles. Includes bibliographical references (p. 69-70). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

31

Ocampo, Alexis. "The REMIS approach to rationale-based support for process model evolution." Stuttgart Fraunhofer-IRB-Verl, 2008. http://d-nb.info/993138411/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Sentilles, Séverine. "Towards Efficient Component-Based Software Development of Distributed Embedded Systems." Licentiate thesis, Mälardalen University, School of Innovation, Design and Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7368.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Polamreddy, Rakesh Reddy, and Syed Ail Irtaza. "Software Testing : A Comparative Study Model Based Testing VS Test Case Based Testing." Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3498.

Full text

Abstract:

Software testing is considered as one of the key phases in the software-development life cycle (SDLC). The main objective of software testing is to detect the faults either through manual testing or with automated testing approach. The most commonly adopted software testing approach in industries is test case based testing (TCBT) which is usually done manually. TCBT is mainly used by the software testers to formalize and guide their testing activities and set theoretical principals for testing. On the other hand, model based testing (MBT) is widely used automation software testing technique to

APA, Harvard, Vancouver, ISO, and other styles

34

Nilsson, Peter, and Erik Ohlsson. "Categorisation and formulation in risk management : Essential parts of a future Experience based Risk Management model within software engineering." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik och datavetenskap, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-1727.

Full text

Abstract:

This software engineering thesis addresses three main issues. When creating the risk documents for this master thesis project, we became even more aware of the problems with categorization and formulation of risk statements and the scope is now focusing on categorization and formulation as a necessity for Experience based Risk Management (EbRM). The EbRM process is the foundation of the thesis and the categorisation and formulation parts had to be solved before implementing the EbRM model. To give the reader a notion about the background of this work, a brief introduction to the Experience bas

APA, Harvard, Vancouver, ISO, and other styles

35

Suli, Sidorela. "An Evaluation of Model-Based Testing for an Industrial Train Control Software." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-39936.

Full text

Abstract:

Currently, the increasing complexity of software and the short release cycles are becoming a challenge for testing software in an eﬃcient and eﬀective way. Traditionally, creating tests is done manually by engineers, which are then automatically or manually executed on the actual software. Manually creating test cases is a time-consuming eﬀort. For the last couple of decades, researchers have proposed ways to improve this process by automating parts of the testing steps. One of these approaches that have gained a lot of attention is called Model-Based Testing (MBT). MBT has been suggested as a

APA, Harvard, Vancouver, ISO, and other styles

36

Hays, Mark A. "A Fault-Based Model of Fault Localization Techniques." UKnowledge, 2014. http://uknowledge.uky.edu/cs_etds/21.

Full text

Abstract:

Every day, ordinary people depend on software working properly. We take it for granted; from banking software, to railroad switching software, to flight control software, to software that controls medical devices such as pacemakers or even gas pumps, our lives are touched by software that we expect to work. It is well known that the main technique/activity used to ensure the quality of software is testing. Often it is the only quality assurance activity undertaken, making it that much more important. In a typical experiment studying these techniques, a researcher will intentionally seed a faul

APA, Harvard, Vancouver, ISO, and other styles

37

Robinson-Mallett, Christopher. "Modellbasierte Modulprüfung für die Entwicklung technischer, softwareintensiver Systeme mit Real-Time Object-Oriented Modeling." Phd thesis, Universität Potsdam, 2005. http://opus.kobv.de/ubp/volltexte/2005/604/.

Full text

Abstract:

Mit zunehmender Komplexität technischer Softwaresysteme ist die Nachfrage an produktiveren Methoden und Werkzeugen auch im sicherheitskritischen Umfeld gewachsen. Da insbesondere objektorientierte und modellbasierte Ansätze und Methoden ausgezeichnete Eigenschaften zur Entwicklung großer und komplexer Systeme besitzen, ist zu erwarten, dass diese in naher Zukunft selbst bis in sicherheitskritische Bereiche der Softwareentwicklung vordringen. Mit der Unified Modeling Language Real-Time (UML-RT) wird eine Softwareentwicklungsmethode für technische Systeme durch die Object Management Group (OMG)

APA, Harvard, Vancouver, ISO, and other styles

38

Chrszon, Philipp, Clemens Dubslaff, Sascha Klüppelholz, and Christel Baier. "ProFeat: Feature-oriented engineering for family-based probabilistic model checking." Springer, 2017. https://tud.qucosa.de/id/qucosa%3A70792.

Full text

Abstract:

The concept of features provides an elegant way to specify families of systems. Given a base system, features encapsulate additional functionalities that can be activated or deactivated to enhance or restrict the base system’s behaviors. Features can also facilitate the analysis of families of systems by exploiting commonalities of the family members and performing an all-in-one analysis, where all systems of the family are analyzed at once on a single family model instead of one-by-one. Most prominent, the concept of features has been successfully applied to describe and analyze (software) pr

APA, Harvard, Vancouver, ISO, and other styles

39

Adolfsson, Fredrik. "A Model-Based Approach to Hands Overlay for Augmented Reality." Thesis, Linköpings universitet, Programvara och system, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-175190.

Full text

Abstract:

Augmented Reality is a technology where the user sees the environment mixed with a virtual reality containing things such as text, animations, pictures, and videos. Remote guidance is a sub-field of Augmented Reality where guidance is given remotely to identify and solve problems without being there in person. Using hands overlay, the guide can use his or her hand to point and show gestures in real-time. To do this one needs to track the hands and create a video stream that represents them. The video stream of the hands is then overlaid on top of the video from the individual getting help. A s

APA, Harvard, Vancouver, ISO, and other styles

40

Parlanti, Joe, and Ronnie Pinkerton. "A GUI BASED SYSTEM FOR AUTOMATIC CONSTRUCTION OF ENGINEERING MODEL SOFTWARE FOR COMMAND RESPONSE AND TELEMETRY GENERATION." International Foundation for Telemetering, 1991. http://hdl.handle.net/10150/613148.

Full text

Abstract:

International Telemetering Conference Proceedings / November 04-07, 1991 / Riviera Hotel and Convention Center, Las Vegas, Nevada<br>There exists today, numerous off-the-shelf hardware solutions for the generation of simulated telemetry data streams. The ability to rapidly develop engineering models to drive the data contents of the telemetry is restricted by the lack of contemporary CASE tools. This paper presents an object-oriented Graphical User Interface (GUI) approach to generation of mathematical models in order to reduce the time required for model generation to a fraction of today’s de

APA, Harvard, Vancouver, ISO, and other styles

41

Dahlström, Matilda. "Traceability in the Software Industry : A Case Study in Introducing Traceability in a Model-Based Testing Process." Thesis, Linköpings universitet, Programvara och system, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-179403.

Full text

Abstract:

Traceability in the software industry is a topic which has been studied for a long time, but there still remain questions to be answered. This thesis looks into the state of software traceability in the software industry is today. It is also a case study in implementing traceability in a model-based testing process at a large automotive company. The thesis finds that while progress has been made in identifying the important aspects of traceability, there does not yet exist a clear consensus on general traceability models which can be used to implement traceability in an arbitrary company or pr

APA, Harvard, Vancouver, ISO, and other styles

42

Minich, Matthias Ernst. "Industrialising software development in systems integration." Thesis, University of Plymouth, 2013. http://hdl.handle.net/10026.1/2772.

Full text

Abstract:

Compared to other disciplines, software engineering as of today is still dependent on craftsmanship of highly-skilled workers. However, with constantly increasing complexity and efforts, existing software engineering approaches appear more and more inefficient. A paradigm shift towards industrial production methods seems inevitable. Recent advances in academia and practice have lead to the availability of industrial key principles in software development as well. Specialization is represented in software product lines, standardization and systematic reuse are available with component-based dev

APA, Harvard, Vancouver, ISO, and other styles

43

Sadowska, Małgorzata. "Quality of business models expressed in BPMN." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3244.

Full text

Abstract:

Context. The quality of business process models is important in the area of model-based software development. The overall goal of this study was to develop and evaluate a model for assessing the quality of models (Process Diagrams) in Business Process Model and Notation (BPMN). The model was an instantiation of the developed metamodel that adopt ISO/IEC 1926. Objectives. The objectives of the thesis were to propose, implement and evaluate a model for quality assessment of business process models in BPMN. The model was intended to help practitioners to check the quality of their BPMN models and

APA, Harvard, Vancouver, ISO, and other styles

44

Fält, Markus. "Concurrency model for the Majo language : An analysis of graph based concurrency." Thesis, Mittuniversitetet, Avdelningen för informationssystem och -teknologi, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-34050.

Full text

Abstract:

Today most computers have powerful multi core processors that can perform many calculations simultaneously. However writing programs that take full advan- tage of the processors in modern day computers can be a challenge. This is due to the challenge of managing shared resources between parallel processing threads. This report documents the development of the Majo language that aims to solve these problems by using abstractions to make parallel programming easier. The model for the abstractions is dividing the program in to what is called nodes. One node represents one thread of execution and

APA, Harvard, Vancouver, ISO, and other styles

45

Ji, Katrina Yun. "ADAP: A component-based model using design patterns with applications in E-Commerce." CSUSB ScholarWorks, 2000. https://scholarworks.lib.csusb.edu/etd-project/1694.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Sjöberg, Alexander. "Real-time implementation of PMSM software model on external hardware." Thesis, KTH, Elkraftteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-214394.

Full text

Abstract:

When developing three phase motor drives, the best way to validate the desiredfunctionality is to connect the inverter to an actual electrical motor. However, when developingfunctions which are not directly involved in controlling the motor, it could bemore efficient to use a real-time software model of the motor. In this master thesis, the developmentand implementation of a software model of a permanent magnet synchronousmotor (PMSM) is presented. This model was based on general dynamic equations forPMSM in a rotating reference frame (dq-frame). The model was simulated and convertedto C code

APA, Harvard, Vancouver, ISO, and other styles

47

Andersson, Jonny. "Automatic test vector generation and coverage analysis in model-based software development." Thesis, Linköping University, Department of Electrical Engineering, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5204.

Full text

Abstract:

<p>Thorough testing of software is necessary to assure the quality of a product before it is released. The testing process requires substantial resources in software development. Model-based software development provides new possibilities to automate parts of the testing process. By automating tests, valuable time can be saved. This thesis focuses on different ways to utilize models for automatic generation of test vectors and how test coverage analysis can be used to assure the quality of a test suite or to find "dead code" in a model. Different test-automation techniques have been investigat

APA, Harvard, Vancouver, ISO, and other styles

48

Abdeen, Waleed, and Xingru Chen. "Model-Based Testing for Performance Requirements : A Systematic Mapping Study and A Sample Study." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-18778.

Full text

Abstract:

Model-Based Testing is a method that supports automated test design by using amodel. Although it is adopted in industrial, it is still an open area within performancerequirements. We aim to look into MBT for performance requirements and find out aframework that can model the performance requirements. We conducted a systematicmapping study, after that we conducted a sample study on software requirementsspecifications, then we introduced the Performance Requirements Verification andValidation (PRVV) model and finally, we completed another sample study to seehow the model works in practice. We fo

APA, Harvard, Vancouver, ISO, and other styles

49

Echeverría, Ochoa Jorge. "Analysis and Improvement of a Software Production Process based on the Combination of Model Driven Development and Software Product Lines." Doctoral thesis, Universitat Politècnica de València, 2018. http://hdl.handle.net/10251/107734.

Full text

Abstract:

La reutilización es un factor clave para reducir los costos y mejorar la calidad de las propiedades de productos software como la seguridad, fiabilidad o rendimiento. Siguiendo este factor surge la aproximación para el desarrollo de software de Líneas de Productos Software; esta aproximación promete, entre otras cosas, acortar el tiempo del desarrollo de los sistemas software y reducir significativamente los costes de desarrollo y mantenimiento. Por otro lado, el Desarrollo Dirigido por Modelos es un enfoque para el desarrollo de software que propone el uso de modelos en varios niveles de abst

APA, Harvard, Vancouver, ISO, and other styles

50

OURIQUES, João Felipe Silva. "Investigation of Test Case Prioritization for Model-Based Testing." Universidade Federal de Campina Grande, 2017. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1674.

Full text

Abstract:

Submitted by Emanuel Varela Cardoso (emanuel.varela@ufcg.edu.br) on 2018-09-10T23:01:21Z No. of bitstreams: 1 JOÃO FELIPE SILVA OURIQUES – TESE (PPGCC) 2017.pdf: 1146873 bytes, checksum: ad9b0dc8f44c3aa49b2d3201dca79589 (MD5)<br>Made available in DSpace on 2018-09-10T23:01:21Z (GMT). No. of bitstreams: 1 JOÃO FELIPE SILVA OURIQUES – TESE (PPGCC) 2017.pdf: 1146873 bytes, checksum: ad9b0dc8f44c3aa49b2d3201dca79589 (MD5) Previous issue date: 2017-12-12<br>CNPq<br>Teste de Software é uma tarefa cara dentre as de Verificação de Validação. No entanto, ainda é a mais utilizada para medir a qualida

APA, Harvard, Vancouver, ISO, and other styles

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!