Results 11 to 20 of about 4,975 (191)
Facilitation for Undergraduate College Students to Learn Java Language Using E-Learning Model
International Journal of Interactive Mobile Technologies (iJIM), 2022 The use of modern programming in Java has become widely used in the e-learning model to help the student learn in the right place and time. Students have difficulty learning Java and are time-consuming without the benefit of understanding the material.
Ghaliya Alfarsi +3 more
openalex +4 more sources
Formal Specification with the Java Modeling Language
, 2016 This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It appears in a book about the KeY approach and tool, because JML is the dominating starting point of KeY style Java verification. However, this chapter does not depend on KeY, nor any other specific tool, nor on any specific verification ...
Marieke Huisman +3 more
openalex +4 more sources
A runtime assertion checker for the Java Modeling Language
, 2003 The Java Modeling Language (JML) is a formal behavioral interface specification language (BISL) for Java. JML has many advances including specification-only declarations, specifications of interfaces, stateful interfaces, multiple inheritance of specifications, and behavioral subtyping.
Yoonsik Cheon
openalex +5 more sources
Formal Semantics for the Java Modeling Language
, 2009 Diese Arbeit beschäftigt sich mit der Semantik der Java Modeling Language (JML). JML is eine weitverbreitete Spezifikationssprache, die speziell auf Java zugeschnitten ist und sowohl zur statischen als auch zur Laufzeitanalyse von Programmen verwandt wird.
Daniel Bruns
openalex +5 more sources
A machine-checked model for a Java-like language, virtual machine, and compiler [PDF]
ACM Transactions on Programming Languages and Systems, 2006 We introduce Jinja, a Java-like programming language with a formal semantics designed to exhibit core features of the Java language architecture. Jinja is a compromise between the realism of the language and the tractability and clarity of its formal semantics.
Gerwin Klein, Tobias Nipkow
openalex +3 more sources
A modelling language for the effective design of Java annotations [PDF]
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015 This paper describes a new modelling language for the effective design of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects.
Irene Córdoba, Juan de Lara
openalex +5 more sources
Roundtrip Engineering using Unified Modeling Language with Rational Rose and JAVA
International Journal of Computer Applications, 2010 Sometimes documentation only available for the post delivery maintenance is the source code itself. This happens all too frequently when maintaining legacy systems, i.e. software in current use but developed not earlier than 15 or 20 years .Under these circumstances, maintaining the code can be extremely difficult.
G T Raju, K. Koteswara Rao, Mandira Roy
openalex +2 more sources
A New Mathematical Model of Exception Handling in Java Object Oriented Language
International Journal of Computer Applications, 2014 Srivastav et al already published several papers where the authors tried to explain the various aspects of object oriented language like Java using some simple mathematical model or functions. The authors have already studied the general properties of Java language such as object, class, inheritance, multithreaded concepts using simple mathematical ...
Manoj KumarSrivastav, Asoke Nath
openalex +2 more sources
JAVANESE CULTURAL WORDS IN LOCAL NEWSPAPERS IN CENTRAL JAVA AS A LANGUAGE MAINTENANCE MODEL
Jurnal Humaniora, 2016 Javanese cultural words are the linguistic units which are very specific to Javanese culture and society. This article aims at describing what Javanese cultural words that are found in the local newspapers, what they represent, and why they are used in the local newspapers in Central Java.
Deli Nirmala
openalex +5 more sources
Journal of Computing Research and Innovation, 2021 Poverty is a fundamental problem that several districts and cities have, especially in West Java province. One important aspect to support the Poverty Reduction Strategy is the availability of poverty data that is accurate and on target with good ...
Agnia Dwi Khasanah +1 more
doaj +5 more sources