Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Session Java
  5. Download

Session Java

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

Over Session Java

Session Java is een extentie ten opzichte van Java die functionaliteit biedt om het typechecken van sessies op compileren tijd mogelijk te maken. De sessies worden gedefinieerd met behulp van de Web Service Description Language (WSDL) en zijn gemodelleerd naar sessies in Pi Calculus.

Gerelateerde programma's

  • JRuby Gratis

    JRuby is de poging om de Ruby tolk in Java na te bootsen. JRuby is nauw geïntegreerd met Java om zowel om een Java-klasse script en om de tolk in te sluiten in een Java-applicatie. LET OP: JRuby is verhuisd naar Codehaus, bez

  • RiSE Latex Template Gratis

    Dit project biedt een LaTeX klasse en template voor BSc, MSc en PhD thesis. Het is ontwikkeld door RiSE onderzoekers (http://www.rise.com.br/research) en het is gebaseerd op UFPE Thesis klasse van Center for Informatics aan d

  • Riverdrums Load Balancer Gratis

    De Riverdrums Load Balancer is een feature-full, snel, event-driven frontend om hoge doorvoer toegang tot clusters mogelijk te maken.

  • SiteView Syslog Gratis

    SiteView Syslog is een port of ossec.net naar Erlang en wxWidget. SiteView Syslog maakt gebruik van de mogelijkheden van Erlang en biedt hoge prestaties en gedistribueerde logboekberichtendecodering en regelverwerkingsengine.

  • CodeProducer persistence framework Gratis

    CodeProducer is een framework dat, uitgaande van abstracte definities van gegevenstypen, de onderliggende persistentielaag bouwt, SQL-machines volledig inkapselt en aan hogere lagen een coherente programmeerinterface voor per

  • devtool Gratis

    Het devtool project is ontwikkeld onder voorwaarden van LGPL. Originial het bevat een plugin voor eclipse, maar dit deel van het project is dood (archief in CVS). Op dit moment zal het project worden ontwikkeld eenvoudige too

  • Swing UI Localizer Gratis

    Met behulp van dit pakket u eenvoudig een meertalige applicatie ontwikkelen die on-the-fly locale switching ondersteunt. Het biedt ook een hulpmiddel voor het maken en vertalen van taalbestanden.

  • SrcML Framework Gratis

    Met het SrcML Framework u Sourcecode converteren naar een XML-weergave waarop vervolgens hulpprogramma's kunnen worden gebruikt om statische gegevens af te leiden voor het analyseren en visualiseren van de oorspronkelijke bro

  • manyex Gratis

    Manyex is een hulpmiddel voor het voorbereiden van examens en tests uit een database van oefeningen met vragen. Het maakt de examens in LaTeX, zodat u ze verwerken met het Tex/Latex-systeem.

  • the python Import GUI Gratis

    de pIG bulk-verwerkt databestanden gegenereerd door 'populaire' wetenschappelijke gedragsprogramma's, waaronder Med Associates MedIV-PC, Coulburn TruScan en Kinder Scientific.