Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
ESC/ Java
CHF 29.10
Auf Lager
SKU
MT2FO2F2JQS
1 Verfügbar 
Geliefert zwischen Mo., 02.03.2026 und Di., 03.03.2026
Details
High Quality Content by WIKIPEDIA articles! ESC/Java (and more recently ESC/Java2), the "Extended Static Checker for Java," is a programming tool that attempts to find common run-time errors in Java programs by static analysis of the program text. Recent versions of ESC/Java are based around the Java Modeling Language (JML). Users can control the amount and kinds of checking by annotating their programs with specially formatted comments or pragmas. ESC/Java was originally developed at the Compaq Systems Research Center (SRC). SRC launched the project in 1997, after work on their original extended static checker, ESC/Modula-3, ended in 1996. In 2002, SRC released the source code for ESC/Java and related tools.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131902048
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- EAN 9786131902048
- Titel ESC/ Java
- Herausgeber Betascript Publishing
- Anzahl Seiten 64
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
