Top 10 der automatisch benotenden Testersteller für Lehrer

Ein Test mit automatischer Bewertung, auch automatisierter Test oder computerbewerteter Test genannt, ist eine Beurteilung oder Prüfung, die automatisch von einem Computerprogramm oder einer Software bewertet wird, ohne dass eine manuelle Bewertung durch einen menschlichen Prüfer erforderlich ist. Bei einem automatischen Bewertungstest beantworten Studierende oder Teilnehmer über eine Online-Plattform oder Software eine Reihe von Fragen oder erledigen Aufgaben. Das System wertet ihre Antworten sofort aus und gibt sofortiges Feedback zu ihrer Leistung.

Inhaltsverzeichnis

Was sind die Vorteile der automatischen Bewertung von Testerstellern?

Automatische Einstufungstests werden aufgrund ihrer Effizienz und Effektivität häufig in verschiedenen Bildungs- und Berufsumgebungen eingesetzt. Zu den wichtigsten Funktionen und Vorteilen automatischer Bewertungstests gehören:

Zeiteffizienz: Dank der automatischen Benotung müssen Lehrer oder Ausbilder nicht jeden Test manuell benoten, was viel Zeit und Mühe spart.

Sofortiges Feedback: Die Schüler erhalten sofortiges Feedback zu ihrer Leistung, sodass sie Stärken und Schwächen identifizieren und ihr Verständnis verbessern können.

Konsistenz und Fairness: Die automatische Bewertung sorgt für eine konsistente und objektive Bewertung und minimiert das Potenzial für Bewertungsverzerrungen.

Skalierbarkeit: Die automatische Bewertung ist hoch skalierbar und eignet sich daher für umfangreiche Beurteilungen mit zahlreichen Teilnehmern.

Dateneinblicke: Die Software zur automatischen Bewertung generiert detaillierte Analysen und Leistungsberichte und liefert wertvolle Erkenntnisse für Pädagogen und Administratoren.

Profi-Tipp

Mit unserem kostenlosen Online-Quiz-Maker können Sie ansprechende Online-Quiz erstellen.

Adaptives Testen: Einige automatische Bewertungssysteme bieten adaptive Tests an, bei denen nachfolgende Fragen auf der Grundlage früherer Antworten angepasst werden, um ein personalisiertes Bewertungserlebnis zu ermöglichen.

Flexibilität: Automatische Bewertungstests können verschiedene Fragetypen wie Multiple-Choice, Richtig/Falsch, Lückentext und Zuordnung berücksichtigen und bieten so Flexibilität bei der Bewertungsgestaltung.

Wie wähle ich den besten Testersteller für die automatische Bewertung aus?

Ein Auto-Grading-Test-Maker ist ein leistungsstarkes Tool für Lehrer. Hier sind einige der wichtigsten Funktionen und Überlegungen, die Sie bei der Auswahl des besten 4K-Video-Editors für Ihr Projekt berücksichtigen sollten.

Benutzerfreundliches Bedienfeld
Selbst für erfahrene Testorganisatoren kann das Erlernen neuer Software zeitaufwändig und frustrierend sein. Ansprechende Test-Maker-Software mit einer intuitiven und benutzerfreundlichen Oberfläche für Lehrer und Schüler.

Skalierbarkeit
Überlegen Sie, ob die Software skalierbar ist, um Ihren aktuellen und zukünftigen Anforderungen gerecht zu werden. Sie müssen die maximale Anzahl von Benutzern, Bewertungen und Datenspeichermöglichkeiten bewerten.

Fragenbank und Artikelbank
Prüfen Sie, ob die Software Ihnen die Erstellung und Verwaltung einer Fragen- oder Artikeldatenbank zur effizienten Erstellung und Wiederverwendung von Beurteilungen ermöglicht.

Support und Schulung:
Die Software zur Testerstellung sollte detaillierte Schulungsressourcen, Tutorials und Dokumentation bereitstellen. Es wäre schön, wenn der Entwickler Live- oder Telefonsupport bieten könnte.

Kosten und ROI
Vergleichen Sie Preispläne und berücksichtigen Sie den Return on Investment (ROI) basierend auf den angebotenen Funktionen. Sie können Funktionen und benutzerdefinierte Bewertungen jeder Software vergleichen, bevor Sie die endgültige Entscheidung treffen.

