欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
CSLA .NET 是一个开源(MIT)的企业应用开发框架,CSLA 是 Component-based, Scalable, Logical Architecture 的缩写。
CSLA .NET是一个.NET软件开发框架,可以帮助开发者为Windows、Web、面向服务和工作流等应用构建强大和可维护的业务逻辑层。
架构