Zum Inhalt

Erweiterte Suche

Ergebnisvorschau für Ihre aktuellen Suchbegriffe: 0

Suchoperatoren:

Sie können Operatoren mit Ihrer Suchanfrage kombinieren, um diese noch präziser einzugrenzen. Klicken Sie auf den Suchoperator, um eine Erklärung seiner Funktionsweise anzuzeigen.
Findet Dokumente mit genau dieser Wortgruppe in exakt dieser Schreibweise und Reihenfolge (z.B. "employer branding").
Findet Dokumente, in denen beide Begriffe zusammen vorkommen (z.B. vertrieb UND bonus).
Findet Dokumente, in denen einer der beiden oder beide Begriffe vorkommen (z.B. porsche OR volkswagen).
Findet Dokumente, in denen alle Begriffe vorkommen. Das Leerzeichen wird als UND interpretiert (z.B. mensch roboter alltag).
Findet Dokumente, in denen der Begriff nach NOT nicht vorkommt (z.B. ford NOT "harrison ford").
Findet Dokumente, in denen der gesuchte Begriff mehr als n mal vorkommt. n steht für eine beliebige Anzahl (z.B. COUNT(getriebe)>8).
Findet Dokumente, in denen beide Begriffe in beliebiger Reihenfolge innerhalb von maximal n Worten zueinander stehen. Empfehlung: Wählen Sie zwischen 15 und 30 als maximale Wortanzahl (z.B. NEAR(hybrid, antrieb, 20)).
Findet Dokumente, in denen der Begriff in Wortvarianten vorkommt, wobei diese VOR, HINTER oder VOR und HINTER dem Suchbegriff anschließen können (z.B., leichtbau*, *leichtbau, *leichtbau*).
Findet Dokumente mit dem Suchbegriff in verschiedenen Schreibweisen. Das ? steht für eine einzige Stelle (z.B. organi?ation).
Sonderzeichen werden als UND interpretiert (z.B. Mann + Hummel).

Semantische Suche

powered by (Link öffnet in neuem Fenster)
loading …
Anmelden
Nach oben

Software and Systems Modeling

Ausgabe 2/2013

Inhalt (13 Artikel)

The evolution of modeling research challenges

  • Editorial

Robert France, Bernhard Rumpe

Guest editorial to the special section on SEFM 2009

  • Guest Editorial

Padmanabhan Krishnan, Dang Van Hung, Antonio Cerone

Event-B patterns and their tool support

  • Special Section Paper

Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial

Metric propositional neighborhood logics on natural numbers

  • Special Section Paper

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Behavioral specification of reactive systems using stream-based I/O tables

  • Special Section Paper

Judith Thyssen, Benjamin Hummel

Relational interprocedural verification of concurrent programs

  • Special Section Paper

Bertrand Jeannet

Towards clone detection in UML domain models

  • Special Section Paper

Harald Störrle

Least privilege analysis in software architectures

  • Special Section Paper

Koen Buyens, Riccardo Scandariato, Wouter Joosen

A model for dynamic reconfiguration in service-oriented architectures

  • Special Section Paper

José Luiz Fiadeiro, Antónia Lopes

Modeling customer-centric value of system architecture investments

  • Special Section Paper

Ana Ivanović, Pierre America, Chris Snijders

A modular timed graph transformation language for simulation-based design

  • Regular Paper

Eugene Syriani, Hans Vangheluwe

Specification of invariability in OCL

  • Open Access
  • Regular Paper

Piotr Kosiuczenko

Building European software architecture community: how far have we come?

  • Editorial

Muhammad Ali Babar, Ian Gorton, Flavio Oquendo

Feb. 13
Ausgabe: 1/2013
Juli 13
Ausgabe: 3/2013

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    ADVERTORIAL

    KI-Agenten im Operations Management

    ADVERTORIAL

    Ihre Webinar-Matineen von IT-Director und IT-Mittelstand

    Bildnachweise
    AvePoint Deutschland GmbH/© AvePoint Deutschland GmbH, ams.solutions GmbH/© ams.solutions GmbH, Wildix/© Wildix, arvato Systems GmbH/© arvato Systems GmbH, Ninox Software GmbH/© Ninox Software GmbH, Nagarro GmbH/© Nagarro GmbH, GWS mbH/© GWS mbH, CELONIS Labs GmbH, USU GmbH/© USU GmbH, G Data CyberDefense/© G Data CyberDefense, Vendosoft/© Vendosoft, Kumavision/© Kumavision, Noriis Network AG/© Noriis Network AG, tts GmbH/© tts GmbH, Asseco Solutions AG/© Asseco Solutions AG, AFB Gemeinnützige GmbH/© AFB Gemeinnützige GmbH, Ferrari electronic AG/© Ferrari electronic AG, Doxee AT GmbH/© Doxee AT GmbH , Haufe Group SE/© Haufe Group SE, NTT Data/© NTT Data, Bild 1 Verspätete Verkaufsaufträge (Sage-Advertorial 3/2026)/© Sage, IT-Director und IT-Mittelstand: Ihre Webinar-Matineen in 2025 und 2026/© amgun | Getty Images