10 der besten Vergleichstabellen für Autobewertungs-Testersteller

Top 10 der automatisch benotenden Testersteller für Lehrer

1. OnlineExamMaker

OnlineExamMaker ist eine erstaunliche Online-Testplattform , die ein Tool zur automatischen Bewertung von Quiz für Pädagogen bietet. Mit den ansprechenden und interaktiven Funktionen von OnlineExamMaker können Lehrkräfte Tests, Umfragen und Beurteilungen erstellen, um das Wissen der Schüler auf unterhaltsame und wettbewerbsorientierte Weise zu bewerten. Teilnehmer erhalten Punkte für richtige Antworten und die Plattform bietet Echtzeit-Feedback und Analysen.

Mit der OnlineExamMaker-Software können Sie Ihre Bewertungsverfahren ganz einfach verbessern, Zeit bei der Benotung sparen und wertvolle Einblicke in die Leistung der Lernenden gewinnen. OnlineExamMaker bewertet Quizfragen automatisch und bietet Ihnen sofortigen Zugriff auf detaillierte Prüfungsberichte und Statistiken. Die aufschlussreichen Analysen helfen Lehrern und Trainern, wertvolle Erkenntnisse zu gewinnen und so ihre Lehrmethoden zu optimieren.

Hauptmerkmale:
▶ Unabhängige Dashboards für Lernende zur Verfolgung der individuellen Leistung.
▶ Soziale Lernfunktionen für die Interaktion mit Gleichaltrigen und den Wissensaustausch.
▶ Single Sign-On (SSO)-Integration für nahtlose Benutzerauthentifizierung.
▶ API und Integrationen zur Verbindung mit anderen Softwaretools.
▶ Greifen Sie jederzeit und überall auf Ihre Prüfungen zu.
▶ Massenimport von Fragen und Kandidaten von Ihrem Gerät.
▶ Automatisierte Berichterstattung und Analyse.
▶ KI-gestützte Technologie zur Verhinderung von Betrug.
▶ Face-ID-Verifizierungstechnologie zur Verhinderung von Betrug.

G2-Bewertung : 4,5/5
Preis : Für immer kostenlos. Bei den kostenpflichtigen Plänen können Sie den Essentials-Plan für 17 $/Monat, den Professional-Plan für 35 $/Monat und den Premium-Plan für 55 $/Monat wählen. Bei jährlicher Abrechnung können Sie 30 % sparen.

Cree su próxima prueba/examen con OnlineExamMaker

Keine Kreditkarte benötigt
100 % Dateneigentum

2. Google Forms

Google Forms ist ein kostenloser und vielseitiger Online-Umfrage- und Formularersteller, der zur Erstellung von Tests zur automatischen Bewertung verwendet werden kann. Mit der benutzerfreundlichen Oberfläche können Pädagogen und Trainer automatische Bewertungstests mit verschiedenen Fragetypen erstellen, darunter Multiple-Choice, Kurzantworten und mehr. Google Forms bietet automatische Benotung, Ergebnisse in Echtzeit und die Möglichkeit der Integration mit Google Sheets für detaillierte Analysen. Durch die nahtlose Integration mit Google Classroom ist es eine beliebte Wahl für Lehrkräfte, die eine einfache und effiziente Möglichkeit zum Erstellen und Verwalten automatischer Bewertungstests suchen.

Google Forms vereinfacht den Prozess der Erstellung, Verteilung und Erfassung von Daten durch benutzerfreundliche Formulare. Mit seinem umfangreichen Funktionsumfang, der intuitiven Benutzeroberfläche und der nahtlosen Integration mit anderen Google-Tools ist es die Lösung der Wahl für Organisationen und Einzelpersonen, die eine effiziente Möglichkeit suchen, wertvolle Erkenntnisse und Informationen zu sammeln.

Hauptmerkmale:
▶ Verzweigungs- und Überspringlogik für effiziente Umfragen.
▶ Abschnittsumbrüche zum Organisieren komplexer Formulare.
▶ Optionen zur Validierung mehrerer Antworten für die Datengenauigkeit.
▶ Zeit- und Datumsplanung für die Formularverfügbarkeit.
▶ Gemeinsames Kommentieren für Formular-Feedback und Verbesserungen.
▶ Benutzerdefinierte Bestätigungsnachrichten und Weiterleitungs-URLs.
▶ Datenexport in verschiedene Formate zur weiteren Analyse.

