Premium Partner

0 Login Register

Store 0
Library
Info
Subscriptions
Partner

p

Question first
Answer first
Self-test

0.0 (0)

Study

Set of flashcards Details

Flashcards	32
Language	Deutsch
Category	Computer Science
Level	University
Created / Updated	22.06.2015 / 29.06.2015
Licencing	Not defined
Weblink	https://card2brain.ch/box/p
Embed	<iframe src="https://card2brain.ch/box/p/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>

Flip-Mode

Question first
Answer first
Self-test

Study

Welche der folgenden Charakteristika gelten für den in der Informatik verwendeten Modelbegriff nach Stachowiak? (Mehrere richtige Antworten möglich?

- Ein Modell ist niemals formal.

- Ein Modell dient immer einem Zweck.

- Ein Modell muss immer interpretiert werden.

- Ein Modell ist immer graphisch.

Welche der folgenden Charakteristika gelten für das Verhältnis von Original und Modell? (Mehrere richtige Antworten möglich)

- Ein Modell kann keine zukünftigen Situationen voraussagen.

- Ein Modell ist immer eine Abstraktion seines natürlichen oder künstlichen Originals.

- Ein Modell ist objektiv und selbsterklärend.

- Ein Modell kann Probehandeln ermöglichen.

- Ein Modell kann nicht als Original für ein weiteres Modell dienen.

Welche der folgenden Aussagen zu Verifikation und Validation sind richtig? (Mehrere richtige Antworten möglich)

- Verifikation überprüft die Korrektheit und Konsistenz eines Modells.

- Ein Compiler validiert einen Programmtext.

- Validation ist eine Bewertung eines Modells durch Personen oder Messungen.

- Validation ist eine Form eines formalen Beweises.

Welche der folgenden Aussagen zur formalen Semantik von Programmen sind richtig? (Mehrere richtige Antworten möglich)

- Für jede Programmiersprache gibt es eine formale Semantik.

- Die bekannten Ansätze der formalen Semantik heißen denotational, motivational und axiomatisch.

- Die denotationale Semantik betrachtet die Abbildung von Speicherzuständen durch Anweisungen.

- Die axiomatische Semantik legt für Programmelemente Vor- und Nachbedingungen fest.

Welche der folgenden Aussagen gelten im Zusammenhang mit Abstrakten Datentypen (ADT)? (mehrer richt...)

- Ein abstrakter Datentyp wird nur durch seine Strukturelemente und ihre Verbindung definiert.

- Es soll von der Implementation eines Datentyps abstrahiert werden.

- Ein ADT definiert Daten über die darauf zulässigen Operationen.

- Ein abstrakter Datentyp wird durch das Vertragsmodell implementiert.

- Im Sinne von Meyer besteht ein ADT aus: Typen, Funktionen, Axiomen, Vorbedingungen.

Wieviele Interfaces kann ein Interface in Java erweitern (mit extends)?

- Keines.

- Genau eines.

- Entweder keins oder eins.

- Beliebig viele.

Welche Aussagen sind für den folgenden Java-Quelltext richtig? (mehre rich..)

- Das Interface C bietet zwei Operationen mit dem Namen m an.

- Das Interface C bietet genau eine Operation mit dem Namen m an.

- Das Interface C bietet keine Operation an.

- Das Interface C definiert einen Subtyp des Interfaces A.

- Das Interface C bietet genau eine Operation mit dem Namen m2 an.

Welche der folgenden Aussagen zu Klassifikation von Programmierfehlern nach Zeller sind richtig?(mehRi)

- Ein defect ist ein Fehler im Programmtext, der beliebig lange unentdeckt bleiben kann.

- Voraussetzung für einen defect ist eine infection.

- Eine infection ist eine Verfälschung von Variablenwerten aufgrund der Ausführung eines defects.

- Eine infection führt zwangsläufig zu einem failure.

Show 4
Show 16
Show 32

Flip-Mode

Question first
Answer first
Self-test

Study

Clever clicks.

Learning together - easy and efficient.

Features

Subscriptions
Library
Card Store
Mobile app

Help

Info
Contact
Feedback
Blog

Partners

Premium Partner
Educational Partners
Publishing partners

Languages

Deutsch
Français
English

Contact & Feedback

GTC
Data privacy
Copyright
Legal info
Team
Contact