Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. Session Java

Session Java

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos
Baixar

Session Java é uma extensão sobre Java que fornece funcionalidade para permitir a verificação da máquina de escrever de sessões no tempo de compilação. As sessões são definidas usando o Web Service Description Language (WSDL) e são modeladas em sessões em Pi Calculus.

história da versão

  • Versão N/A postado em 2011-08-10
    Várias correções e atualizações
  • Versão N/A postado em 2011-08-10

Detalhes do programa

Programas Relacionados

  • JRuby Grátis

    JRuby é o esforço para recriar o intérprete Ruby em Java. JRuby está fortemente integrado com Java para permitir que ambos roteiem qualquer classe Java e incorporar o intérprete em qualquer aplicação Java. NOTA: JRuby mudou-s

  • RiSE Latex Template Grátis

    Este projeto fornece uma classe LaTeX e modelo para a tese de BSc, MSc e PhD. É desenvolvido por investigadores da RiSE (http://www.rise.com.br/research) e é baseado na aula de Tese de UFPE do Center for Informtics da Univers

  • Riverdrums Load Balancer Grátis

    O Riverdrums Load Balancer é um frontend cheio, rápido e orientado para eventos para permitir um acesso de alta produção a clusters.

  • SiteView Syslog Grátis

    SiteView Syslog é uma porta de ossec.net para Erlang e wxWidget. Aproveitando a capacidade de Erlang, o SiteView Syslog proporciona um alto desempenho e distribuição de descodição de mensagens de registo e motor de processame

  • CodeProducer persistence framework Grátis

    O CodeProducer é uma estrutura que, partindo das definições de tipos de dados abstratos, constrói a camada de persistência subjacente, encapsula totalmente a maquinaria SQL e expõe às camadas superiores uma interface de progr

  • devtool Grátis

    O projeto devtool é desenvolvido em termos de LGPL. Originial contém um plugin para eclipse, mas esta parte do projeto está morta (arquivo em CVS). Neste momento, o projeto será desenvolvido ferramentas/ajudantes simples para

  • Swing UI Localizer Grátis

    Utilizando este pacote, pode desenvolver facilmente uma aplicação multilingue que suporta a comutação local on-the-fly. Também fornece uma ferramenta para criar e traduzir ficheiros linguísticos.

  • SrcML Framework Grátis

    O Quadro SrcML permite converter o Código de Origem numa representação XML na qual as ferramentas podem ser usadas para deduzir dados estáticos para analisar e visualizar a fonte inicial. Também fornece formas fáceis de escre

  • manyex Grátis

    A Manyex é uma ferramenta para preparar exames e testes a partir de uma base de dados de exercícios com perguntas. Cria os exames no LaTeX para que possa processá-los com o sistema Tex/Látex.

  • the python Import GUI Grátis

    os ficheiros de dados de processos a granel do pIG gerados por programas de comportamento científico 'populares', incluindo med Associates MedIV-PC, Coulburn TruScan e Kinder Scientific.