G2-Bewertung : 4,6/5
Preise : Kostenlose Nutzung, wenn Sie über ein Google-Konto verfügen.

3. Quizizz

Quizizz ist ein weiterer spielbasierter Testhersteller für die automatische Bewertung, der schülergesteuerte Tests für formative Beurteilungen anbietet. Pädagogen können Quizze mit verschiedenen Fragetypen erstellen und diese mit Medienelementen anpassen. Quizizz bietet automatische Benotung, detaillierte Berichte und eine Bestenliste, um die Schüler zu motivieren. Aufgrund seiner Flexibilität bei der individuellen Anpassung des Quiz und des schülergesteuerten Ansatzes eignet es sich für individuelles Lernen und Fernbewertungen.

Hauptmerkmale:
▶ Fördern Sie kollaboratives Lernen mit teambasierten Tests und Diskussionen.
▶ Sofortiges Feedback und Erklärungen zu jeder Frage.
▶ Überwachen Sie den Fortschritt der Lernenden, identifizieren Sie Stärken und Schwächen und verfolgen Sie Verbesserungen.
▶ Erweitern Sie Quizze mit Bildern, Videos und Memes für ein optisch ansprechendes Erlebnis.
▶ Fördern Sie kollaboratives Lernen mit teambasierten Tests und Diskussionen.
▶ Belohnen Sie Lernende mit Punkten, Abzeichen und Bestenlisten-Ranglisten, um die Teilnahme zu motivieren.

G2-Bewertung : 4,9/5
Preise : Abonnement für 50 $ pro Monat erhältlich, 600 $ werden jährlich in Rechnung gestellt

4. ClassMarker

ClassMarker ist eine umfassende Online-Testplattform, die automatische Bewertungsfunktionen für verschiedene Fragetypen bietet, darunter Multiple-Choice, Richtig/Falsch und mehr. Pädagogen und Unternehmen können sichere und anpassbare Beurteilungen mit automatischer Benotung und Echtzeitergebnissen erstellen. ClassMarker bietet detaillierte Analyse- und Berichtsfunktionen und ist damit ein wertvolles Werkzeug für Pädagogen und Trainer, die datengesteuerte Erkenntnisse suchen.

Hauptmerkmale:
▶ Automatisierte Benotung und sofortiges Feedback für eine effiziente Bewertung.
▶ Anpassbare Branding-Optionen für personalisierte Bewertungen.
▶ Flexible Fragetypen, einschließlich Multiple-Choice, Aufsatz und Datei-Upload.
▶ Gruppenverwaltung und Massenimport von Benutzern für eine einfache Verwaltung.
▶ Erweiterte Fragen-Randomisierung, um Betrug zu verhindern.
▶ Zeitlimits und Countdown-Timer für zeitgesteuerte Beurteilungen.
▶ Personalisiertes Prüfungszeugnis mit Schülernamen.

G2-Bewertung : 4,4/5
Preise : Kostenlose Testversion. Die Premium-Pläne von ClassMarker lagen zwischen 39,95 $/Monat und 79,95 $/Monat.

5. ProProfs Quiz Maker

ProProfs Quiz Maker ist eine benutzerfreundliche Plattform, die es Pädagogen und Unternehmen ermöglicht, Tests und Beurteilungen mit automatischer Bewertung zu erstellen. Mit einer breiten Palette an Fragetypen, automatisierter Benotung und Echtzeitberichten

Mit ProProfs Quiz Maker können Sie mithilfe einer Drag-and-Drop-Oberfläche, anpassbaren Vorlagen und einer Vielzahl von Fragetypen wie Multiple-Choice, Richtig/Falsch, Matching und mehr mühelos Quizfragen erstellen. Pädagogen können diese Plattform nutzen, um ganz einfach ansprechende Quizze, Einstellungstests und Schulungsbewertungen zu erstellen.

Hauptmerkmale:
▶ Fragen automatisch mit dem AI-Fragengenerator von Proprofs generieren.
▶ Verzweigung und bedingte Logik zur Erstellung adaptiver Tests basierend auf Benutzerantworten.
▶ Automatische Benotung und sofortiges Feedback für effiziente Bewertungsprozesse.
▶ Möglichkeiten zur Erstellung von Umfragen, um Feedback und Meinungen von Teilnehmern einzuholen.
▶ SCORM-Kompatibilität für nahtlose Integration mit Lernmanagementsystemen.
▶ Fragenerklärungen, um den Teilnehmern zusätzlichen Kontext oder Lernressourcen bereitzustellen.

