This emergent methodology, which is holding great promise in the field of strategy (Greckhamer et al. 2011), allows making explicit -via formalization into Boolean expressions- our theory-based simplifying assumptions on counterfactual configurations. In addition, by matching coun...
To approximate the growth rate of the cells under stress condition, we assume that the change in optical density (OD) scales linearly with the biomass production of the cells. To avoid the introduction of additional uncertainties, we also make the following simplifying assumption: OD-specific ...
As- sumptions allow simplifying component implementations by relying on prop- erties ensured by the environment. An interesting of our kind of contracts is to allow expressing also assumptions which need not to be expressible on the component's interface. This means that the component interfaces ...