Results 261 to 270 of about 109,966 (284)

The SCOOP Concurrency Model in Java-like Languages

2009
SCOOP is a minimal extension to the sequential object-oriented programming model for concurrency. The extension consists of one keyword (separate) that avoids explicit thread declarations, synchronized blocks, explicit waits, and eliminates data races and atomicity violations by construction, through a set of compiler rules.
Torshizi Faraz, Ostroff Jonathan S., Paige Richard F., Chechik Marsha   +3 more
openaire   +1 more source

Extending the model of ObjectTeams/Java programming language to distributed environments

Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution, 2010
ObjectTeams/Java realizes the Object Teams Model, a flexible and rigorous programming language model that combines aspect-oriented and collaboration-based concepts and integrates them with the object orientation model. OT/J establishes strong bonds through playedBy relationships between players and roles within a team (collaborations).
openaire   +1 more source

Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java

2000
Graph grammars and graph rewrite systems improved a lot towards practical usability during the last years. Nevertheless, there are still major problems to overcome in order to attract a broad number of software designers and developers to the usage of graph grammars and graph rewrite systems. Two of the main problems are, (1) that current graph grammar
Thorsten Fischer, Jörg Niere, Lars Torunski, Albert Zündorf   +3 more
openaire   +1 more source

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language

Proceedings of the 33rd International Conference on Software Engineering, 2011
Though there exists ample support for Design by Contract (DbC) for sequential programs, applying DbC to concurrent programs presents several challenges. In previous work, we extended the Java Modeling Language (JML) with constructs to specify concurrent contracts for Java programs.
Wladimir Araujo, Lionel C. Briand, Yvan Labiche   +2 more
openaire   +1 more source

A precise model for contextual roles: The programming language ObjectTeams/Java

Applied Ontology: An Interdisciplinary Journal of Ontological Analysis and Conceptual Modeling, 2007
A number of proposals exist concerning how to support the concept of roles at the level of programming languages. While some of these proposals indeed exhibit very promising properties, the concept of roles has not found its way into mainstream programming languages.
openaire   +1 more source

Automated Workflow Validation for Large Language Model Pipelines Using Python & Java

Computer Fraud and Security
This paper explains an automated system for checking language model workflows. Large language models, also called LLMs, go through many pipeline steps. These steps include cleaning data, processing prompts, integrating models, and producing results. Doing all these checks by hand takes time and creates mistakes.
openaire   +1 more source

A comprehensive review of State-of-The-Art methods for Java code generation from Natural Language Text

Natural Language Processing Journal, 2023
Jessica López Espejel, El Hassane Ettifouri   +1 more
exaly  

Non-null references by default in the Java modeling language

Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2006
exaly  

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022
openaire   +1 more source

A Catalog of Bad Smells in Design-by-Contract Methodologies with Java Modeling Language

Journal of Computing Science and Engineering, 2013
exaly