Results 151 to 160 of about 4,975 (191)

Tutorial on JML, the java modeling language

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, 2007
The Java Modeling Language (JML) is widely used in academic research as a common language for formal methods tools that work with Java. JML is a design by contract language that can be used to specify detailed designs of Java programs, frameworks, and class libraries.
openaire   +2 more sources

Automatic detection of feature interactions using the Java modeling language

Proceedings of the 15th International Software Product Line Conference, Volume 2, 2011
In the development of complex software systems, interactions between different program features increase the design complexity. Feature-oriented software development focuses on the representation and compositions of features. The implementation of features often cuts across object-oriented module boundaries and hence comprises interactions.
Wolfgang Scholz, Thomas Thüm, Sven Apel, Christian Lengauer   +3 more
openaire   +1 more source

Translating the Object Constraint Language into the Java Modelling Language

Proceedings of the 2004 ACM symposium on Applied computing, 2004
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints include class invariants and preconditions and postconditions of operations.
openaire   +1 more source

Faster and More Complete Extended Static Checking for the Java Modeling Language

Journal of Automated Reasoning, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
James, Perry R., Chalin, Patrice
openaire   +2 more sources

Eine formale Semantik für die Java Modeling Language

Informatik-Spektrum, 2011
Die Java Modeling Language (JML) wurde als Ansatz konzipiert, um das Spezifizieren von Software-Produkten einer breiteren Masse zuganglich zu machen. Die Sprache baut auf Java auf und wird in einer Vielzahl von Verifikationswerkzeugen eingesetzt. Im Gegensatz zu anderen Modellierungssprachen mangelt es JML jedoch weiterhin an einer fundierten formalen ...
openaire   +2 more sources

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

On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML)

2006 Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06), 2006
The Object Constraint Language (OCL) is a formal specification language that could be used for constraining the modelling elements that occur in UML diagrams. The Java Modeling Language (JML) is a behavioural interface specification language designed for specifying Java classes and interfaces.
openaire   +1 more source