Warning: Can't synchronize with repository "(default)" (/local/svn/repos/sde does not appear to be a Subversion repository.). Look in the Trac log for more information.

Changes between Version 127 and Version 128 of WikiStart


Ignore:
Timestamp:
10/01/12 16:32:23 (5 years ago)
Author:
busch
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v127 v128  
    3838Download the SDE on '''http://svn.pst.ifi.lmu.de/update/sde''' (Eclipse Update Site) - note that you need the [http://eclipse.org/downloads/ Eclipse Indigo Modeling Tools Version], or at least have GEF/GMF installed. For the [http://www.nessos-project.eu/sde NESSoS tool workbench], (at least) '''[http://www.eclipse.org/downloads/packages/eclipse-modeling-tools/indigosr1 Eclipse Indigo (3.7.1)]''' is used and all tools should be executable (also) with [http://www.oracle.com/technetwork/java/javasebusiness/downloads/java-archive-downloads-javase6-419409.html Java 1.6]. 
    3939 
    40 Download integrated tools on '''IntegratedTools''' | Have a look at '''RelatedTools''' 
     40Download integrated tools from  
     41* NESSoS: '''[http://sde.pst.ifi.lmu.de/nessos/ Integrated Tools]''' that can be used in the area of secure software 
     42* Sensoria: '''IntegratedTools''' and '''RelatedTools''' 
    4143 
    4244Access to the source code via anonymous SVN: '''http://svn.pst.ifi.lmu.de/svn/sde'''