Capterra-Bewertung : 4,5/5
Preise : Kostenlose Anmeldung. ESSENTIALS-Plan, 20 $/Monat; BUSINESS-Plan, 40 $/Monat; BUSINESS+-Plan, 200 $/Monat.

6. Typeform

Typeform ist ein interaktiver Formular- und Umfrage-Builder, der für Tests mit automatischer Bewertung angepasst werden kann. Es bietet eine gesprächige und ansprechende Benutzeroberfläche, die das Beurteilungserlebnis für die Teilnehmer angenehmer macht. Mit der automatischen Bewertungsfunktion von Typeform können Pädagogen Quizze mit verschiedenen Fragetypen erstellen, darunter Multiple-Choice, Kurzantworten und mehr. Die Designflexibilität und Integrationsfähigkeiten der Plattform machen sie zu einer einzigartigen Wahl für die Erstellung optisch ansprechender Tests zur automatischen Bewertung.

Hauptmerkmale:
▶ Erhalten Sie sofortigen Zugriff auf Quizergebnisse und analysieren Sie die Antworten der Teilnehmer in Echtzeit.
▶ Erfassen Sie Teilnehmerinformationen und generieren Sie Leads mit integrierten Lead-Erfassungsformularen.
▶ Exportieren Sie Quizantworten und Teilnehmerdaten zur weiteren Analyse und Berichterstattung.
▶ Integriert sich in gängige Tools und Plattformen wie CRM-Systeme und E-Mail-Marketing-Software.
▶ Kandidaten die Möglichkeit geben, Prüfungen auf Smartphones und Tablets abzulegen.

G2-Bewertung : 4,5/5
Preis : Kostenlos. Basisplan für 25 $ pro Monat, Plus-Plan für 50 $ pro Monat, Businessplan für 83 $ pro Monat.

7. Microsoft Forms

Microsoft Forms ist ein automatischer Bewertungstest-Maker, der in der Microsoft 365-Suite angeboten wird. Pädagogen können Tests, Umfragen und Umfragen mit automatischer Bewertung und Echtzeitanalysen erstellen. Die Plattform lässt sich nahtlos in Microsoft Teams und andere Microsoft-Anwendungen integrieren und ist somit praktisch für Lehrkräfte, die bereits Microsoft-Tools für ihren Unterricht verwenden.

Mit ihrer breiten Palette an Fragetypen, Multimedia-Integration, Kollaborationsfunktionen und Echtzeit-Antwortanalyse vereinfacht die Software den Prozess der Durchführung von Beurteilungen und liefert gleichzeitig wertvolle Erkenntnisse für die Leistungsbewertung.

Hauptmerkmale:
▶ Mobile App für Tests und Feedback unterwegs.
▶ Arbeiten Sie mit Kollegen oder Studenten zusammen, indem Sie Quizfragen teilen und Feedback einholen.
▶ Automatisierte Bewertung und Bewertung für sofortige Ergebnisse.
▶ Detaillierte Datenanalyse mit Diagrammen und Grafiken
▶ Integration mit der Microsoft Office-Suite.
▶ Individuelle Branding- und Designoptionen.
▶ Zeitlimits und Countdown-Timer für Quizze.

Capterra-Bewertung : 4,6/5
Preise : Für kostenpflichtige Versionen: Microsoft 365 Business Basic-Plan, 6,00 $ Benutzer/Monat; Microsoft 365 Business Standard-Plan, 12,50 $ Benutzer/Monat; Microsoft 365 Business Premium-Plan, 22,00 $ Benutzer/Monat.

8. Formative

Formative ist ein automatisch benotender Testgenerator, der für formative Beurteilungen und Lernfeedback der Schüler entwickelt wurde. Mit Formative können Lehrkräfte interaktive Tests, Aufgaben und Umfragen mit sofortigem Feedback für die Schüler erstellen. Die Plattform unterstützt verschiedene Fragetypen und ermöglicht es Pädagogen, den Fortschritt der Schüler in Echtzeit zu verfolgen und so Dateneinblicke für gezielten Unterricht bereitzustellen.

