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

TLA+ Trace Checker paper: "Problem Statement" section

    XMLWordPrintableJSON

Details

    • Icon: New Feature New Feature
    • Resolution: Won't Do
    • Icon: Major - P3 Major - P3
    • None
    • None
    • Replication
    • None
    • Repl 2020-01-27, Repl 2020-02-10

    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.

      Attachments

        Activity

          People

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

            Dates

              Created:
              Updated:
              Resolved: