Synonyme wurden verwendet für: formale Spezifikation
Suche ohne Synonyme: keywords:(formale Spezifikation)

1–50 von 144 Ergebnissen
|

    SmartAgriFood machine breakdown service

    Pickel, Peter / Hüther, Nicole / Flörchinger, Thomas | Tema Archiv | 2013
    Schlagwörter: formale Spezifikation

    Standardizing model-based in-vehicle infotainment development in the german automotive industry

    Hess, Steffen / Gross, Anne / Maier, Andreas et al. | Tema Archiv | 2012
    Schlagwörter: formale Spezifikation

    Model-based testing of automotive HMIs with consideration for product variability

    Duan, Linshu | Tema Archiv | 2012
    Schlagwörter: formale Spezifikation , testorientierte Spezifikation

    Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring

    Alves, M.C.Bergue / Drusinsky, D. / Michael, J.B. et al. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation , formale Verifikation , formale Validierung

    A Guidance Framework for the Generation of Implementation Models in the Automotive Domain

    Wozniak, E. / Mraidha, C. / Gerard, S. et al. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation

    Modelling and Verification of the System Requirement Specification of Train Control System Using SDL

    Yuan, L. / Tang, T. / Li, K. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation , formale Verifikation

    Utilizing Event-B for domain engineering: a critical analysis

    Mashkoor, Atif / Jacquot, Jean-Pierre | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation , formale Sprache

    Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption

    Hamza, H. / Counsell, S. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation

    An approach to formal verification of free-flight separation

    Eder, S. / Smith, G. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Verifikation

    Rapid specification of hardware-in-the-loop test systems in the automotive domain based on the electric/electronic architecture description of, vehicles

    Hillenbrand, M. / Heinz, M. / Mueller-Glaser, K.D. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Reuse of Requirements Reduces Time to Market

    Goldin, L. / Matalon-Beck, M. / Lapid-Maoz, J. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems

    Gamatie, Abdoulaye / Gautier, Thierry | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Modular interpretation of heterogeneous modeling diagrams into synchronous equations using static single assignment

    Talpin, J. / Ouy, J. / Gautier, T. et al. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Verifikation

    Ein Ingenieur-gerechtes formales Beschreibungsmittel

    Yuen Man Hon / Gayen, Jan-Tecker | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Methode

    A Generic Model for the Specification of Software Interface Requirements and Measurement of Their Functional Size

    Al-Sarayreh, Khalid T. / Abran, Alain | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Requirements-based conformance testing of ARINC 653 real-time operating systems

    Maksimov, Andrey | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Verifikation

    MODSARE-V: validation of dependability and safety critical software components with model based requirements

    Maia Mozart Silveira, Daniel Tomas de / Schoofs, Tobias / Alana Salazar, Elena et al. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Evaluating a control system architecture based on a formally derived AOCS model

    Ilic, Dubravka / Latvala, Timo / Varpaaniemi, Kimmo et al. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

    Trachtenherz, David | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Deadlock control software for tow automated guided vehicles using Petri Nets

    Rovetto, Carlos / Cano, Elia / Colom, Jose-Manuel | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Preparing the next generation of IMA: a new technology for the SCARLETT program

    Fuchsen, R. | Tema Archiv | 2009
    Schlagwörter: formale Spezifikation

    Automatic instantiation of abstract tests on specific configurations for large critical control systems

    Flammini, F. / Mazzocca, N. / Orazzo, A. | Tema Archiv | 2009
    Schlagwörter: formale Spezifikation

    A new approach for gateway-based automotive network architectures

    Limam, Mourad | Tema Archiv | 2009
    Schlagwörter: formale Spezifikation

    CDL: a language for specifying high-level cross-domain security policies

    Thomas, R. / Tsang, S. | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation , formale Verifikation

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung

    Nowotka, Dirk | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation , formale Sprache

    Computing worst-case response times in real-time avionics applications

    Rangarajan, Murali / Cofer, Darren | Tema Archiv | 2008
    Schlagwörter: formale Verifikation , formale Spezifikation

    The components data flow machine: An intermediate modeling format to support the design of automobiles E/E

    Kebemou, Augustin / Schieferdecker, Ina | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Security requirements engineering in the automotive domain: On specification procedures and implementational aspects

    Wolf, Marko / Paar, Christof | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Formal modeling and verification of real-time concurrent systems

    Yan, Fei / Tang, Tao | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation , formale Verifikation

    Automated translation of safety critical application software specifications into PLC ladder logic

    Leucht, K.W. / Semmel, G.S. | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug

    Urbas, Leon / Leuchter, Sandro / Schaft, Torsten et al. | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Formalized conceptualization for the harmonization of the legal framework in railway transportation

    Schnieder, Eckehard | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    An approach for formal modelling of concepts of transportation and metrology standards

    Hänsel, Frank / Zhou, Yong / Poliak, Jan et al. | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Increasing UAV capabilities through autopilot and flight plan abstraction

    Santamaria, E. / Royo, P. / Lopez, J. et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    Aspects of formalisation in requirements engineering

    Schulz, Hans-Martin | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Basic requirements for the use of formal tools in safety procedures of the railway systems

    Barbu, George | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Software assurance with SAMATE reference dataset, tool standards, and studies

    Black, P.E. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Lessons Learned beim Übergang von Funktionsmodellierung mit Verhaltensmodellen zu modellbasierter Software-Entwicklung mit Implementierungsmodellen

    Fey, Ines / Kleinwechter, Henning / Leicher, Andreas et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration

    Fortes da Cruz, Marcelin / Raistrick, Paul | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Experimentation de contextes de preuve et d'observateurs temporises pour la validation d'un protocole avionique

    Dhaussy, Philippe / Roger, Jean-Charles / Bonnin, Hugues et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation , formale Überprüfung

    Protokoll SIMPLE

    Pietsch, Tommy | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Runtime adaptation in safety-critical automotive systems

    Trapp, Mario / Adler, Rasmus / Förster, Marc et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Projet B-RAIL: utilisation de la notation UML et du langage B pour la modelisation d'un passage a niveau

    Boulanger, Jean-Louis | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    VMF - Funktion und Technologie

    Krüger, Stefan | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Model driven development and code generation: An automotive case study

    Banci, Michele / Fantechi, Alessandro / Gnesi, Stefania et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation , formale Verifikation

    Modellierung und Analyse von Zeitanforderungen basierend auf der UML

    Hagner, Mattias / Huhn, Michaela | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Pragmatische Modellierung von Testfällen für Software im Automobil

    Mann, Zoltan Adam | Tema Archiv | 2006
    Schlagwörter: formale Spezifikation

    Model-based testing of a reactive system with coloured Petri Nets

    Tjell, Simon | Tema Archiv | 2006
    Schlagwörter: formale Spezifikation

    Echo: a practical approach to formal verification

    Strunk, Elisabeth A. / Yin, Xiang / Knight, John C. | Tema Archiv | 2005
    Schlagwörter: formale Überprüfung , formale Spezifikation