Java Modeling Language (JML)

Grok Headline matches for Java Modeling Language (JML)

Quantity Modeling Language 0.01

Quantity Modeling Language 0.01 06/30/2004 11:05 PM
A "thing"-based language for scientific data models.

Quantity Modeling Language 0.03

Quantity Modeling Language 0.03 08/05/2004 06:09 PM
A "thing"-based language for scientific data models.

Quantity Modeling Language 0.02

Quantity Modeling Language 0.02 07/28/2004 08:28 PM
A "thing"-based language for scientific data models.

Report: Unified Modeling Language

Report: Unified Modeling Language 08/20/2004 12:59 AM
more recommendations, Borland Together may be coming to the Mac

The Unified Modeling Language simplifies
software design

The Unified Modeling Language simplifies
software design 09/06/2002 10:43 PM
CNET Sep 6 2002 10:06PM ET

BEA, Compuware extend Java-modeling deal

BEA, Compuware extend Java-modeling deal 12/18/2003 03:28 PM

Interpreter of C++ in JAVA language

Interpreter of C++ in JAVA language 10/30/2003 04:56 PM
Pocztek

Java Remote Method Invocation Language
2.0.5b

Java Remote Method Invocation Language
2.0.5b 01/10/2004 01:31 AM
A simple Web service XML dialect for Java applications.

Java Remote Method Invocation Language
2.0.4

Java Remote Method Invocation Language
2.0.4 12/18/2003 07:22 PM
A simple Web service XML dialect for Java applications.

Java Remote Method Invocation Language
2.0.2

Java Remote Method Invocation Language
2.0.2 12/12/2003 10:09 PM
A simple Web service XML dialect for Java applications.

Java Remote Method Invocation Language
2.0.5

Java Remote Method Invocation Language
2.0.5 12/28/2003 09:28 PM
A simple Web service XML dialect for Java applications.

Java Language Conversion Assistant 3.0
(Beta)

Java Language Conversion Assistant 3.0
(Beta) 09/16/2004 01:39 AM
The Java Language Conversion Assistant is a tool that automatically converts existing Java-language code into Microsoft Visual C# for developers who want to move existing applications to the .NET Framework. Version 3.0 adds support for J2EE 1.3 functionality, including JDK 1.3, EJB, JAAS, JCE, JMS, JNDI, and RMI. Version 3.0 also adds enhanced support for migrating Swing-based applications. For information regarding this beta release, please see the Readme.

Java Remote Method Invocation Language
2.0.3

Java Remote Method Invocation Language
2.0.3 12/16/2003 02:59 PM
A simple Web service XML dialect for Java applications.

IBM further integrates modeling

IBM further integrates modeling 08/10/2004 12:03 PM
Updated tool supports spec for business process automation and improves integration with IBM's development tools and server software.

Threat modeling

Threat modeling 05/25/2004 01:22 PM
Michael Howard po ints to a free threat modeling tool written by Frank Swiderski, author of the forthcoming book Threat Modeling. The evolving formal discipline of threat modeling first came to my attention in 2000, when I read Bruce Schneier's Secre ts and Lies. This picture, from chapter 21 of that book, is worth a thousand words:

...

New IBM supercomputer to help with
weather modeling

New IBM supercomputer to help with
weather modeling 02/10/2004 05:35 PM
The machine will be be used by researchers at the University of California, Irvine, to predict the impact of global warming, pollution and other stresses on the Earth far into the future.

Threat Modeling Tool

Threat Modeling Tool 05/24/2004 11:15 PM
The Threat Modeling Tool allows users to create threat model documents for applications. It organizes relevant data points, such as entry points, assets, trust levels, data flow diagrams, threats, threat trees, and vulnerabilities into an easy-to-use tree-based view. The tool saves the document as XML, and will export to HTML and MHT using the included XSLTs, or a custom transform supplied by the user.

Modeling Framework 0.9pre16

Modeling Framework 0.9pre16 11/16/2003 01:49 PM
An object-relational bridge for Python.

Modeling Framework 0.9pre17

Modeling Framework 0.9pre17 02/17/2004 06:22 PM
An object-relational bridge for Python.

Web Service Modeling Ontology

Web Service Modeling Ontology 04/27/2004 05:56 AM
Web Service Modeling Ontology
http://www.wsmo.org/

