Event-B and the Rodin Platform Welcome to the Event-B.org Website Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. The Rodin Platform is an Eclipse-
Tutorial: p2 updates for Eclipse RCP applications In this tutorial I’ll show how to make the RCP mail example application updatable using the p2 provisioning platform. This version of the tutorial is for Eclipse 3.6 from the Helios release. I assume you’re familiar with OSGi and Eclipse RCP development. If you have suggestions or ideas for improving the tutorial and its underlying approach, I’d be
Introduction Today I'm going to describe the steps needed to run the SWTBot functional tests headlessly. Although there is some documentation on the SWTBot wiki pages I've not found a complete example using a simple project such as the RCP Mail client example project. The aim of this tutorial is to demonstrate how to set up headless SWTBot test for the RCP mail application. I am no expert in this,
About Vrapper is an Eclipse plugin which acts as a wrapper for Eclipse text editors to provide a Vim-like input scheme for moving around and editing text. Unlike other plugins which embed Vim in Eclipse, Vrapper imitates the behaviour of Vim while still using whatever editor you have opened in the workbench. The goal is to have the comfort and ease which comes with the different modes, complex com
先日、Twitterで[twitter:@yuripop]さんがつぶやいていた服に萌えたので、Eclipseたんに着せてみました。 こういう服(ドレスっていうんでしょうか?)って、いいもんですねぇ。 スプラッシュ画像 上の画像は、画質を落としたサンプルのJPGです。本物は、下のDropboxにあります。約500KBのBMPです。 http://dl.dropbox.com/u/3779351/MDD/splash_eclipse-tan_autumun.bmp 例によって、ご自由に利用クダサイ。 使用イメージ 参考 参考にさせていただいた写真は、コチラ。 ね? ね? 思わず描きたくなりますヨネ?
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く