Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. ACM code generator

ACM code generator 1.0

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

ACMgen is een automatische codegenerator van Asynchrone communicatiemechanismen op basis van de generatie van petrinettenmodellen die formeel kunnen worden geverifieerd tegen sommige eigenschappen en vervolgens kunnen worden omgezet in een echte implementatie (bijvoorbeeld.C++ of Verilog).

versiegeschiedenis

  • Versie 1.0 geplaatst op 2008-03-10
    Verschillende oplossingen en updates
  • Versie 1.0 geplaatst op 2008-03-10

Programmadetails

Gerelateerde programma's

  • Jump from SOAP to REST with WSDL2REST Gratis

    Een toolketen die snelle migratie van bestaande SOAP webservices implementatie naar RESTful webservices implementatie met behulp van axisting WSDL definieert samen met de diensten impl. Klassen. (dev. door een groep http://te

  • DOSBox Launch Pad Gratis

    Het configureren van DOSBox kan een beetje ontmoedigend zijn, dus heb ik besloten om een VB.Net project dat een GUI om de vele vermeldingen in de DOSBox .conf bestanden te controleren schrijven.

  • DMG Automounter for Linux Gratis

    DMG Automounter is een nautilus script dat elke distributie van Linux in staat stelt om een Mac OS X .dmg bestand te monteren (maar niet te installeren, omdat daarvoor de Mac OS X API's nodig zijn die gesloten bron zijn). REA

  • APEX Imaging Spectrometer Tools Gratis

    APEX Tools is een verzameling hulpprogramma's die worden gebruikt in combinatie met de verwerking van hyperspectrale gegevens in de lucht die zijn ontwikkeld voor de ESA-Prodex ondersteunde Airborne Prism EXperiment (APEX).

  • MGP Gratis

    De Maven GWT plugin wordt gebruikt om JavaScript-bronbestanden te compileren van de Java-bron. De plugin draait GWTCompiler, maakt het mogelijk om compiler opties te configureren, detecteert automatisch bron- en resourcebesta

  • PHP Toolbox Gratis

    PHP Toolbox is ontworpen om het proces van het maken van database-powered te makenwebsites eenvoudiger. Het maakt gebruik van de iteratieve of stapsgewijze ontwikkelingParadigma. De belangrijkste functionaliteit wordt afg

  • Java Modeling Language (JML) Gratis

    De Java Modeling Language (JML) is een gedragsinterface specificatietaal die kan worden gebruikt om het gedrag van Java-modules op te geven (zoals in ontwerp per contract - DBC). Het heeft veel tools om assertie controle te d

  • Sample YouTube Player Gratis

    Voorbeeld app voor SimpleYouTubePlayer github projecthttps://github.com/TheFinestArtist/SimpleYouTubePlayerYouTubePlayerActivity-handvattenOriëntatieprobleem (met de modus Automatische rotatie)Automatisch draaien

  • Gelide Gratis

    Gelide is een configureerbare frontend waarmee je elke vorm van geëmuleerd systeem (arcade, console, PC, etc) beheren zodat je elk spel catalogiseren en starten van elke bestaande emulator onder GNU/ Linux.

  • HMI User Control Gratis

    (EN) Het doel van het User Control-project is om weinig user controls te maken om PLC-systeem te interfaceen naar HMI applicatie bouwen onder Win32. Elke samenwerking zal zeer gewaardeerd worden. (IT) L'obiettivo del progetto