Symbolic Model Verifier

Bearbeiten

Hi, ich hab Dir hier geantwortet und den Artikel zur weiterenBearbeitung unter Benutzer:SvenjaWendler/Symbolic_Model_Verifier wieder hergestellt.

Gruß, ---GDK Δ 11:13, 24. Apr. 2007 (CEST)Beantworten

Hallo Svenja! Hab gerade zufällig hier vorbeigeschaut. Arbeitest du noch an dem Artikel? Ich halte ihn grundsätzlich für gültig und daher nicht löschgefährdet, er hätte allerdings vor allem noch eine Wikifizierung nötig. Gruß --Gamba 15:27, 9. Mai 2008 (CEST)Beantworten

Hallo Gamba, ok ich werde ihn wikifizieren ;) Danke für den Hinweis. --SvenjaWendler 16:09, 9. Mai 2008 (CEST)Beantworten

Schau bitte mal in die Diskussion des Artikels, habe da eine Frage gestellt. Außerdem sollten die Eigenschaften im Abschnitt Technologie nach Möglichkeit irgendwie verlinkt werden. Für Fairness und Liveness habe ich das schon gemacht, mit Safety meinst du wahrscheinlich Typsicherheit? Wenn ja, dann kannst du das bitte noch entsprechend verlinken, ich habe sicherheitshalber darauf verzichtet.
Schau dir auch den von mir geänderten Einleitungssatz an. Ich denke, dass Model Checking das umfassende Thema ist, für das SMV eingesetzt werden. Daher sollte es gleich in der Einleitung genannt werden. Richtig so?
Außerdem ist mir aufgefallen, dass zunächst von einem SMV die Rede ist, und später dann von einer Software, die so bezeichnet wird („Release von SMV“). Da sollten wir genauer sagen, worüber wir eigentlich reden. Gruß --Gamba 13:43, 11. Mai 2008 (CEST)Beantworten

Hallo Gamba, mit Safety ist nicht Typsicherheit gemeint, sondern, dass man sich auf das Programm verlassen kann. Sicherstellung des Ablaufes. Dazu habe ich in Wikipedia aber noch keinen adäquaten Artikel gefunden. Der Artikel Informationssicherheit muss ja überarbeitet werden.--SvenjaWendler 19:24, 12. Mai 2008 (CEST)Beantworten

In der englischen Wikipedia habe ich jetzt keinen passenden Artikel unter dem Begriff gefunden (s. en:Safety (disambiguation)). Deiner Beschreibung nach meinst du wohl Korrektheit (Informatik). Wobei da nicht die Sicherstellung des Ablaufs, sondern eher die Richtigkeit des Ergebnisses gemeint ist. Kannst du eine Quelle – idealerweise Web – nennen, wo der Begriff Safety in deinem Sinne verwendet wird? Gruß --Gamba 22:39, 12. Mai 2008 (CEST)Beantworten

Dein Beitrag in der LD zu itemis

Bearbeiten

Hallo Svenja, ich habe in der Löschdiskussion zu itemis geschrieben, dass ich mich dort nicht mehr äußern werde. Da du mich aber direkt ansprichst, antworte ich dir hier. Ich empfinde die Diskussion übrigens nicht als hitzig, vielleicht ein bischen aufgeregt durch die ganzen WP-Neulinge aus dem itemis-Umfeld, die da aufschlagen. Als ob die Löschung eines Artikels den Insolvenzantrag bedeuten würde... Es ist natürlich richig, dass Menschen verschiedene Interessen haben, die sich auch in der Wkipedia zeigen. (Kunst / Journalisten vs. theoretische Informatik z.B.) Nur habe ich noch keinen Artikel über mich oder meine Arbeit geschrieben: Ich bin nämlich weder Künstler noch Journalist. Auf dieser Seite habe ich ein paar grundsätzliche Dinge zu diesen Fragen für alle itemis-Kollegen geschrieben, die hier mitschreiben. Minderbinder 23:43, 9. Mai 2008 (CEST)Beantworten

Hallo Minderbinder, ist in Ordnung. Aber ist doch verständlich, dass man am besten über die Dinge schreiben kann, die man weiß und über die man Material hat oder? --SvenjaWendler 19:24, 12. Mai 2008 (CEST)Beantworten

LÜNTEC

Bearbeiten

Hallo SvenjaWendler, ich habe nach der LD hier den Artikel in Deinen BNR verschoben und hoffe, dass Du - wie in der LD angedeutet - den Beitrag fachgerecht in die/den dort genannten bestehenden Artikel einarbeiten wirst. Gruß, --Felistoria 15:21, 16. Mai 2008 (CEST)Beantworten