Specification as a Library (Vol.3)

Intro In a previous blog post, I described how to consume a specification as input and in return, output a set of isolated business domains. These business domains will serve as our initial blueprint for constructing the application. The following are the business domains that were extracted from the specification: Access Profile Subscriptions Portfolio These …

Specification as a Library (Vol.2)

Introduction In the previous link, I started my saga to explain an approach for encoding a specification into a system itself. In this post, I will introduce the design phase for such an application. Identifying Domains We need the specification for the software that we’re going to build. Hence, with the specification, we can identify …

Specification as a Library (Vol.1)

Introduction This blog post discusses the relationship between specification and design.  Specifically, I will discuss how to leverage function signatures as a specification for modeling business rules and application responsibilities. In addition, this post will start the saga for explaining how a specification can be represented through types and exposed as a library for interpreters …