
	Where results make sense

Topic: Java Modeling Language

Related Topics

Java programming language

Java island

Java platform

Java virtual machine

Java Sea

Battle of the Java Sea

Java Servlets

West Java

Enterprise Java Beans

Java applet

East Java

Swing Java

In the News (Fri 1 Jan 10)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	The Java Modeling Language (JML) Home Page
		The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules.
		Concordia University in Montreal, is working on language improvements (a new assertion semantics, non-null by default and arbitrary precision arithmetic) and their support in the Common (formerly ISU) JML tools and ESC/Java2.
		JML is an open project, and we welcome the participation of other groups.
	www.cs.iastate.edu /~leavens/JML/index.shtml (927 words)

	Java programming language - Wikipedia, the free encyclopedia
		Unlike conventional languages which are generally designed to be compiled to native code, Java is compiled to a bytecode which is then run (generally using JIT compilation) by a Java virtual machine.
		Java can be considered a less pure object-oriented programming language than for instance Ruby or Smalltalk because it makes certain compromises (such as the fact that not all values are objects) for performance reasons.
		Java libraries that are the compiled byte codes of source code developed by the JRE implementor to support application development in Java.
	en.wikipedia.org /wiki/Java_programming_language (5257 words)

	Specification language - Wikipedia, the free encyclopedia
		A specification language is a formal language used in computer science.
		Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during system analysis, requirements analysis and design.
		The result of such a refinement process is an executable algorithm, which is either formulated in a programming language, or in an executable subset of the specification language at hand.
	en.wikipedia.org /wiki/Specification_language (219 words)

	JVW 2002: Workshop on Java Verification
		JML is an open project that is intended to foster some commonality among the specification notations used by various groups doing research on formal methods for Java programs.
		JML is joint work with several colleagues at Iowa State University (including Clyde Ruby, Albert Baker, Yoonsik Cheon, and Curtis Clifton) and is done in cooperation with Rustan Leino's ESC/Java group, Bart Jacobs's LOOP group at the University of Nijmegen, and Michael Ernst's Daikon group at MIT.
		JML also follows Leino and Nelson in using depends clauses to "loosen up" the semantics of frame axioms (modifies clauses); this allows concrete locations to be modified when the specification allows abstract locations that depend on the concrete locations to be modified.
	www.cse.ogi.edu /PacSoft/conf/jvw02 (4550 words)

	Java programming language - JavaBeat
		Java 1.0a was made available for download in 1994, but the first public release of Java and the HotJava web browser came on May 23, 1995, at the SunWorld conference.
		Java is also used in the Matlab mathematics program for rendering the user interface and for part of the calculation functionality.
		Java can be considered a less pure object-oriented programming language than for instance Ruby or Smalltalk because it makes certain compromises (such as the fact that not all values are objects) for performance reasons.
	www.javabeat.net /javabeat/wiki/index.php?title=Java_programming_language (4883 words)

	JML (Site not responding. Last check: 2007-10-09)
		JML is a behavioral interface specification language for Java(TM).
		That is it checks both Java source code and the JML annotations in source code and JML files.
		JML is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version.
	people.csail.mit.edu /cpacheco/JML/docs/man/jml.html (839 words)

	Green Hat Journal: Java Modeling Language (Site not responding. Last check: 2007-10-09)
		However, the specification language is far too complex for the average IT developer to use and it fails to deliver enough bang for the effort.
		JML is a behavioral specification language for Java.
		There are a number of tools provided by the JML distribution: assertion checkers, a test code generator that works with junit, and a documentation generator (similar to javadoc).
	rover.cs.northwestern.edu /~surana/blog/past/000148.html (369 words)

	Exploring the New Frontier: Java Technology Powers the "Post-Genomic" Era
		The In Silico Cell modeling process is further facilitated using the CellML modeling language, a free, open standard, XML-based modeling language for describing biological processes at the cellular and subcellular levels.
		Java technology has also proven vital in terms of communicating with legacy systems at the various national laboratories that lie at the heart of the work being done in post-genomic research.
		Java technology appears to be riding a wave of increasing adoption in the biotechnology realm.
	java.sun.com /features/2001/10/genome2.html (2238 words)

	The Java programming language
		Java didn't set out to be a better C for every programmer, and in fact had an identity crisis early in its life.
		Java still has the distinction between value and reference, but it is handled automatically: "primitive" types (such as integers) are always accessed by value, complex types (objects and arrays) are always accessed by reference.
		Java compilers are stricter than C compilers about issuing errors or warnings about dangerous casts, but it is still possible to create bugs, particularly with primitive types.
	www.outbacksoftware.com /java/java.html (6403 words)

	{cs6110, Project Proposal\footnote{This proposal is composed of 2 parts: one is about brief description of JML and ...
		By the ability for sml to represent non functional programming language, which is called imperative language, we want to expand the capability of HOL-4 to that kinds of progamming language in specification and verification.
		The JML can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files.
		The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification type-checking, runtime debugging, static analysis, and verification.
	www.cs.utah.edu /~skchoe/projects/jml_hol4/Krak_prop.html (1811 words)

	SoS research - JML (Site not responding. Last check: 2007-10-09)
		JML, which stands for Java Modeling Language, is a specification language for Java.
		JML can be used to to specify the behaviour and detailed design of Java programs, by adding annotations to Java source files.
		The initiative in the development of JML was taken by Gary Leavens at Iowa State University, but the development of JML and tools for JML has grown into a cooperative, open effort, involving many people world-wide.
	www.sos.cs.ru.nl /research/jml/main.html (275 words)

	JOT: Journal of Object Technology - ECOOP 2003 workshop FTfJP,JML Support for Primitive Arbitrary Precision Numeric ...
		A key language design principle of JML has been to preserve the semantics of Java to the extent possible: that is, if a phrase is valid in Java and JML, then it should have the same meaning in both languages.
		Although JML builds upon Java by adding language constructs for the purpose of expressing specifications, it remains that core Java phrase sets, like expressions, are (for the most part) shared by both languages.
		The current definition of JML states that the expressions in the requires and ensures clauses of Figure 1 are to be interpreted using the semantics of Java.
	www.jot.fm /issues/issue_2004_06/article3 (6096 words)

	Getting started with JML (Site not responding. Last check: 2007-10-09)
		The scoping rules for JML are analogous to the corresponding rules in the Java language.
		JML specifications are inherited by subclasses and classes implementing interfaces (unlike the assert statement in J2SE 1.4).
		The JML keyword indicates that a specification is combined with specifications inherited from ancestor classes and from interfaces being implemented.
	www-106.ibm.com /developerworks/java/library/j-jml.html (3106 words)

	Project Proposal (Site not responding. Last check: 2007-10-09)
		One language, JML (Java Modeling Language), is a specification language tightly integrated with the Java programming language.
		The other language, Ljala, is one of the family of Larch interface languages, and thus uses Larch's two-tierd approach to specifications.
		The primary aspect I will investigate is how well the formal specification languages map to the Java language, and what advantages they provide when applied in a real software application.
	www-plan.cs.colorado.edu /~hauswirt/ChimeraSpec/proposal.html (568 words)

	Getting started with JML
		The open-source JML compiler (see Resources) can be used when we want to compare the actual behavior of a class to its JML specifications.
		The scoping rules for JML are analogous to the corresponding rules in the Java language.
		JML specifications are inherited by subclasses and classes implementing interfaces (unlike the assert statement in J2SE 1.4).
	www-128.ibm.com /developerworks/java/library/j-jml.html?ca=degr-L297startjml (3106 words)

	Eclipse Modeling Project
		The Eclipse Modeling Project focuses on the evolution and promotion of model-based development technologies within the Eclipse community by providing a unified set of modeling frameworks, tooling, and standards implementations.
		Model Query (MQ) : facilitates the process of search and retrieval of model elements of interest in a flexible yet controlled and structured manner.
		Model to Model Transformation (M2M) : will deliver an extensible framework for model-to-model transformation languages, with an exemplary implementation of the QVT Core language.
	eclipse.org /modeling/index.php (798 words)

	Preliminary Design of JML: A Behavioral Interface Specification Language for Java - Leavens, Baker, Ruby (ResearchIndex) (Site not responding. Last check: 2007-10-09)
		It also allows assertions to be intermixed with Java code, as an aid to verification and debugging.
		JML is designed to be used by working software engineers, and requires only modest mathematical training.
		To achieve this goal, JML uses Eiffel-style assertion syntax combined with the model-based approach to specifications typified by VDM and Larch.
	citeseer.ifi.unizh.ch /40586.html (803 words)

	Overview of Sun Java Studio Enterprise 8 IDE
		Java platform model — This model creates a platform-dependent modeling project in the system with empty containers for the model and elements.
		Project derived from an import of an IBM Rational Rose model — Java Studio Enterprise 8 populates this type of project with elements that are imported from a Rose model.
		Java Studio Enterprise 8 collects performance data from the multiple components and containers associated with the application and presents them in tabular or graphical form.
	developers.sun.com /prodtech/javatools/jsenterprise/reference/techart/jse8/jse8overview.html (1636 words)

	CNN - What's brewing in Java's future? - June 15, 1999 (Site not responding. Last check: 2007-10-09)
		Groups such as the Java Lobby, an organization of more than 36,000 Java developers who are committed to an open and standardized Java, are trying to make their voices heard on various issues.
		Jack Stephenson, a senior systems analyst and Java developer at Smarthealth, a Winnipeg, Canada-based consulting firm that focuses on information systems within the healthcare industry, believes that active measures, such as the development of the Java Plug-in, are more effective than using the courts in advancing the cause of Java.
		The Java Lobby recently hosted an interview with J Consortium members to find out what this consortium is all about and whether or not its goal could lead to Java's fragmentation.
	www.cnn.com /TECH/computing/9906/15/java.idg (4008 words)

	ONJava.com -- UML Modeling for Java with Rhapsody
		This is possible because the model should be logically consistent; the editor doesn't allow things that are illegal in the modeling language.
		For those who want to incorporate existing Java code, or rewrite some of the generated code manually, Rhapsody in J can encapsulate changes to the code, incorporate them back into the model, thus keeping the model and code synchronized.
		The value of Rhapsody is its use of a widely accepted, formal modeling language as the basis for design, and in a unique ability to incorporate code written by hand into the model.
	www.onjava.com /pub/a/onjava/2001/01/25/uml_rhapsody.html (1172 words)

	The MultiJava Project
		Java programming language that adds open classes and symmetric multiple dispatch.
		JML supports specifications ranging from simple design-by-contract (think pre- and post-conditions) to full abstract modelling, which allows complete formal specification of behavior without exposing the implementation.
		JML tools built atop mjc include a specification type checker (jml), run-time assertion checker (jmlc), HTML documentation generator (jmldoc), and a facility for automatically generating JUnit test cases for classes from their specifications (jmlunit).
	multijava.sourceforge.net (501 words)

	Computer Science Colloquia (Site not responding. Last check: 2007-10-09)
		JML is a behavioral interface specification language being developed to specify Java program modules.
		JML incorporates several enhancements to the pre- and postcondition technique that make specifications more expressive.
		In Java, if a class S is declared to extend (subclass) a class T, or if T is an interface that S implements, then Java considers the type S to be a subtype T. However, this subtyping does not guarantee that reasoning about S objects as if they were T objects is valid.
	www.cs.uiowa.edu /Events/Colloquia/2000/colloquium.2000.9.5.html (191 words)

	MulSaw Project Web Page
		JML), and the same opportunities for generation of run-time assertions.
		Using partial models in place of code, it is also possible to analyze object-oriented designs in the abstract: investigating, for example, a view relationship amongst objects.
		The heart of Korat is a technique for automatic test case generation: given a predicate and a bound on the size of its inputs, Korat generates all nonisomorphic inputs for which the predicate returns true.
	mulsaw.lcs.mit.edu /#papers (867 words)

	Web / Programming / Java - WebReference.com
		This is a tutorial starting with basic issues in the Java language with regard to applets, particularly for beginners or knowledgeable programmers who wish to make online Java presentations or games.
		Java has come a long way since the Tumbling Duke applet days of yesteryear; now it's being used on the server side.
		Bruce Eckel, who writes for Web Techniques magazine as their Java columnist and has a number of books to his credit, decided that the best way to promote his new book would be to give the electronic version away for free.
	www.webreference.com /programming/java/tutorials.html (544 words)

	Eclipse Modeling Project Proposal
		In contrast, it is expected that users will create and maintain languages for narrowly defined problem domains using the project facilities, but that these languages and models will not be of interest to the general modeling community.
		The transformation of models using a transformation definition and associated technologies falls within the scope of the project, and is currently provided by the Generative Model Transformer (GMT) project.
		Text generation from a model, typically source code of some programming source language, including the merger of user changes to generated output, is within the scope of the project and currently provided by the Java Emitter Template (JET) and JMerge portions of EMF.
	www.eclipse.org /proposals/modeling (1732 words)

Try your search on: Qwika (all wikis)