The SDK WSMO working group, part of the SDK Cluster aligns the research and development efforts in the areas of Semantic Web Services between the SEKT, DIP and Knowledge Web research projects. Members of this working group include key participants with expertise in Semantic Web-related research areas. It is the mission of the SDK WSMO working group to, through alignment between key European research projects in the Semantic Web Service area, further the development of Semantic Web Services and works toward further standardization in the area of Semantic Web Service languages and to work toward a common architecture and platform for Semantic Web Services. WSMO working group includes the WSML working group, which aims at developing a language called Web Service Modeling Language (WSML) that formalizes the Web Service Modeling Ontology (WSMO). This has been added to the Semantic Web Research section of Deep Web Research Information Blog.

Use Visio for data modeling

Use Visio for data modeling 01/23/2004 02:19 PM
CNET Jan 23 2004 8:47AM GMT

Swift 3D 4 adds new modeling
environment, more

Swift 3D 4 adds new modeling
environment, more 07/13/2004 10:33 AM
Developer Electric Rain Inc. announced on Tuesday that Swift 3D 4.0 is now shipping for Windows, with a Mac version to follow in September. The application allows you to build vector- and raster-based 3D animations and export them to Macromedia Flash and other popular formats. Version 4.0 adds a better modeling environment, the ability to use Bezier curves with control handles to more precisely designate objects' paths, galleries of pre-built models, animations and other items that can be dragged and dropped into the workspace, performance enhancements and more.

Ars Hoodies redux: the modeling edition

Ars Hoodies redux: the modeling edition 09/03/2004 08:35 AM
rs Hoodies are now out, and orders have shipped and pictures are coming in. Hit the discussion thread for a look at what real life human beings look like when they shroud themselves in the mystery that is the hoodie.

A Mobile Robot For Modeling The World In
3D

A Mobile Robot For Modeling The World In
3D 11/03/2003 01:26 PM

IBM Takes On Microsoft Over Modeling
Tools

IBM Takes On Microsoft Over Modeling
Tools 07/24/2004 11:12 AM
UML support is a key distinction between Microsoft's VSTS and IBM Rational's "Atlantic" tool suite.

IBM delivers process-modeling boost

IBM delivers process-modeling boost 08/10/2004 05:29 PM
IBM said its WebSphere Business Integration Modeler Version 5 can be used to map complex supply chain, customer service and other corporate operations.

Modeling software including flowcharts

Modeling software including flowcharts 04/19/2004 08:27 AM
2.1.3 now available

Parasolid geometric modeling tool
released for OS X

Parasolid geometric modeling tool
released for OS X 07/01/2004 12:19 PM
UGS on Thursday announced that it's shipping Parasolid v16.0, a new major release of its geometric modeling component software. With this release Parasolid is available for Mac OS X for the first time. Parasolid acts as the geometric modeling foundation for other computer aided design, manufacturing and engineering analysis applications.

Eclipse unveils modeling framework
(InfoWorld)

Eclipse unveils modeling framework
(InfoWorld) 09/10/2002 01:46 PM

Modeling XML applications, part 4
(Software Development)

Modeling XML applications, part 4
(Software Development) 05/24/2002 12:51 AM

IBM adds to business process modeling
tool

IBM adds to business process modeling
tool 08/10/2004 07:33 PM
IBM is looking to improve business process modeling in its WebSphere Business Integration Modeler tool by backing an emerging Web services standard and building its product around the Eclipse development tool framework.

Improve app design with prototyping,
modeling, and storyboarding

Improve app design with prototyping,
modeling, and storyboarding 09/09/2002 10:39 PM
CNET Sep 9 2002 10:11PM ET

SimPowerSystems 3 enables complex power
modeling

SimPowerSystems 3 enables complex power
modeling 12/08/2003 02:18 PM
If you run, build, or design power plants for a living, this might be your day. MathWorks has announced the availability of SimPowerSystems 3, the latest version of their tool for modeling and simulating power systems. The software provides electrical engineers with the ability to analyze power system behavior in advance of the construction of costly physical prototypes. SimPowerSystems 3 has the ability to model and simulate self-contained power systems in everything from a car to a power generating plant.

Macworld: SketchUp 4 simplifies 3D
sketching, modeling

Macworld: SketchUp 4 simplifies 3D
sketching, modeling 07/14/2004 03:07 AM
@Last Software on Wednesday announced that it's shipping SketchUp 4.0, a new version of the company's 3D design software for Mac OS X and Windows. The software was released as a soft launch some weeks ago, but Wednesday marks the new version's official release, at Macworld Conference & Expo in Boston.