Hauptmerkmale:
▶ Cloudbasierte Testplattform, die jederzeit und überall auf Prüfungen zugreift.
▶ Echtzeitüberwachung zur Fernüberwachung von Kandidaten während der Tests.
▶ Automatisierte Benotung, um Zeit durch sofortige Benotung und Feedback zu sparen.
▶ Analysieren Sie die Ergebnisse für eine fundierte Entscheidungsfindung.
▶ Ermöglichen Sie globalen Benutzern Prüfungen in mehreren Sprachen.
▶ Benutzerfreundliche Oberfläche für Lehrkräfte und Studierende.

Commonsense-Bewertung : 5,0/5
Preise : Kostenlose Testversion. Individuelle Preise.

9. QuickKey

QuickKey ist eine mobile Benotungs-App, mit der Lehrkräfte mit der Kamera ihres Smartphones oder Tablets automatische Benotungstests erstellen und papierbasierte Beurteilungen scannen können. Die App bietet sofortige Bewertung, Echtzeitberichte und datengesteuerte Erkenntnisse, um Pädagogen bei der Entscheidungsfindung im Unterricht zu unterstützen.

Die von QuickKey bereitgestellten datengesteuerten Analysen ermöglichen es Pädagogen, wertvolle Einblicke in die Leistung der Schüler zu gewinnen und so gezielte Interventionen und personalisierte Lernansätze zu ermöglichen. Darüber hinaus gewährleistet diese cloudbasierte Lösung Skalierbarkeit, Flexibilität und Kosteneffizienz, wodurch die Notwendigkeit einer physischen Infrastruktur entfällt und die Umweltbelastung reduziert wird.

Hauptmerkmale:
▶ Bewerten und benoten Sie Tests, Quiz und formative Beurteilungen sofort und überall.
▶ Mobile Benotung und Ergebnisanalyse für Lehrer.
▶ Leistungsstarke Quiz-App für iPad, iPhone und Android.
▶ Anpassbare Fragetypen, um Bewertungen an spezifische Bedürfnisse anzupassen.
▶ Scannen Sie Luftpolsterfolien mit Ihrem Mobilgerät.

Google Play-Bewertung : 3,6/5
Preis : Kostenlos. 2,5 $ pro Benutzer und Monat für die kostenpflichtige Version.

10. ExamSoft

ExamSoft ist eine Prüfungsverwaltungsplattform , die automatische Bewertungsfunktionen für verschiedene Prüfungsarten bietet. Pädagogen können sichere Online-Bewertungen mit automatischer Benotung und Echtzeitergebnissen erstellen. Die Plattform bietet detaillierte Analysen und Leistungsberichte, sodass Pädagogen den Fortschritt der Schüler effektiv überwachen können.

Die leistungsstarken Funktionen von ExamSoft gewährleisten Prüfungssicherheit, automatisieren die Benotung und erstellen detaillierte Leistungsberichte für wertvolle Einblicke in den Fortschritt der Studierenden. Mit seinem intuitiven Design und der nahtlosen Integration revolutioniert ExamSoft die Art und Weise, wie Beurteilungen durchgeführt werden.

Hauptmerkmale:
▶ Integration mit gängigen Learning Management Systemen (LMS).
▶ Datensicherheitsmaßnahmen zum Schutz von Studierendeninformationen und Prüfungsinhalten.
▶ Anpassbare Prüfungsformate und Fragetypen.
▶ Kollaborationsfunktionen für teambasierte Bewertungen.
▶ Prüfungsentwurf, um eine ordnungsgemäße Prüfungsstruktur und Inhaltsverteilung sicherzustellen.
▶ Erweiterte Artikelanalyse für Statistiken auf Artikelebene und Leistungsbewertung.
▶ Prüfungsversionierung, um mehrere Versionen derselben Prüfung zu erstellen.

G2-Bewertung : 4,0/5
Preise : Kostenlose Testversion. Individuelles Preisangebot.

Wie erstelle ich einen automatischen Bewertungstest in OnlineExamMaker?

Befolgen Sie die nachstehenden Schritte, um zu erfahren, wie Sie mit OnlineExamMaker eine Prüfung mit automatischer Bewertung erstellen, verteilen und durchführen.

