Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Maude MSOS Tool

Maude MSOS Tool

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

Maude MSOS Tool is een formele omgeving voor de specificatie van modulaire structurele operationele semantiek specificaties. Het is met name nuttig voor de formele specificatie van programmeertalen en gelijktijdige systemen.

versiegeschiedenis

  • Versie N/A geplaatst op 2011-08-12
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2011-08-12

Programmadetails

Gerelateerde programma's

  • Intuitive Neural Network Gratis

    Intuitive Neural Network is een software concieved voor CAE (Computer Aided Education) doeleinden in Kunstmatige Intelligentie.

  • Digital Camera EXIF Backup Gratis

    Eenvoudige EXIF back-up Java-toepassing die de datum van een afbeelding leest en het bestand naar een doellocatie kloont met behulp van een vooraf gedefinieerde datumpatroonmapstructuur.

  • TUPA - The Ultimate PowerDNS Admin Gratis

    TUPA is een webbased PowerDNS administratie frontend geprogrammeerd in PHP / Javascript (AJAX) / MySQL.Ondersteunt het maken van groepen, gebruikers en sjablonen.

  • Surfraw - Shell Revolutionary Front Gratis

    Surfraw - Shell Users' Revolutionaire Front Rage Tegen het web. Surfraw biedt een snelle unix command line interface om een verscheidenheid van populaire WWW zoekmachines en andere artefacten van de macht. Verlaten GUI afgode

  • Cybios Digital Community Gratis

    Cybios is een online Game-Cybercommunity gebaseerd op Avatars die interageert in virtuele steden. Als Avatar kun je leven, werken en spelen in The Digital-community zoals de RealWorld. In Cybios kon alles gebeuren. (vind vrie

  • OWLmt Gratis

    OWLmt is een ontologie mapping tool gebaseerd op Web Ontology Language (OWL) specificaties. Het biedt een grafische gebruikersinterface om de toewijzingen tussen twee ontologieschema's te definiëren. Het biedt een motor om se

  • Maven Wiki Plugin Gratis

    De Maven Wiki Plugin haalt documentatie op uit verschillende Wikis Systems en maakt XDoc-bestanden voor verdere verwerking door andere Maven-plug-ins zoals de PDF-plug-in of de XDoc-plug-in.

  • Input Abstraction Layer Gratis

    Input Abstraction Layer (IAL) is een project dat speciale toetsen maakt (bijvoorbeeld multimediatoetsen, functietoetsen op notebooks) "gewoon werken". IAL biedt een daemon die kan worden versterkt door modules. Deze

  • iChooChoo Gratis

    iChooChoo is een java-gebaseerde netwerk trein simulator, compleet met geluid en animaties. Maak aangepaste spoorlay-outs en laat treinen zelfs andere computers bezoeken! Modulair programmeerontwerp. Draait op en interoper

  • Commons for Java 5 Gratis

    Een oplossing voor veelvoorkomende problemen in Java met behulp van de nieuwe taal functies, zoals annotaties generics autoboxing varargs ...