Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: IEEE 1012 (Software Verification and Validation) | Statement: [IEEE Computer Society, developsStandard, IEEE 1012 (Software Verification and Validation)]

Target entity: IEEE 1012 (Software Verification and Validation)
Context triple: [IEEE Computer Society, developsStandard, IEEE 1012 (Software Verification and Validation)]

• A. IEEE 1149.1 JTAG boundary‑scan standard
  The IEEE 1149.1 JTAG boundary-scan standard is a widely used test and debug specification that defines a serial interface and architecture for accessing and testing the internal logic and interconnects of integrated circuits and circuit boards.
• B. IEEE 2413 IoT architecture standard
  IEEE 2413 IoT architecture standard is a framework that defines a unified, scalable reference architecture and common vocabulary for designing and integrating Internet of Things systems across diverse domains.
• C. IEEE 802.1Qbv time‑sensitive networking standard
  The IEEE 802.1Qbv time‑sensitive networking standard defines enhancements to Ethernet scheduling that enable deterministic, low-latency communication for time-critical applications such as industrial automation and automotive networks.
• D. IEEE 802.1Q VLAN tagging standard
  The IEEE 802.1Q VLAN tagging standard defines how virtual LANs are implemented and identified over Ethernet networks by inserting a VLAN tag into Ethernet frames.
• E. IEEE 754 floating‑point arithmetic standard
  The IEEE 754 floating‑point arithmetic standard is the globally adopted specification that defines formats and rules for representing and performing binary and decimal floating‑point calculations in computer systems.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: IEEE 1012 (Software Verification and Validation)
Triple: [IEEE Computer Society, developsStandard, IEEE 1012 (Software Verification and Validation)]

IEEE 1012 (Software Verification and Validation) is an IEEE standard that defines processes and requirements for systematically verifying and validating software and system products throughout their life cycle.

Target entity: IEEE 1012 (Software Verification and Validation)
Target entity description: IEEE 1012 (Software Verification and Validation) is an IEEE standard that defines processes and requirements for systematically verifying and validating software and system products throughout their life cycle.

• A. IEEE 1149.1 JTAG boundary‑scan standard
  The IEEE 1149.1 JTAG boundary-scan standard is a widely used test and debug specification that defines a serial interface and architecture for accessing and testing the internal logic and interconnects of integrated circuits and circuit boards.
• B. IEEE 2413 IoT architecture standard
  IEEE 2413 IoT architecture standard is a framework that defines a unified, scalable reference architecture and common vocabulary for designing and integrating Internet of Things systems across diverse domains.
• C. IEEE 802.1Qbv time‑sensitive networking standard
  The IEEE 802.1Qbv time‑sensitive networking standard defines enhancements to Ethernet scheduling that enable deterministic, low-latency communication for time-critical applications such as industrial automation and automotive networks.
• D. IEEE 802.1Q VLAN tagging standard
  The IEEE 802.1Q VLAN tagging standard defines how virtual LANs are implemented and identified over Ethernet networks by inserting a VLAN tag into Ethernet frames.
• E. IEEE 754 floating‑point arithmetic standard
  The IEEE 754 floating‑point arithmetic standard is the globally adopted specification that defines formats and rules for representing and performing binary and decimal floating‑point calculations in computer systems.
• F. None of above. chosen