UB FFM: Suchergebnisse - The Java language specification

Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein: Login

1
2
3
4
5
6
7
8
9
10
11
weiter

Recovering Grammar Relationships for the Java Language Specification
Lämmel, Ralf ; Zaytsev, Vadim
2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation Source Code Analysis and Manipulation, 2009. SCAM '09. Ninth IEEE International Working Conference on. :178-186 Sep, 2009

Konferenz

Prüfe Verfügbarkeit

Recovering Grammar Relationships for the Java Language Specification
Lämmel, Ralf ; Zaytsev, Vadim
Software Quality Journal, 19:2, pages 333-378. Springer, 2011

Computer Science - Progr...

Report

Zum Volltext

Recovering grammar relationships for the Java Language Specification
Lämmel, R.
SOFTWARE QUALITY JOURNAL. 19(2):333-378

Zeitschrift

Prüfe Verfügbarkeit

Real-Time Extensions to the Java Platform: As it stands now, neither the Java language nor the Java Virtual Machine is compatible with truly real-time systems. However, extensions to the Java specifications are now being made to make Java a better language for real-time programming
Furr, S.
EMBEDDED SYSTEMS PROGRAMMING. 12(13):71-78

Zeitschrift

Prüfe Verfügbarkeit

Recovering grammar relationships for the Java language specification
Lämmel, R. (Ralf) ; Zaytsev, V. (Vadim) ; Lämmel, R. (Ralf) ; et al.
Software Quality Journal vol. 19 no. 2, pp. 333-378

E-Ressource

Zum Volltext

Transaction Processing with EJB: The new EJB specification enables a transaction processing model to be introduced into the Java language, giving developers the ability to build reliable systems quickly. See how classes and interfaces in the transaction packages relate
Orchard, D.
COMPONENT STRATEGIES. 1(10):50-57

Zeitschrift

Prüfe Verfügbarkeit

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode
Fundamental approaches to software engineering; FASE 2007
Burdy, L. ; Huisman, M. ; Pavlova, M.
LECTURE NOTES IN COMPUTER SCIENCE. (4422):215-229

Konferenz

Prüfe Verfügbarkeit

JAVA MUSIC SPECIFICATION LANGUAGE AND MAX/MSP
International computer music conference
Didkovsky, N. ; Crawford, L.
PROCEEDINGS OF THE INTERNATIONAL COMPUTER MUSIC CONFERENCE. :620-623

Konferenz

Prüfe Verfügbarkeit

466-086: Real Time Meta Event Specification Language for Java
International conference on parallel and distributed computing systems
Caruso, V. ; Midonnet, S.
PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS. CONF 17:169-174

Konferenz

Prüfe Verfügbarkeit

JAVA MUSIC SPECIFICATION LANGUAGE, V103 UPDATE
Computer music; ICMC 2004
Didkovsky, N.
PROCEEDINGS OF THE INTERNATIONAL COMPUTER MUSIC CONFERENCE. 30:742-745

Konferenz

Prüfe Verfügbarkeit

RECENT COMPOSITIONS AND PERFORMANCE INSTRUMENTS REALIZED IN JAVA MUSIC SPECIFICATION LANGUAGE
Computer music; ICMC 2004
Didkovsky, N.
PROCEEDINGS OF THE INTERNATIONAL COMPUTER MUSIC CONFERENCE. 30:746-749

Konferenz

Prüfe Verfügbarkeit

Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems
International workshop on computer aided systems theory; EUROCAST 2003
Fuzitaki, C. N. ; Menezes, P. B. ; Machado, J. P. ; et al.
LECTURE NOTES IN COMPUTER SCIENCE. :243-252

Konferenz

Prüfe Verfügbarkeit

JAVA MUSIC SPECIFICATION LANGUAGE, AN INTRODUCTION AND OVERVIEW
International computer music conference
Didkovsky, N. ; Burk, P.
PROCEEDINGS OF THE INTERNATIONAL COMPUTER MUSIC CONFERENCE. :123-126

Konferenz

Prüfe Verfügbarkeit

JCML: A specification language for the runtime verification of Java Card programs
da Costa, U. S. ; Moreira, A. M. ; Musicante, M. A. ; et al.
SCIENCE OF COMPUTER PROGRAMMING. 77(4):533-550

Zeitschrift

Prüfe Verfügbarkeit

Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java
Sung, K.-Y.
LECTURE NOTES IN COMPUTER SCIENCE. (2093):530-539

Zeitschrift

Prüfe Verfügbarkeit

A Formal Specification of the Java Bytecode Language and Bytecode Verifier
Freund, S. ; Mitchell, J. C.
ACM SIGPLAN NOTICES. 34(10):147-166

Zeitschrift

Prüfe Verfügbarkeit

Java as a Specification Language for Hardware-Software Systems
Digest of Technical Papers
Helaihel, R. ; Olukotun, K.
IEEE INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN. :690-699

Zeitschrift

Prüfe Verfügbarkeit

Automatic Translation from Combined B and CSP Specification to Java Programs
B 2007: formal specification and development in B
Yang, L. ; Poppleton, M. R.
LECTURE NOTES IN COMPUTER SCIENCE. (4355):64-78

Konferenz

Prüfe Verfügbarkeit

A Formal Specification of the Java Bytecode Language and Bytecode Verifier
Object-oriented programming systems, languages, and applications
Freund, S. ; Mitchell, J. C.
ACM SIGPLAN NOTICES. 34(10):147-166

Konferenz

Prüfe Verfügbarkeit

Synthesis of Interface Specifications for Java Classes
POPL 2005: the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages
Alur, R. ; Cerny, P. ; Madhusudan, P. ; et al.
ACM SIGPLAN NOTICES. 40(1):98-109

Konferenz

Prüfe Verfügbarkeit

1
2
3
4
5
6
7
8
9
10
11
weiter

Suchfilter entfernen

VolltextzugriffDurch Fachleute geprüftAuch Volltexte der Artikel durchsuchen

Datenbank

Complementary Index 63.608 Business Source Ultimate 6.237 BASE 3.729 Books at JSTOR 1.337 IEEE Xplore Digital Library 821 American Antiquarian Society (AAS) Historical Periodicals Collection: Series 4 743 mehr ...

Treffer 1 - 20 von 80.975

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Treffer weiter einschränken