Results 251 to 260 of about 109,966 (284)

Modeling the Knowledge Domain of the Java Programming Language as an Ontology

Lecture Notes in Computer Science, 2012
Java is a very popular programming language and many study programs in Informatics worldwide include courses particularly designed for its learning. It is considered as the best paradigm for introducing students with object-oriented programming and concepts.
Aggeliki Kouneli, Georgia Solomou, Christos Pierrakeas, Achilles Kameas   +3 more
exaly   +2 more sources

Model-aware language specification with Java

2015 13th International Conference on Engineering of Modern Electric Systems (EMES), 2015
Tools that support development of parsers often concentrate on concrete syntax, leaving abstract syntax defined only implicitly. On the other hand there are projectional language workbenches that give central role to language model (abstract syntax) at the cost of locking a language to the concrete tool.
Jaroslav Poruban, Sergej Chodarev
openaire   +1 more source

Implementing Java modeling language contracts with AspectJ

Proceedings of the 2008 ACM symposium on Applied computing, 2008
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java applications. However, instrumented object program generated by the JML compiler use the Java reflection mechanism and data structures not supported by Java ME applications.
Henrique Rebêlo, Sérgio Soares, Ricardo Lima, Leopoldo Ferreira, Márcio Cornélio   +4 more
openaire   +1 more source

Study of Java Language Teaching Model in Private Colleges

Advanced Materials Research, 2011
The purpose of set java language in private college is to train students to use the Java program for software development capability. In this paper, private colleges teaching Java programming status and problems are analyzed and discussed, and some improvements in order to achieve the effect of improving teaching quality.
Zhen Zhong Zhan, Zhen Dong Mu
openaire   +1 more source

Non-null references by default in the Java modeling language

ACM SIGSOFT Software Engineering Notes, 2005
Based on our experiences and those of our peers, we hypothesized that in Java code, the majority of declarations that are of reference types are meant to be non-null. Unfortunately, the Java Modeling Language (JML), like most interface specification and object-oriented programming languages, assumes that such declarations are possibly-null by default ...
Patrice Chalin, Frédéric Rioux
openaire   +1 more source

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