Schritt 1: Registrieren Sie sich oder melden Sie sich bei OnlineExamMaker an

Keine Kreditkarte benötigt
100 % Dateneigentum

Schritt 2: Fragen bearbeiten

– Klicken Sie auf die Schaltfläche „Neue Frage“, um zu beginnen.
– Wählen Sie den Fragetyp aus, den Sie hinzufügen möchten (z. B. Multiple-Choice, Richtig/Falsch, Kurzantwort).
– Geben Sie Ihre Frage und die möglichen Antworten ein und weisen Sie der Frage dann eine Punktzahl zu.
– Fügen Sie weiterhin so viele Fragen hinzu, wie Sie für Ihr Quiz benötigen.

Schritt 3: Erstellen Sie einen neuen Test

Gehen Sie zu Prüfungen -> Prüfungsliste, klicken Sie auf „Neue Prüfung“, um einen Test zu erstellen, und geben Sie dann Titel und Beschreibung ein. In diesem Schritt müssen Sie dem Test Fragen hinzufügen.

Schritt 4: Benutzerdefinierte Einstellungen

Wählen Sie ein Thema für Ihren Test aus, Sie können auch ein Logo oder Hintergrundbild hinzufügen und Quizzeiten, Live-Tage und Überwachungseinstellungen festlegen.

Schritt 5: Veröffentlichen

Nachdem Sie alle Aspekte Ihres Tests eingerichtet haben, stellen Sie sicher, dass Sie alle Änderungen speichern, bevor Sie ihn veröffentlichen können. Ihr Test kann jetzt durchgeführt werden!

Schritt 6: Berichte analysieren

OnlineExamMaker benotet und bewertet den Test automatisch, nachdem die Schüler den Test eingereicht haben. Detaillierte Testberichte und Erkenntnisse können Sie in Ihrem Dashboard einsehen.

Häufig gestellte Fragen zur automatischen Bewertung von Testerstellern

Was ist automatische Bewertung?
Bei der automatischen Bewertung oder automatischen Benotung werden Beurteilungen ohne menschliches Eingreifen bewertet und bewertet. Es basiert auf Algorithmen und vordefinierten Kriterien, um Antworten zu bewerten und Punkte zu vergeben.

Welche Arten von Fragen können automatisch bewertet werden?
Die automatische Bewertung wird häufig für Multiple-Choice-Fragen, Richtig/Falsch-Fragen und Lückentextfragen verwendet. Einige fortschrittliche Systeme unterstützen auch die Bewertung von Fragen mit kurzen Antworten mithilfe der Verarbeitung natürlicher Sprache.

Welche Plattformen oder Tools unterstützen die automatische Bewertung?
Viele Lernmanagementsysteme (LMS) und Online-Bewertungsplattformen bieten automatische Bewertungsfunktionen. Beispiele hierfür sind OnlineExamMaker, Google Forms, Canvas, Moodle, Blackboard und Plattformen wie Proprofs.

Kann ich subjektive Fragen oder Aufsatzfragen automatisch benoten?
Während die vollständige automatische Benotung subjektiver oder aufsatzbezogener Fragen eine Herausforderung darstellen kann, nutzen einige Plattformen KI für die teilweise Benotung oder um menschliche Bewerter durch Vorschläge oder die Hervorhebung wichtiger Punkte zu unterstützen.

Gibt es Einschränkungen bei der automatischen Bewertung?
Die automatische Bewertung ist am effektivsten für objektive Fragen mit klaren richtigen und falschen Antworten. Es kann schwierig sein, Kreativität, kritisches Denken oder subjektive Interpretation einzuschätzen, was oft menschliches Urteilsvermögen erfordert.

Kann ich automatisch bewertete Ergebnisse überprüfen und anpassen?
Ja, Online-Prüfungsersteller ermöglichen es Dozenten, automatisch bewertete Ergebnisse zu überprüfen und zu überschreiben. Dies ist wichtig, um bestimmte Fälle anzugehen, in denen das automatisierte System eine Antwort möglicherweise nicht genau bewertet hat.

Wie genau ist die automatische Bewertung für Codierung oder mathematische Symbole?
Neue KI-Fortschritte ermöglichen dank maschinellem Lernen die zuverlässige Interpretation von Sonderzeichen, Formeln und Codierungssprachen für präzise Markierungen.