Results 1 to 10 of about 109,966 (284)
Object-oriented Programming Laws for Annotated Java Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL).
Gabriel Falconieri Freitas +3 more
doaj +4 more sources
A Logic for the Java Modeling Language JML [PDF]
Lecture Notes in Computer Science, 2001 This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows assertions like invariants, constraints, pre- and post-conditions, and modifiable clauses as annotations to Java classes, in a design-by-contract style.
Bart Jacobs, Erik Poll
exaly +3 more sources
Formal Specification with the Java Modeling Language
Lecture Notes in Computer Science, 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
exaly +3 more sources
The virtual reality modeling language and Java
Communications of the ACM, 1998 The Virtual Reality Modeling Language (VRML) and Java provide a standardized, portable and platform- independent way to render dynamic, interactive 3D scenes across the Internet. Integrating two powerful and portable software languages provides interactive 3D graphics plus complete programming capabilities plus network access.
exaly +3 more sources
SurgeryMate app: developing and evaluating a training app for surgical instruments and operating room equipment [PDF]
BMC Medical EducationIntroduction Operating Room (OR) students require thorough familiarity and proper usage of surgical instruments and OR equipment before entering clinical settings. Mobile apps offer significant potential for training support.
Sorayya Rezayi +4 more
doaj +2 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
exaly +2 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
JavaBERT: Training a Transformer-Based Model for the Java Programming Language [PDF]
2021 36th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), 2021 6 pages, to appear in the Proceedings of the 9th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE'2021)
de Sousa, Nelson Tavares +1 more
openaire +2 more sources
Verification of class liveness properties with Java modelling language [PDF]
IET Software, 2008 Static checking is key for the security of software components. As a component model, this paper considers a Java class enriched with annotations from the Java Modeling Language (JML). It defines a formal execution semantics for repetitive method invocations from this annotated class, called the class in isolation semantics.
Giorgetti, Alain +3 more
openaire +3 more sources
Modeling Languages for Internet of Things (IoT) Applications: A Comparative Analysis Study
Mathematics, 2023 Modeling languages have gained ever-increasing importance for the Internet of Things (IoT) domain for improving the productivity and quality of IoT developments.
Sadik Arslan +2 more
doaj +1 more source