specifications

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Lightweight layer on top of JPA for easy query construction in Java

Spec-style testing for Java

This project is to use generic specifications of Spring Data JPA to query any parameter

MIT 6.005 Undergraduate Software Construction

Projeto API REST com Spring Boot utlizado em um minicurso no evento de Projetos e Carreiras TI na UFOPA, campus de Oriximina

Specification documents, examples and schema files

Reduces the overhead of composing and maintaining Specifications. Enhances code legibility with a fluent API, makes conditional query building easy, and supports query optimization for fetching associated Entities eagerly.

TPs de la materia Algoritmos y Estructuras de Datos II, UBA-FCEN

Repo com implementação de arquitetura orientada a eventos: Event Notification, Event Carried State Transfer, Saga, API Gateway & Composition. Inclui padrões como Service Discovery, Circuit Breaker, Log Aggregation e controle de métricas com autenticação via Access Token.

Progetto intermedio 1 di Programmazione 2 del Corso di Laurea in Informatica dell'Università di Pisa

Alura — Spring Data JPA: Repositórios, Consultas, Projeções e Specifications

A demonstration of building dynamic, type-safe database queries using JPA Criteria API and Spring Data Specifications in Spring Boot 4.0.1.

Simple demo on jpa-specifications

Advanced search query with EntityGraphs and Specifications