Luxology ships polygonal modeling app
modo

Luxology ships polygonal modeling app
modo 09/23/2004 06:07 PM
Luxology LLC noted on Wednesday that its new 3D polygonal modeling software modo is now available. Geared toward artists who need a larger toolset for working with 3D polygon and subdivision surface modeling, modo features hundreds of tools that can be modified by each other for additional options, a real-time modeling engine, a help system with integrated training video clips and the ability to fit it into existing 3D pipelines.

Microsoft to release threat-modeling
tool

Microsoft to release threat-modeling
tool 10/31/2003 05:14 PM
The tool can display threats in a diagram after information such as usage scenarios and the environment in which the application will run is entered.

"Microsoft Threat Modeling Resources
Page"

"Microsoft Threat Modeling Resources
Page" 06/12/2004 08:34 PM

Gates Calls Modeling 'High-End'
Development

Gates Calls Modeling 'High-End'
Development 07/29/2004 02:55 PM
Saying that modeling technology will "greatly simplify applications customization," Microsoft's Bill Gates once again touts its value at the company's financial analyst meeting.

NIH funds computer modeling of disease
outbreaks, responses

NIH funds computer modeling of disease
outbreaks, responses 05/07/2004 04:16 PM
Centre For Infectious Disease Research and Policy May 7 2004 8:23PM GMT
Grok Description matches for Java Modeling Language (JML)
GrokA matches for Java Modeling Language (JML)

Luxor Beta 5 released - GPL'ed Java XUL
toolkit (Java Lobby)

Luxor Beta 5 released - GPL'ed Java XUL
toolkit (Java Lobby) 07/03/2002 08:16 PM

Apple releases Java 3D, Java Advanced
Imaging update

Apple releases Java 3D, Java Advanced
Imaging update 12/18/2003 10:39 AM
Apple has released a Java 3D and Java Advanced Imaging update, which contains support for the two technologies...

Apple offers Java 3D and Java Advanced
Imaging Update

Apple offers Java 3D and Java Advanced
Imaging Update 12/18/2003 10:36 AM
Apple has posted Java 3D and Java Advanced Imaging Update, a software update aimed at users of Mac OS X v10.3.1 and Java 1.4.1 or higher. The new update is available as a 9.5MB download from Apple's Web site.

Book review: Java & XML Data Binding
(Java Pro)

Book review: Java & XML Data Binding
(Java Pro) 08/26/2002 08:32 AM

Critical Java Bug Targets Java Virtual
Machine

Critical Java Bug Targets Java Virtual
Machine 01/06/2005 12:02 PM

Quest For "Unbreakable Java" Unites ABAP
& Java

Quest For "Unbreakable Java" Unites ABAP
& Java 01/03/2005 12:11 PM

Sun renamed Java 1.5 to Java 2 Platform
Standard Edition 5.0

Sun renamed Java 1.5 to Java 2 Platform
Standard Edition 5.0 06/28/2004 07:54 PM
Across the street, Sun renamed Java 1.5 to Java 2 Platform Standard Edition 5.0. Who comes up with this stuff?

Java 3D and Java Advanced Imaging Update
1.0

Java 3D and Java Advanced Imaging Update
1.0 12/17/2003 09:38 PM
Extends the Java platform, providing additional capabilities for running three-dimensional graphics and more.

Java 3D and Java Advanced Imaging Update

Java 3D and Java Advanced Imaging Update 12/18/2003 05:48 AM
Apple has also released Java 3D and Java Advanced Imaging Update. This update contains support for Java3D and Java Advanced Imaging. Java 3D ext...

BlackJack for Java: A Java/Swing Oddessy

BlackJack for Java: A Java/Swing Oddessy 04/30/2004 06:19 AM
Texas Holdem

Java 1.4.2 Update Removes Java SDK

Java 1.4.2 Update Removes Java SDK 02/10/2004 02:49 AM
If you previously had Java 1.4.1 and the Java SDK installed, the new Java 1.4.2 update from apple will upgrade the Java runtime to 1.4.2, but will remove the previous 1.4.1 Java runtime and SDK without upgrading the JDK. To build Java packages in Fink you will need to go to connect.apple.com and download the Java 1.4.2 SDK (free registration required).

java.util.concurrent for Java 1.4

