Using Sbuilder to Model an Application

Introduction

This post explains, how to build a runnable specification model for a Salesforce application in sbuilder-demo GIT repository using tla-sbuilder -tool. The example uses Salesforce API plugin to extract interface specification from Salesforce API metadata.

This post is part part of tla-sbuilder documentation.

:More: