Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-43599

TLA+ Trace Checker paper: "Problem Statement" section

    • Type: Icon: New Feature New Feature
    • Resolution: Won't Do
    • Priority: Icon: Major - P3 Major - P3
    • None
    • Affects Version/s: None
    • Component/s: Replication
    • Labels:
      None
    • Repl 2020-01-27, Repl 2020-02-10

      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.

            Assignee:
            jesse@mongodb.com A. Jesse Jiryu Davis
            Reporter:
            jesse@mongodb.com A. Jesse Jiryu Davis
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: