50 packages returned for Tags:"Specifications"

Sort by

Microsoft.Coyote
by: coyote Microsoft
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 1,213,712 total downloads
- last updated 3/18/2024
- Latest version: 1.7.11
- systematic-testing specifications concurrency dotnet csharp
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Storyteller
by: jeremydmiller
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6
- 797,235 total downloads
- last updated 7/12/2019
- Latest version: 5.4.0
- testing storyteller specifications bdd atdd
Acceptance Test Driven Development and Executable Specifications for .Net
Specifications
by: danielcrenna
- .NET Framework 2.0
- 186,811 total downloads
- last updated 5/23/2011
- Latest version: 1.0.4
- specifications specification patterns pattern
The specification pattern for composable business logic, in C#.
Microsoft.Coyote.Test
by: coyote Microsoft
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 220,341 total downloads
- last updated 3/18/2024
- Latest version: 1.7.11
- systematic-testing specifications concurrency dotnet csharp
The Coyote systematic testing engine.
Microsoft.Coyote.Core
by: coyote Microsoft
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 145,787 total downloads
- last updated 3/18/2024
- Latest version: 1.7.11
- systematic-testing specifications concurrency dotnet csharp
The Coyote core libraries and runtime.
Dex.Specifications
by: dex
- .NET 5.0 .NET Core 3.0 .NET Standard 2.1
- 64,735 total downloads
- last updated 5/12/2024
- Latest version: 1.1.30
- dex specifications
Package Description
Microsoft.Coyote.CLI
by: coyote Microsoft
- .NET 5.0 .NET Core 3.1
- 98,899 total downloads
- last updated 3/18/2024
- Latest version: 1.7.11
- systematic-testing specifications concurrency dotnet csharp cli tool
The Coyote .NET command-line tool.
Microsoft.PSharp
by: Microsoft plang
- Deprecated
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6
- 73,988 total downloads
- last updated 12/11/2019
- Latest version: 1.7.0
- asynchrony reliability specifications reactive state-machines testing
P# is a framework for building reliable asynchronous software.
Microsoft.Coyote.Tool
by: coyote Microsoft
- .NET 5.0 .NET Core 3.1 .NET Framework 4.6.2
- 29,720 total downloads
- last updated 3/18/2024
- Latest version: 1.7.11
- systematic-testing specifications concurrency dotnet csharp
The self-contained Coyote command-line tool.
Spec4Net
by: fthomsen
- .NET Framework 4.5
- 32,763 total downloads
- last updated 12/11/2014
- Latest version: 3.2.5
- test testing tdd bdd spec specification specifications
A small library for writing BDD-style specifications in C# / .NET. Spec4Net focuses on simplicity and ease-of-use. See the project home page for examples.
Dex.Specifications.EntityFramework
by: dex
- .NET 8.0
- 13,808 total downloads
- last updated 5/7/2025
- Latest version: 8.0.1
- dex specifications entityframework
Package Description
FarshadFahimi.Framework.Domain
by: Farshadfahimi
- Deprecated
- .NET 7.0
- 12,664 total downloads
- last updated 11/18/2022
- Latest version: 1.1.8
- Domain Configurations Specifications
This package will help in domain integrity and base implementations
Storyteller.AspNetCore
by: jeremydmiller
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 18,254 total downloads
- last updated 7/12/2019
- Latest version: 5.4.0
- testing storyteller specifications bdd atdd aspnetcore
Recipe to Connect Storyteller to ASP.Net Core 2.* Systems
Quarks.Specifications
by: govorov
- .NET 5.0 .NET Core 1.0 .NET Standard 1.2 .NET Framework 4.5.1
- 7,404 total downloads
- last updated 6/7/2017
- Latest version: 1.2.2
- architecture specifications domain ddd
Quarks.Specifications
MS.QualityTools.UnitTestFramework.Specifications.Signed
by: mcpride
- .NET Framework 4.0
- 11,767 total downloads
- last updated 9/30/2014
- Latest version: 1.0.2
- test unittest bdd specifications specs mstest
BDD test specifications for MSTest similar to MSTestContrib. Signed version!
Storyteller.RDBMS
by: jeremydmiller
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 13,161 total downloads
- last updated 7/12/2019
- Latest version: 5.4.0
- testing storyteller specifications bdd atdd aspnetcore
Recipes to Manipulate or Assert on Databases in Storyteller Specifications
CJEspinozaNi.NetCore.Specification
by: cjespinoza-ni
- .NET 5.0 .NET Core 3.1
- 2,877 total downloads
- last updated 10/13/2020
- Latest version: 1.0.1
- Specifications
A library for creating specifications in net core applications.
MS.QualityTools.UnitTestFramework.Specifications
by: mcpride
- .NET Framework 4.0
- 12,097 total downloads
- last updated 9/30/2014
- Latest version: 1.0.2
- test unittest bdd specifications specs mstest
BDD test specifications for MSTest similar to MSTestContrib.
Satisfied
by: derekgreer
- .NET 5.0 .NET Core 1.0 .NET Standard 1.3 .NET Framework 4.5.2
- 1,121 total downloads
- last updated 5/8/2017
- Latest version: 0.0.1
- specifications
A specification library
Structr.Specifications
by: askalione
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 2,122 total downloads
- last updated 7/22/2022
- Latest version: 1.1.1
- Structr Specifications Specs
Base specification abstractions