java.util.concurrent for Java 1.4 12/19/2004 03:06 PM

One of the shiniest new feature of Java 5.0 (aka Java 1.5) is a rich set of concurrent programming classes in java.util.concurrent (aka JSR 166), much of which is a direct port of Doug Lea's Concurrent Programming in Java library.  Since I don't have the luxury of using Java 5.0 yet, I've resorted to using Doug's original library which is, for the most part, functionally equivalent to java.util.concurrent but not close enough for comfort, particularly since concurrency code tend to be very sensitive to minor changes.

The good news is that Dawid Kurzyniec backported java.util.concurrent package to run under Java 1.4 and made it available as open source.  Apparently Sun is letting this happen because it's own code is based on Doug's open source library.

There are some shortcomings but nothing much to cry over.  My only complaint is that it doesn't use the java.util.concurrent package name which means I'll have to update the package names later (simple but still change nonetheless).  But that I can see the technical and legal issues preventing that from happening.  I am just glad someone did this.

XCode Forums - Cocoa Cocoa-Java Carbon
Java AppleScript

XCode Forums - Cocoa Cocoa-Java Carbon
Java AppleScript 06/24/2004 02:52 PM
General XCode Discussion, Project Discussion, Compatibility, Deployment, The Showroom. Languages: Cocoa, Cocoa-Java, Carbon, AppleScript, Java. Additional Topics: Graphics and Gaming, Interface Development

Java 1.5.0 Now Officially Java 5.0

Java 1.5.0 Now Officially Java 5.0 07/04/2004 06:56 PM

Top 6 XML and Java books
(java.about.com)

Top 6 XML and Java books
(java.about.com) 08/27/2002 11:51 AM

What Is Java?

What Is Java? 09/17/2004 11:38 PM
G4 Tech TV Sep 18 2004 4:22AM GMT

Java SOS 4.0

Java SOS 4.0 09/27/2004 06:42 AM
A Java servlets office suite.

Java 1.5

Java 1.5 01/01/2004 10:59 PM
Java 1.5 is coming, too.

Java Ho!

Java Ho! 05/11/2004 01:54 AM
Well, I think Genx is pretty well put to bed. (Need to generate XML? Need digital signatures? You need Genx.) So, in between endless phone/chat about WS-Uncluttering and Jython packaging and IETF process, I managed to start sketching out some next-project ideas today. And it’s going to be Java, I’ve been in the C-language mines for the past few years and that’s OK, but I work for Sun now and I ain’t going near Solaris internals, so Java Roolz OK ’round here, you hear? Wow, it’s grown since the last time I was in the neighborhood. Hey, I just loaded Ustr into NetBeans and it Just Worked, even got JUnit to run all the tests. This “object-oriented” stuff, it’ll catch on, just watch.

LPD in Java 0.6.0

LPD in Java 0.6.0 12/25/2003 03:15 AM
A line printer daemon protocol implementation.

ODE for Java

ODE for Java 07/14/2004 04:53 AM
Online Documentation available

Java, day #1

Java, day #1 12/17/2002 01:31 AM
Well today was my first day in my new job and it was time to get reacquainted with Java. My first task was to get the existing code base working on my Linux workstation (rather than fight the Java on...

BNF for Java

BNF for Java 07/27/2004 04:27 PM
Take time for CVS

LPD in Java 0.5.3

LPD in Java 0.5.3 12/03/2003 07:26 PM
A line printer daemon protocol implementation.

Java IM Bot

Java IM Bot 07/29/2004 12:03 PM
JIB version 0.1 release

Java 1.4.1

Java 1.4.1 03/13/2003 10:21 AM
Java developers on the Mac will be interested to note that Apple have made available version 1.4.1 for Mac OS X. Java 1.4.1 features a switch from Carbon to Cocoa for the GUI, 60% more features than 1.3.1, and is pretty much a complete re-working of Java on Mac OS X. { more at the O'Reilly Network }

java.tri

java.tri 04/07/2005 07:56 PM
Second Aplha Relase

Java IM

Java IM 06/22/2005 02:02 AM
JavaIM 0.0.1 released

Java SOS 3.65

Java SOS 3.65 01/19/2004 05:06 AM
A Java servlets office suite.

Java GDS API

Java GDS API 12/29/2004 05:42 AM
JGDS Project Website Updated

Java Modeling Language (JML)

The following phrases have been identified by the grok system as matching this entry: jml jcp java