Academic literature on the topic 'Modellbasiert'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Modellbasiert.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Modellbasiert"
Bender, Sara, and Christian Stoy. "Prozesslücken modellbasierter Baukostenermittlung aus ausgewählter Akteurskonstellation/Process gaps of model-based construction cost estimation from selected constellation of actors." Bauingenieur 96, no. 03 (2021): 70–78. http://dx.doi.org/10.37544/0005-6650-2021-03-38.
Full textSumfleth, Elke, and Simone Nakoinz. "Chemie verstehen – beobachtbare makroskopische Phänomene auf submikroskopischer Ebene modellbasiert interpretieren." Zeitschrift für Didaktik der Naturwissenschaften 25, no. 1 (August 8, 2019): 231–43. http://dx.doi.org/10.1007/s40573-019-00101-x.
Full textMeixner, Gerrit, and Robbie Schäfer. "Modellbasierte Entwicklung von Benutzungsschnittstellen mit UIMLModel-Based Development of User Interfaces with UIML." i-com 8, no. 1 (February 2009): 60–67. http://dx.doi.org/10.1524/icom.2009.0010.
Full textPetrasch, Roland. "Modellbasiertes User Interface Design und HCI Patterns: Eine Symbiose." i-com 9, no. 2 (September 2010): 47–52. http://dx.doi.org/10.1524/icom.2010.0023.
Full textBöhm, Markus, Klaus Erlach, and Thomas Bauernhansl. "Maschinelles Lernen zur Prognose von Auftragskennzahlen/Machine learning for the forecasting of key figures of customer orders." wt Werkstattstechnik online 111, no. 03 (2021): 124–29. http://dx.doi.org/10.37544/1436-4980-2021-03-32.
Full textHarmse, Michael, and Rainer Dittmar. "Robuste Einstellung dezentraler PID-Regler in einer Mehrgrößenumgebung Modellbasiert und praxisnah zum optimalen Ergebnis." atp edition - Automatisierungstechnische Praxis 51, no. 12 (December 1, 2009): 68. http://dx.doi.org/10.17560/atp.v51i12.118.
Full textZeller, Andreas, Nasser Jazdi, and Michael Weyrich. "Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition." at - Automatisierungstechnik 66, no. 6 (June 1, 2018): 456–70. http://dx.doi.org/10.1515/auto-2017-0069.
Full textVogel-Heuser, Birgit, Cesare Fantuzzi, Manuel Wimmer, Markus Böhm, and Alexander Fay. "Herausforderungen in der interdisziplinären Entwicklung von Cyber-Physischen Produktionssystemen." at - Automatisierungstechnik 67, no. 6 (June 26, 2019): 445–54. http://dx.doi.org/10.1515/auto-2018-0144.
Full textStursberg, Matthias, Tim Grunert, and Christoph Löhr. "Modellbasierte Funktionsentwicklung von Gasheizungen." atp magazin 61, no. 8 (August 7, 2019): 88–95. http://dx.doi.org/10.17560/atp.v61i8.2407.
Full textLange, S., and K. Tyryshkina. "Die modellbasierte Materialbestellung in einem Generalunternehmen – Entwicklung eines teilautomatisierten Bestellprozesses für den Rohbau." Bauingenieur 93, no. 11 (2018): 447–53. http://dx.doi.org/10.37544/0005-6650-2018-11-65.
Full textDissertations / Theses on the topic "Modellbasiert"
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 textDer Modultest dient als erste Qualititätssicherungsphase nach der Implementierung der Fehlerfindung und dem Qualitätsnachweis für jede separat prüfbare Softwarekomponente eines Systems. Während dieser Phase stellt die Durchführung von systematischen Tests die wichtigste Qualitätssicherungsmaßnahme dar. Während zum jetzigen Zeitpunkt zwar ausgereifte Methoden und Werkzeuge für die modellbasierte Softwareentwicklung zur Verfügung stehen, existieren nur wenig überzeugende Lösungen für eine systematische modellbasierte Modulprüfung.
Die durchgängige Verwendung ausführbarer Modelle und Codegenerierung stellen wesentliche Konzepte der modellbasierten Softwareentwicklung dar. Sie dienen der konstruktiven Fehlerreduktion durch Automatisierung ansonsten fehlerträchtiger, manueller Vorgänge. Im Rahmen einer modellbasierten Qualitätssicherung sollten diese Konzepte konsequenterweise in die späteren Qualitätssicherungsphasen transportiert werden. Daher ist eine wesentliche Forderung an ein Verfahren zur modellbasierten Modulprüfung ein möglichst hoher Grad an Automatisierung.
In aktuellen Entwicklungen hat sich für die Generierung von Testfällen auf Basis von Zustandsautomaten die Verwendung von Model Checking als effiziente und an die vielfältigsten Testprobleme anpassbare Methode bewährt. Der Ansatz des Model Checking stammt ursprünglich aus dem Entwurf von Kommunikationsprotokollen und wurde bereits erfolgreich auf verschiedene Probleme der Modellierung technischer Software angewendet. Insbesondere in der Gegenwart ausführbarer, automatenbasierter Modelle erscheint die Verwendung von Model Checking sinnvoll, das die Existenz einer formalen, zustandsbasierten Spezifikation voraussetzt. Ein ausführbares, zustandsbasiertes Modell erfüllt diese Anforderungen in der Regel. Aus diesen Gründen ist die Wahl eines Model Checking Ansatzes für die Generierung von Testfällen im Rahmen eines modellbasierten Modultestverfahrens eine logische Konsequenz.
Obwohl in der aktuellen Spezifikation der UML-RT keine eindeutigen Aussagen über den zur Verhaltensbeschreibung zu verwendenden Formalismus gemacht werden, ist es wahrscheinlich, dass es sich bei der UML-RT um eine zu Real-Time Object-Oriented Modeling (ROOM) kompatible Methode handelt. Alle in dieser Arbeit präsentierten Methoden und Ergebnisse sind somit auf die kommende UML-RT übertragbar und von sehr aktueller Bedeutung.
Aus den genannten Gründen verfolgt diese Arbeit das Ziel, die analytische Qualitätssicherung in der modellbasierten Softwareentwicklung mittels einer modellbasierten Methode für den Modultest zu verbessern. Zu diesem Zweck wird eine neuartige Testmethode präsentiert, die auf automatenbasierten Verhaltensmodellen und CTL Model Checking basiert. Die Testfallgenerierung kann weitgehend automatisch erfolgen, um Fehler durch menschlichen Einfluss auszuschließen. Das entwickelte Modultestverfahren ist in die technischen Konzepte Model Driven Architecture und ROOM, beziehungsweise UML-RT, sowie in die organisatorischen Konzepte eines qualitätsorientierten Prozessmodells, beispielsweise das V-Modell, integrierbar.
In consequence to the increasing complexity of technical software-systems the demand on highly productive methods and tools is increasing even in the field of safety-critical systems. In particular, object-oriented and model-based approaches to software-development provide excellent abilities to develop large and highly complex systems. Therefore, it can be expected that in the near future these methods will find application even in the safety-critical area. The Unified Modeling Language Real-Time (UML-RT) is a software-development methods for technical systems, which is propagated by the Object Management Group (OMG). For the practical application of this method in the field of technical and safety-critical systems it has to provide certain technical qualities, e.g. applicability of temporal analyses. Furthermore, it needs to be integrated into the existing quality assurance process. An important aspect of the integration of UML-RT in an quality-oriented process model, e.g. the V-Model, represents the availability of sophisticated concepts and methods for systematic unit-testing.
Unit-testing is the first quality assurance phase after implementation to reveal faults and to approve the quality of each independently testable software component. During this phase the systematic execution of test-cases is the most important quality assurance task. Despite the fact, that today many sophisticated, commercial methods and tools for model-based software-development are available, no convincing solutions exist for systematic model-based unit-testing.
The use of executable models and automatic code generation are important concepts of model-based software development, which enable the constructive reduction of faults through automation of error-prone tasks. Consequently, these concepts should be transferred into the testing phases by a model-based quality assurance approach. Therefore, a major requirement of a model-based unit-testing method is a high degree of automation. In the best case, this should result in fully automatic test-case generation.
Model checking already has been approved an efficient and flexible method for the automated generation of test-cases from specifications in the form of finite state-machines. The model checking approach has been developed for the verification of communication protocols and it was applied successfully to a wide range of problems in the field of technical software modelling. The application of model checking demands a formal, state-based representation of the system. Therefore, the use of model checking for the generation of test-cases is a beneficial approach to improve the quality in a model-based software development with executable, state-based models.
Although, in its current state the specification of UML-RT provides only little information on the semantics of the formalism that has to be used to specify a component’s behaviour, it can be assumed that it will be compatible to Real-Time Object-Oriented Modeling. Therefore, all presented methods and results in this dissertation are transferable to UML-RT.
For these reasons, this dissertations aims at the improvement of the analytical quality assurance in a model-based software development process. To achieve this goal, a new model-based approach to automated unit-testing on the basis of state-based behavioural models and CTL Model Checking is presented. The presented method for test-case generation can be automated to avoid faults due to error-prone human activities. Furthermore it can be integrated into the technical concepts of the Model Driven Architecture and ROOM, respectively UML-RT, and into a quality-oriented process model, like the V-Model.
Göbel, Steffen. "Ein modellbasierter Ansatz für adaptierbare und selbstadaptive Komponenten." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2006. http://nbn-resolving.de/urn:nbn:de:swb:14-1166089614756-09360.
Full textKratzke, Nane. "Modellbasierte Analyse interorganisationaler Wissensflüsse." Berlin Gito, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2898641&prov=M&dok_var=1&dok_ext=htm.
Full textKratzke, Nane. "Modellbasierte Analyse interorganisationaler Wissensflüsse /." Berlin : Gito-Verl, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2898641&prov=M&dok_var=1&dok_ext=htm.
Full textGrossklaus, Armin. "Ablauforientierte Produktionslogistik : eine modellbasierte Analyse /." Wiesbaden : Wiesbaden : Dt. Univ.-Verl. ; Gabler, 1996. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=007232123&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
Full textBiegert, Uwe. "Ganzheitliche modellbasierte Sicherheitsanalyse von Prozessautomatisierungssystemen." Aachen : Shaker, 2003. http://deposit.d-nb.de/cgi-bin/dokserv?idn=968953476.
Full textLinder, Arne. "Modellbasierte Prädiktivregelung in der Antriebstechnik." Berlin Logos-Verl, 2005. http://deposit.ddb.de/cgi-bin/dokserv?id=2780255&prov=M&dok_var=1&dok_ext=htm.
Full textUeltschi, Andreas. "Effiziente modellbasierte Objekterkennung in Tiefenbildern /." [S.l.] : [s.n.], 1994. http://www.ub.unibe.ch/content/bibliotheken_sammlungen/sondersammlungen/dissen_bestellformular/index_ger.html.
Full textHähnel, Michael. "Modellbasierte posen- und mimikinvariante Gesichtserkennung." München Verl. Dr. Hut, 2007. http://d-nb.info/988229161/04.
Full textRoberts, Kathrin. "Modellbasierte Herzbewegungsschätzung für robotergestützte Interventionen." Karlsruhe Univ.-Verl. Karlsruhe, 2009. http://d-nb.info/99440865X/04.
Full textBooks on the topic "Modellbasiert"
Strotmann, Henriette. AVA – modellbasiert mit iTWO. Wiesbaden: Springer Fachmedien Wiesbaden, 2018. http://dx.doi.org/10.1007/978-3-658-23289-4.
Full textEigner, Martin, Daniil Roubanov, and Radoslav Zafirov, eds. Modellbasierte virtuelle Produktentwicklung. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-43816-9.
Full textAlbers, Stefan. Modellbasiertes Prototyping. Wiesbaden: Deutscher Universitätsverlag, 1995. http://dx.doi.org/10.1007/978-3-663-12473-3.
Full textMenzel, Wolfgang. Modellbasierte Fehlerdiagnose in Sprachlehrsystemen. Tübingen: Niemeyer, 1992.
Find full textKlockhaus, Eckhard, and Hans-Jürgen Scheruhn, eds. Modellbasierte Einführung betrieblicher Anwendungssysteme. Wiesbaden: Deutscher Universitätsverlag, 1997. http://dx.doi.org/10.1007/978-3-663-05984-4.
Full textSchlei-Peters, Ina. Modellbasierte Investitionsplanung produktionsbezogener Umweltschutzmaßnahmen. Wiesbaden: Springer Fachmedien Wiesbaden, 2019. http://dx.doi.org/10.1007/978-3-658-26354-6.
Full textVölkner, Peer. Modellbasierte Planung von Geschäftsprozeßabläufen. Wiesbaden: Gabler Verlag, 1998. http://dx.doi.org/10.1007/978-3-322-89169-3.
Full textAlt, Oliver. Modellbasierte Systementwicklung mit SysML. München: Carl Hanser Verlag GmbH & Co. KG, 2012. http://dx.doi.org/10.3139/9783446431270.
Full textRoberts, Kathrin. Modellbasierte Herzbewegungsschätzung für robotergestützte Interventionen. Karlsruhe: Univ.-Verl. Karlsruhe, 2009.
Find full textEigner, Martin, Walter Koch, and Christian Muggeo, eds. Modellbasierter Entwicklungsprozess cybertronischer Systeme. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-55124-0.
Full textBook chapters on the topic "Modellbasiert"
Andresen, Judith. "Modellbasiert Beobachtungen interpretieren." In Agiles Coaching, 251–344. München: Carl Hanser Verlag GmbH & Co. KG, 2019. http://dx.doi.org/10.3139/9783446462755.011.
Full textAndresen, Judith. "Modellbasiert Beobachtungen interpretieren." In Agiles Coaching, 203–94. München: Carl Hanser Verlag GmbH & Co. KG, 2017. http://dx.doi.org/10.3139/9783446452640.011.
Full textStrotmann, Henriette. "Modellbasierte Mengenermittlung." In AVA – modellbasiert mit iTWO, 75–101. Wiesbaden: Springer Fachmedien Wiesbaden, 2018. http://dx.doi.org/10.1007/978-3-658-23289-4_10.
Full textStrotmann, Henriette. "Einführung." In AVA – modellbasiert mit iTWO, 1. Wiesbaden: Springer Fachmedien Wiesbaden, 2018. http://dx.doi.org/10.1007/978-3-658-23289-4_1.
Full textStrotmann, Henriette. "LV aktualisieren." In AVA – modellbasiert mit iTWO, 103–16. Wiesbaden: Springer Fachmedien Wiesbaden, 2018. http://dx.doi.org/10.1007/978-3-658-23289-4_11.
Full textStrotmann, Henriette. "Kollisionsprüfung." In AVA – modellbasiert mit iTWO, 117–29. Wiesbaden: Springer Fachmedien Wiesbaden, 2018. http://dx.doi.org/10.1007/978-3-658-23289-4_12.
Full textStrotmann, Henriette. "Erstellen eines Vorgangmodells." In AVA – modellbasiert mit iTWO, 131–65. Wiesbaden: Springer Fachmedien Wiesbaden, 2018. http://dx.doi.org/10.1007/978-3-658-23289-4_13.
Full textStrotmann, Henriette. "Attribuierung in Revit." In AVA – modellbasiert mit iTWO, 167–213. Wiesbaden: Springer Fachmedien Wiesbaden, 2018. http://dx.doi.org/10.1007/978-3-658-23289-4_14.
Full textStrotmann, Henriette. "Preisdatenbank." In AVA – modellbasiert mit iTWO, 215–24. Wiesbaden: Springer Fachmedien Wiesbaden, 2018. http://dx.doi.org/10.1007/978-3-658-23289-4_15.
Full textStrotmann, Henriette. "Vorbereitung." In AVA – modellbasiert mit iTWO, 3–15. Wiesbaden: Springer Fachmedien Wiesbaden, 2018. http://dx.doi.org/10.1007/978-3-658-23289-4_2.
Full textConference papers on the topic "Modellbasiert"
Dambietz, Florian M., and Dieter Krause. "Simulation modularer Produktarchitekturen durch modellbasierte Konfiguration." In Entwerfen Entwickeln Erleben - EEE2021. Prof. Dr.-Ing. habil Ralph H. Stelzer, Prof. Dr.-Ing. Jens Krzywinski, 2021. http://dx.doi.org/10.25368/2021.43.
Full textEmir Gadzo, Jan Mehlstäubl. "Modellbasierte Umsetzung des Anforderungsmanagements zur Unterstützung der Entwicklung eines Experimentalsatelliten." In Proceedings of the 32nd Symposium Design for X. The Design Society, 2021. http://dx.doi.org/10.35199/dfx2021.21.
Full textMarkus C. Berschik, Fabian Laukotka. "Ansatz eines holistischen Datenstamms zur modellbasierten, domänenübergreifenden Nutzung in der Produktentstehung." In Proceedings of the 32nd Symposium Design for X. The Design Society, 2021. http://dx.doi.org/10.35199/dfx2021.19.
Full textKönig, B., H. Kühl, N. Guberina, and W. Zylka. "Eignet sich die statistische modellbasierte iterative Rekonstruktion mit low-dose Protokollen der Computertomografie für Lungenkrebs-Screening? Erste Ergebnisse einer Phantomstudie." In 101. Deutscher Röntgenkongress und 9. Gemeinsamer Kongress der DRG und ÖRG. © Georg Thieme Verlag KG, 2020. http://dx.doi.org/10.1055/s-0040-1703452.
Full textJurdeczka, U. "P3.3 Modellbasierte Analyse von Stahlbau-Strukturen, am Beispiel Maßprüfung und Vollständigkeitsprüfung an Schienenfahrzeug-Wagenkästen mittels 3D-Scan und Software-Algorithmus." In 20. GMA/ITG-Fachtagung Sensoren und Messsysteme 2019. AMA Service GmbH, Von-Münchhausen-Str. 49, 31515 Wunstorf, 2019. http://dx.doi.org/10.5162/sensoren2019/p3.3.
Full text