SpringContracts.

Uno strumento per aiutarti con il tuo sviluppo.
Scarica ora

SpringContracts. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Apache License 2.0
  • Nome editore:
  • Mario Gleichmann
  • Sistemi operativi:
  • Windows All
  • Dimensione del file:
  • 7.3 MB

SpringContracts. Tag


SpringContracts. Descrizione

SpringContracts č uno strumento di sviluppo basato su Java che ti aiuterą a progettare per contratto con un'integrazione senza soluzione di continuitą nel quadro di primavera, basato su annotazioni, AOP e un linguaggio di specifica collegabile (supporta la lingua di espressione (EL) con estensioni, Groovy, OgnL fuori dalla scatola) . Caratteristiche principali: ti dą la libertą di notare i contratti - precondizioni, postcondizioni e invarianti - in modo flessibile. (basato su annotazioni o da una notazione esterna) consente di configurare il comportamento della convalida del contratto tramite il contesto dell'applicazione della primavera. fornisce un modo collegabile per cambiare la lingua in cui descrivere le condizioni. viene fornito con una build in Supporto per il linguaggio di espressione (Commons EL) con estensioni dovute alla logica del primo ordine (Tutto il Quantor, ESISTE QUANTORE, IMPLICAZIONE)


SpringContracts. Software correlato

Chi siamo