The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Specifying Software Requirements for Complex Systems: New Techniques and Their Application

The work

AuthorsK.L. Heninger
Editors
Typemisc
Year1980
Also known asanon1980specifying
Citekeyheninger1980specifying

Where it appeared

PublisherInstitute of Electrical and Electronics Engineers (IEEE)

How it got here

How it got hereagent via unpaywall
Added2026-10-23 21:31 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{heninger1980specifying,
  title        = {Specifying Software Requirements for Complex Systems: New Techniques and Their Application},
  author       = {K.L. Heninger},
  year         = {1980},
  publisher    = {Institute of Electrical and Electronics Engineers (IEEE)},
  doi          = {10.1109/tse.1980.230208},
}

This record lives at https://refs.drheap.org/heninger1980specifying/ and will keep doing so. It used to be called anon1980specifying, and those addresses still resolve to this one.