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

1–50 von 109 Ergebnissen
|

    CaVa DSL : Virtual learning spaces formal specification

    Freier Zugriff
    Martini, Ricardo Giuliani / Henriques, Pedro Rangel | BASE | 2018
    Schlagwörter: Formal specification

    Automated specification-based test case generation using SCR

    Nikora, A. P. / Heitymeyer, C. L. | NTRS | 2003
    Schlagwörter: test case generation formal specification

      Automated specification-based test case generation using SCR

      Nikora, A. P. / Heitmeyer, C. L. | NTRS | 2003
      Schlagwörter: formal specification software testing test case generation test oracle

    CaVa: Virtual Learning Spaces Formal Specification (Short Paper)

    Freier Zugriff
    Martini, Ricardo Giuliani / Henriques, Pedro Rangel | BASE | 2018
    Schlagwörter: formal specification

    Extending the use of measurement

    Nikora, A. P. | NTRS | 2003
    Schlagwörter: formal specification software testing test case generation test oracle

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

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

    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

    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

    SmartAgriFood machine breakdown service

    Pickel, Peter / Hüther, Nicole / Flörchinger, Thomas | Tema Archiv | 2013
    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

    Requirements of an integrated formal method for intelligent swarms

    Hinchey, M.G. / Rouff, C.A. / Rash, J.L. et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    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

    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation , formale Verifikation

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

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

    Modellierung der Forms-Fallstudien mit Statemate

    Klose, J. / Moik, A. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Sprache , formale Verifikation , formale Überprüfung

    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)

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

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

    Using a systems description language for complete avionics systems

    Barton, D.L. / Fortier, S.C. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , formale Verifikation , Spezifikation (Normung)

    Aspects of formalisation in requirements engineering

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

    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

    Cadena: an integrated development, analysis, and verification environment for component-based systems

    Hatcliff, J. / Deng, Xinghua / Dwyer, M.B. et al. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation , formale Verifikation

    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

    Instantiating generic charts for Railway Interlocking Systems

    Banci, Michele / Fantechi, Alessandro | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    An approach to the pervasive formal specification and verification of an automotive system

    Rieden, Tom in der / Knapp, Steffen | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    Formal methods for the specification and verification of distributed railway control systems: from algebraic specifications to distributed hybrid real-time systems

    Haxthausen, A.E. / Peleska, J. | Tema Archiv | 2000
    Schlagwörter: formale Überprüfung , formale Spezifikation , formale Sprache

    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

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

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

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

    Black, P.E. | Tema Archiv | 2007
    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

    Specification and verification of a single-track railroad signaling in CafeOBJ

    Seino, T. / Ogata, K. / Futatsugi, K. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    Formal safety analysis in transportation control

    Thums, A. / Schellhorn, G. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation , formale Überprüfung

    Applying software engineering principles in train control systems

    Zhang, L. / Katwijk, J. van / Brink, K. | Tema Archiv | 1994
    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 role of formal methods in developing a distributed railway interlocking system

    Banci, M. / Fantechi, A. / Gnesi, S. | Tema Archiv | 2004
    Schlagwörter: formale Spezifikation , formale Überprüfung

    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

    Hazard analysis of complex distributed railway systems

    Pasquale, T. / Rosaria, E. / Pietro, M. et al. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation , formale Verifikation

    Formal verification of safety requirements on complex systems

    Bernardeschi, C. / Fantechi, A. / Gnesi, S. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode

    Bitsch, F. / Canver, E. / Moik, A. | Tema Archiv | 2000
    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

    What software engineering can learn from practitioners

    Volovik, D. / Mojdehbakhsh, R. / Tsai, W.T. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    Investigating the readability of state-based formal requirements specification languages

    Zimmerman, M.K. / Lundqvist, K. / Leveson, N. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation , formale Methode

    Coverage-directed test generation with model checkers: challenges and opportunities

    Devaraj, G. / Heimdahl, M.P.E. / Liang, Donglin | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    Modelchecking von Klassifikationsbaum-Testsequenzen

    Krupp, Alexander / Müller, Wolfgang | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , formale Verifikation

    Formal requirements-based programming for complex systems

    Rash, J.L. / Hinchey, M.G. / Rouff, C.A. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , formale Verifikation , formale Validierung

    A traffic management system based on description logics

    Bechina, A. / Kullmann, M. / Keith, B. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im Eisenbahnwesen

    Arabestani, S. / Gayen, J.T. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Verifikation

    Validating requirements for fault tolerant systems using model checking

    Schneider, F. / Easterbrook, S.M. / Callahan, J.R. et al. | Tema Archiv | 1998
    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

    Qualitative and quantitative description of reliability characteristics in availability/safety diagrams

    Schnieder, E. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Utilizing Event-B for domain engineering: a critical analysis

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

    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