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

1–20 von 37 Ergebnissen
|

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung

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

    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

    Aspects of formalisation in requirements engineering

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

    ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS

    Freier Zugriff
    Rakotomalala, Eva / Elloy, Jean-Pierre / Molinaro, Pierre et al. | Springer Verlag | 2005
    Schlagwörter: Formal specification

    Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen

    Belschner, Ralf / Bortolazzi, Jürgen / Freess, Jascha et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , formale Sprache

    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

    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

    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

    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

    Auf solide Basis. Effiziente Entwicklung von Diagnosefunktionen im Automobil

    Stimmler, Simon / Rätz, Christoph | 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

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

    Duan, Linshu | Tema Archiv | 2012
    Schlagwörter: formale Spezifikation , testorientierte 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

    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

    Technology transfer issues for formal methods of software specification

    Abernethy, K. / Kelly, J. / Sobel, A. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Methode

    Experiences using lightweight formal methods for requirements modeling

    Easterbrook, S. / Lutz, R. / Covington, R. et al. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , leichte formale Methode

    Automotive UML - eine neue objektorientierte Entwicklungstechnik. Erweiterung von Standard-UML für Bedürfnisse der Automobilelektronik

    Hofmann, P. / Fasolt, J. / Geretschläger, P. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Requirements archaeology: from unstructured information to high quality specifications (in the automotive industry)

    Kiedaisch, F. / Pohl, M. / Weisbrod, J. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen

    Lu, S. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation