Connections the quarterly journal

Search form

  • Like Connections page on Facebook(link is external)
  • Follow us on Twitter(link is external)
  • Find connections on Istagram(link is external)
  • Connect with us on LinkedIN(link is external)
  • Subscribe to Connections RSS
  • English
  • Русский
  • Journal
    • Previews
    • Archive
    • Top papers
    • Athena Award
  • Submissions
    • Guidelines
    • Copyright information
    • Conflict of interest
    • Ethics in publishing
    • Themes
    • Calls for articles
    • Submit a paper
  • About
    • Mission
    • Editorial policy
    • Disclaimer
    • Editorial Board
    • Advisers
    • Author Index
    • Indexing & Archiving
    • Contact Us
    • Privacy policy
Share/Save

Specifying Software Requirements for Complex Systems: New Tech-niques and Their Applications

Publication Type:

Journal Article

Authors:

Karen L. Heninger

Source:

IEEE Transactions on Software Engineering , Volume 6, Issue 1, p.2–13 (1980)
  • 9152 reads
  • Google Scholar(link is external)
  • DOI(link is external)
  • RTF
  • EndNote XML

Active calls for articles

Empowering the Trans-Atlantic Defense Industrial Base

Deadline:
30.06.2025

Hybrid Operations

Deadline:
15.09.2025

Check also our Google Scholar profile(link is external)

  • Downloads
  • Cited in
  • How to cite
No files have yet been downloaded.
Lawford, Mark, and Alan Wassyng. "Formal Verification of Nuclear Systems: Past, Present, and Future." Information & Security: An International Journal 28, no. 2 (2012): 223-235.
APA style: Heninger, K. L. (1980).  Specifying Software Requirements for Complex Systems: New Tech-niques and Their Applications. IEEE Transactions on Software Engineering . 6(1), 2–13.
Chicago style: Heninger, Karen L.. "Specifying Software Requirements for Complex Systems: New Tech-niques and Their Applications." IEEE Transactions on Software Engineering 6, no. 1 (1980): 2-13.
IEEE style: Heninger, K. L., "Specifying Software Requirements for Complex Systems: New Tech-niques and Their Applications", IEEE Transactions on Software Engineering , vol. 6, issue 1, pp. 2–13, 1980.
DOI http://dx.doi.org/10.1109/TSE.1980.230208(link is external)
  • Trending(active tab)
  • Latest
  • Most cited
  • The Weaponization of Emerging Technologies and Their Impact on Global Risk: A Perspective from the PfPC Emerging Security Challenges Working Group (1,775)
  • Towards a New Role for the European Union in the South Caucasus? (1,327)
  • Goodbye Globalization? Hello 'Fragmentegration'! - The World Economy and Strategic Competition (1,290)
  • Hybrid Threats and Strategic Competition (1,239)
  • The PfP Consortium Regional Stability in South East Europe Working Group at 25: The Transformed Balkans and the Work Ahead (1,214)
view all
  • Communicating (In)Security in Ukraine
  • Hybrid Warfare in the Black Sea Region: Russian Information-Psychological Operations in Georgia
  • Ukraine's Component in the Platform of European Memory and Conscience
  • Kremlin's 'War on Terrorism' in the Northeastern Caucasus: How Chechnya Still 'Saves' Russia
  • A Theory of Change: 25 Years of the Partnership for Peace Consortium
view all
Introduction to Program-based Defense Resource Management (8)
The Art of Shaping Defense Policy: Scope, Components, Relationships (but no Algorithms) (6)
NATO and the South Caucasus: Armenia, Azerbaijan, and Georgia on Different Tracks (5)
Terrorist Routes in Central Asia: Trafficking Drugs, Humans, and Weapons (4)
From Civil-Military Relations to Resilience: The Fifth Wave of Strengthening Democracy through Research and Education (4)
view all

© Partnership for Peace Consortium of Defense Academies and Security Studies Institutes(link is external), 2012-2025
This site was designed and is maintained by Procon Ltd.(link is external), Executive publisher of Connections: The Quarterly Journal