Zhongxing Yu, Chenggang Bai, Lionel Seinturier, Martin Monperrus,
... perform the first large-scale empirical study about Java annotations on 1,094 notable open-source projects hosted ... designers in order to improve all facets of Java annotation engineering.
Tópico(s): Software System Performance and Reliability
2020 - IEEE Computer Society | IEEE Transactions on Software Engineering
Irene Córdoba-Sánchez, Juan de Lara,
... language for the effective design and validation of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the ... has been tested using a real set of annotations from the Java Persistence API (JPA). Within this subset we have ...
Tópico(s): Software Testing and Debugging Techniques
2016 - Elsevier BV | Computer Languages Systems & Structures
... inspection by another component or library at runtime. Java Annotations were introduced into the Java language in 2004 and have become widely used ... of the examples in this paper use the Java Persistence API, AnnaBot is capable of verifying anyannotation-based API for which “claims”—description of annotation usage—are available. These claims can be written in Java or using a proposed Domain-Specific Language, which ...
Tópico(s): Logic, programming, and type systems
2009 - Hindawi Publishing Corporation | Advances in Software Engineering
Alexander Bergmayr, Michael Grossniklaus, Manuel Wimmer, Gerti Kappel,
... considerably smaller compared to the number of existing Java libraries using annotations. This is because an effective mapping between Java and UML to generate profiles from annotation-based libraries is missing. In this paper, we ... thereby continuing existing mapping efforts by emphasizing on annotations and profiles. We demonstrate the practical value of JUMP by contributing profiles that facilitate reverse-engineering and forward-engineering scenarios for the Java platform. The evaluation of JUMP shows that profiles ...
Tópico(s): Advanced Software Engineering Methodologies
2014 - Springer Science+Business Media | Lecture notes in computer science
Jeremy W. Nimmer, Michael D. Ernst,
... Daikon, inserts its output into code as ESC/Java annotations, and then runs ESC/Java, which reports unverifiable annotations. The entire process is completely automatic, though users may provide guidance in order to improve results if desired. In preliminary experiments, ESC/Java verified all or most of the invariants proposed ...
Tópico(s): Software Testing and Debugging Techniques
2001 - Elsevier BV | Electronic Notes in Theoretical Computer Science
Cormac Flanagan, K. Rustan M. Leino,
... modular checker ESC/Java. To infer suitable ESC/Java annotations for a given program, Houdini generates a large number of candidate annotations and uses ESC/Java to verify or refute each of these annotations. The paper describes the design, implementation, and preliminary ...
Tópico(s): Formal Methods in Verification
2001 - Springer Science+Business Media | Lecture notes in computer science
Tim A. Majchrzak, Herbert Kuchen,
... logic languages such as suitability for search problems. Java annotations and a symbolic Java virtual machine are used to handle the logic ...
Tópico(s): Formal Methods in Verification
2011 - Springer Science+Business Media | Lecture notes in computer science
Christian Wimmer, Michael Haupt, Michael L. Van De Vanter, Mick Jordan, Laurent Daynès, Douglas N. Simon,
... as refactoring, auto-completion, and code navigation. Finally, Java annotations enable compiler extensions for low-level “systems programming” while retaining IDE compatibility. These techniques collectively make complex system software more “approachable” than has been typical in the past. The Maxine VM, a metacircular Java VM implementation, has aggressively used these features since ...
Tópico(s): Cloud Computing and Resource Management
2013 - Association for Computing Machinery | ACM Transactions on Architecture and Code Optimization
André L. Santos, Brad A. Myers,
... Dacite, a tool which comprises a set of Java annotations and an accompanying plugin for the Eclipse IDE. ...
Tópico(s): Software Testing and Debugging Techniques
2017 - Elsevier BV | Journal of Systems and Software
... with additional demands on programming environment since reflective Java annotations were used as an entry for these expressions. Moreover, additional semantics need not to be written by the programmer directly to the code, but it can be collected from non-programmers using a graphic user interface. The mapping that allows the transformation of the semantically enriched Java code into the Semantic Web language OWL was ...
Tópico(s): Advanced Database Systems and Queries
2015 - Frontiers Media | Frontiers in Neuroinformatics
Morteza Golkarifard, Ji Yang, Zhanpeng Huang, Ali Movaghar, Pan Hui,
... Dandelion includes a programmer-friendly framework based on Java annotation, a lightweight offloading service, and a runtime task ...
Tópico(s): Cloud Computing and Resource Management
2018 - IEEE Computer Society | IEEE Transactions on Mobile Computing
Matúš SulĂr, Jaroslav Porubän,
... obtained when executing the program are written as Java annotations over program elements.First, the viability of this ...
Tópico(s): Software Reliability and Analysis Research
2017 - Technical University of Košice | Acta Electrotechnica et Informatica
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini,
... system under test is instrumented by using simple Java annotations on methods to link the implementation to its ...
Tópico(s): Software System Performance and Reliability
2017 - Springer Science+Business Media | Lecture notes in computer science
Craig A. Morioka, Frank Meng, Ricky K. Taira, James W. Sayre, Peter Zimmerman, David Ishimitsu, Jimmy Xiangji Huang, Luyao Shen, Suzie El‐Saden,
... for AAA screening. Using the results from JAPE (Java Annotation Pattern Engine) transducer rules, we developed a feature ...
Tópico(s): Advanced X-ray and CT Imaging
2016 - Springer Science+Business Media | Journal of Digital Imaging
Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä,
... call and return specifications can be expressed with Java annotations in several different ways: as past time LTL ...
Tópico(s): Formal Methods in Verification
2009 - Springer Science+Business Media | Lecture notes in computer science
Elder Cirilo, Uirá Kulesza, Carlos Lucena,
... implementation of our tool. A set of specific Java annotations are also defined to allow generating automatically many ...
Tópico(s): Model-Driven Software Engineering Techniques
2008 - Verlag der Technischen Universität Graz | JUCS - Journal of Universal Computer Science
Botao Zhong, Haitao Wu, Ran Xiang, Jiadong Guo,
... semantic relations. Based on the proposed ontology model, Java Annotation Patterns Engine (JAPE) rules were encoded to extract ...
Tópico(s): Semantic Web and Ontologies
2021 - American Society of Civil Engineers | Journal of Construction Engineering and Management
Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati,
... is implemented in the 2COMM framework and exploits Java annotations. 2COMM is based on the Agent & Artifact meta- ...
Tópico(s): Logic, programming, and type systems
2014 - Springer Science+Business Media | Lecture notes in computer science
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene,
... recognized. The technique we propose makes use of Java annotations, which link the concrete implementation to its formal ...
Tópico(s): Software Testing and Debugging Techniques
2012 - Springer Science+Business Media | Lecture notes in computer science
Daniel Glez‐Peña, Miguel Reboiro‐Jato, Paulo Maia, Miguel Rocha, Fernando Díaz, Florentino Fdez‐Riverola,
... a flexible scripting platform and takes advantage of Java annotations, reflection and various design principles in order to ...
Tópico(s): Biomedical Text Mining and Ontologies
2010 - Elsevier BV | Computer Methods and Programs in Biomedicine
Andreas Vlachidis, Ceri Binding, Douglas Tudhope, Keith May,
... of Text Engineering (GATE) toolkit and expressed by Java Annotation Pattern Engine (JAPE) rules. Findings Initial results suggest ...
Tópico(s): Biomedical Text Mining and Ontologies
2010 - Emerald Publishing Limited | Aslib Proceedings
... annotation framework that substantially reduces compilation overhead of Java programs. Annotations consist of analysis information collected off-line and are incorporated into Java programs. The annotations are then used by dynamic compilers to guide ...
Tópico(s): Software System Performance and Reliability
2001 - Association for Computing Machinery | ACM SIGPLAN Notices
Chyan Yang, Liang‐Chu Chen, Chun‐Yen Peng,
... over 90 per cent, revealing that the JAPE (Java Annotation Patterns Engine) grammar rules in the IT domain ...
Tópico(s): Data Quality and Management
2006 - Emerald Publishing Limited | The Electronic Library
Patrice Chalin, Perry R. James,
With Java 5 annotations, we note a marked increase in tools that statically detect potential null dereferences. To be effective such ... advantages of better matching general practice, lightening developer annotation burden and being safer. We adapted the Eclipse JDT Core to support the new semantics, including the ability to read the extensive API library specifications written in the Java Modeling Language (JML). Issues of backwards compatibility are ...
Tópico(s): Software System Performance and Reliability
2007 - Springer Science+Business Media | Lecture notes in computer science
Catherine Kelly, Anita Szabó, Nikolas Pontikos, Gavin Arno, Peter N. Robinson, Julius O.B. Jacobsen, Damian Smedley, Valentina Cipriani,
... and phenotype databases version 2109; default Ensembl transcript annotation):java -Xms2g -Xmx4g -jar exomiser-cli-13.0.0.jar –analysis single-sample-analysis-settings.yml A few representative sections of the HTML output file from the analysis of one single sample are reported in Figure S1 in the supplemental information online. Tab-separated (tsv) output files containing a variety of relevant information for the filtered and prioritised variants (including functional annotation, allele frequency in publicly available databases, the gene- ...
Tópico(s): Genomic variations and chromosomal abnormalities
2022 - Elsevier BV | Trends in Genetics
Patrice Chalin, P.R. James, Frédéric Rioux,
With Java 5 annotations, the authors note a marked increase in tools that can statically detect potential null dereferences. To be ... advantages of better matching general practice, lightening developer annotation burden and being safer. The authors also describe the Eclipse Java Modelling Language (JML) Java Development Tooling (JDT), a ...
Tópico(s): Advanced Software Engineering Methodologies
2008 - Institution of Engineering and Technology | IET Software
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro,
... HLA_ACTOR_REPAST. The mapping techniques, assisted by Java text annotations and aspect-oriented programming, try to minimize “code ...
Tópico(s): Advanced Database Systems and Queries
2010 - Elsevier BV | Simulation Modelling Practice and Theory
... in the website. Besides, POI was built through Java, and annotation and image information were marked so as to ...
Tópico(s): Simulation and Modeling Applications
2019 - Taylor & Francis | Enterprise Information Systems
Mohamed M. Saad, Binoy Ravindran,
... decisions. We propose a simple programming model using (Java 5) annotations to define critical sections and remote methods. Instrumentation ...
Tópico(s): Intracranial Aneurysms: Treatment and Complications
2011 - Springer Science+Business Media | Lecture notes in computer science
Ana Azevedo, Alex Nicolau, Joe Hummel,
... makes use of code annotations generated by a Java bytecode compiler. These annotations carry information concerning compiler optimizations. During the translation process, an annotation-aware Java Virtual Machine (JVM) system then uses this information to produce high-performance native code without performing much of the necessary analyses or transformations. We describe the implementation of a prototype of an annotation-aware JVM consisting of an annotation-aware JIT ...
Tópico(s): Advanced Data Storage Technologies
2000 - Wiley | Concurrency Practice and Experience