[SERVER-45545] TLA+ Trace Checker paper: "Background" section Created: 13/Jan/20  Updated: 06/Feb/20  Resolved: 06/Feb/20

Status: Closed
Project: Core Server
Component/s: Replication
Affects Version/s: None
Fix Version/s: None

Type: New Feature Priority: Major - P3
Reporter: A. Jesse Jiryu Davis Assignee: Judah Schvimer
Resolution: Done Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Issue Links:
Depends
depends on SERVER-43811 TLA + Trace Checker Paper: Outline Closed
Sprint: Repl 2020-01-27, Repl 2020-02-10
Participants:

 Description   

This is something like the "System Model" section in "How to Write a Technical Paper: Structure and Style of the Epitome of your Research":

System Model

In the system model section, you explicitly describe all the
hypotheses and assumptions of the environment on which
the problem will be stated. Put good effort in realizing
all explicit and implicit assumptions that you make, and
clearly state them. It is important to provide support for
your assumption choices. The more valid and acceptable
your assumptions are, the more valid and acceptable your
work will be.
The system model section should always have a figure.
The figure should demonstrate the parameters of your
system model. Prepare the figure so that it can later be
reused or enhanced to demonstrate your solution.


Generated at Thu Feb 08 05:09:05 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.