Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Overture: Formal modelling in VDM

Overture: Formal modelling in VDM

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 2.6/5 - ‎5 ‎Stemmen
Downloaden

Het Overture-project ontwikkelt een reeks open source Eclipse-plug-ins ter ondersteuning van de integratie van verschillende VDM-modelleringstools (Vienna Development Method). Het doel is om ondersteuning te bieden aan alle bestaande VDM tools en taaldialecten.

versiegeschiedenis

  • Versie Overture_IDE geplaatst op 2011-02-27
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2011-02-27

Programmadetails

Gerelateerde programma's

  • Mkulu QA Proxy Gratis

    Mkulu QA Proxy wordt gebruikt om de details van HTTP-pakketten te bekijken. Het is een nuttig hulpmiddel voor webontwikkeling en -testen. Er wordt gewerkt aan het vergroten van de functionaliteit van de tool. De proxy is in s

  • Illumination Gratis

    Verlichting - een functierijke, plattform-onafhankelijke C++ GUI-bibliotheek. Belangrijkste kenmerken: themability, XML surface description support, handige layouting engine, font-sensitiviness, backends for X11, Windows, Car

  • HMM Based Chinese Segmentor Gratis

    Dit is een project dat de interface van lucene Analyzer implementeert om zijn functie van het omgaan met het probleem van de Chinese segmentatie op basis van het statistische model (Hiden Marcov Model) uit te breiden

  • NHibernateIt Gratis

    NHibernateHet is een NHibernate Session Management Helper en biedt basis CRUD-acties via de repository-klasse. Geïnspireerd door het NHibernator Project, op oracleatdotnet.com

  • AstroWeka Gratis

    AstroWeka is een reeks extentions aan Weka, een populair programma van de gegevensmining, dat het toestaat om direct met astronomische gegevens in het Virtuele Waarnemingscentrum te werken.

  • CalFaces Gratis

    CalFaces (voorheen jsforganiser) is een verzameling van JavaServer Faces componenten voor gebruik in web-based PIM-toepassingen, het verstrekken van een Outlook-stijl kalender met dag, werkweek, week en maand weergaven, evena

  • Complement Gratis

    Multiplatform C++ bibliotheken. 1. xmt: Draagbare programmeerinterface om MultiThreaded (MT) applicaties of bibliotheken te bouwen; 2. sockios: interface met sockets (C++ IO streams); 3. StEM: eindig staatsmachine/communicati

  • H3xC4T Gratis

    H3xC4T leest binaire bestanden en toont hexadecimale inhoud besteld in kolommen ... in de toekomst, zal ik een aantal functies toe te voegen, zoals duidelijke binaire conversie of demonteren ...

  • Charset detector Gratis

    Bibliotheek voor automatische charsetdetectie van een bepaalde tekst of bestand. Input buffer zal worden geanalyseerd om gebruikte codering te raden. Het resultaat (charset naam of code pagina id) kan worden gebruikt als cont

  • Java Signal/Slot with Annotations Gratis

    Deze bibliotheek is een signaal/slot API voor Java 5.0 die annotaties gebruikt om de signalen/slots te markeren. Een subklasse met signaal/sleuf opums, evenals methoden om het signaal naar de sleuven uit te zenden, wordt auto