Overture: Formal modelling in VDM

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