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

Session Java

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos
Download

Session Java é uma extensão sobre Java que fornece funcionalidade para permitir a verificação de digitação de sessões no tempo de compilação. As sessões são definidas usando a Linguagem de Descrição do Serviço Web (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 Livre

    JRuby é o esforço para recriar o intérprete Ruby em Java. JRuby é fortemente integrado com Java para permitir que ambos roteirizar qualquer classe Java e incorporar o interpretador em qualquer aplicação Java. NOTA: JRuby mudo

  • RiSE Latex Template Livre

    Este projeto fornece uma classe LaTeX e modelo para teses de BSc, MSc e Doutorado. É desenvolvido por pesquisadores do RiSE (http://www.rise.com.br/research) e é baseado na aula de Tese da UFPE do Centro de Informática da Uni

  • Riverdrums Load Balancer Livre

    O Balancer de Carga Riverdrums é um frontend completo, rápido e orientado a eventos para permitir acesso de alto rendimento a clusters.

  • SiteView Syslog Livre

    SiteView Syslog é uma porta de ossec.net para Erlang e wxWidget. Aproveitando o recurso da Erlang, o SiteView Syslog oferece alto desempenho e sistema de decodificação de mensagens de log distribuídas e mecanismo de processam

  • CodeProducer persistence framework Livre

    CodeProducer é uma estrutura que, a partir de definições abstratas de tipos de dados, constrói a camada de persistência subjacente, encapsula totalmente as máquinas SQL e expõe a camadas superiores uma interface de programaçã

  • devtool Livre

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

  • Swing UI Localizer Livre

    Usando este pacote, você pode desenvolver facilmente um aplicativo multilíngue que suporta a comutação de localização em tempo real. Ele também fornece uma ferramenta para criar e traduzir arquivos de idioma.

  • SrcML Framework Livre

    O Framework SrcML permite converter o Sourcecode em uma representação XML sobre as quais as ferramentas podem ser usadas para deduzir dados estáticos para analisar e visualizar a fonte inicial. Ele também fornece maneiras fác

  • manyex Livre

    Manyex é uma ferramenta para a preparação de exames e testes a partir de um banco de dados de exercícios com perguntas. Ele cria os exames em LaTeX para que você possa processá-los com o sistema Tex/Latex.

  • the python Import GUI Livre

    os arquivos de dados de processos em massa do pIG gerados por programas de comportamento científico 'populares', incluindo Med Associates MedIV-PC, Coulburn TruScan e Kinder Scientific.