[SERVER-43599] TLA+ Trace Checker paper: "Problem Statement" section Created: 24/Sep/19  Updated: 28/Jan/20  Resolved: 28/Jan/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: A. Jesse Jiryu Davis
Resolution: Won't Do 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   

Write the problem statement and perhaps a separate system model section.

From "How to Write a Technical Paper: Structure and Style of the Epitome of your Research":

Problem Statement

Often, this section is merged with the system model.
State your problem clearly. Be as exact as possible into
stating what the question of the problem is. It reflects
poorly upon an author if he cannot describe or does not
know what problem his solution addresses. But most importantly, it will be easier for successive researchers to
classify your work.



 Comments   
Comment by A. Jesse Jiryu Davis [ 28/Jan/20 ]

The current draft of the "Introduction" section describes the problem nicely, we don't need to repeat ourselves.

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