IFIP Working Group 2.3

E258607
IFIP working group international expert group working group

IFIP Working Group 2.3 is an international expert group within the International Federation for Information Processing focused on the theory and practice of programming methodology and software development.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (3)

Label Occurrences
IFIP Working Group 2.3 canonical 3
IFIP WG 2.3 1
IFIP Working Group 2.2 1

Statements (47)

Predicate Object
instanceOf IFIP working group ⓘ
international expert group ⓘ
working group ⓘ
activity organizing expert meetings ⓘ
organizing working conferences ⓘ
producing technical reports ⓘ
promoting rigorous software development methods ⓘ
publishing conference proceedings ⓘ
affiliation IFIP ⓘ
fieldOfWork programming methodology ⓘ
software development ⓘ
software engineering ⓘ
focusesOn formal methods in software development ⓘ
high‑integrity software ⓘ
methods for software construction ⓘ
practice of programming methodology ⓘ
program correctness ⓘ
program specification ⓘ
program verification ⓘ
software design methodologies ⓘ
software development processes ⓘ
theory of programming methodology ⓘ
goal advance the practice of programming methodology ⓘ
advance the theory of programming methodology ⓘ
bridge theory and practice in software development ⓘ
improve methods for software development ⓘ
hasMemberType academics ⓘ
industry practitioners ⓘ
invited experts ⓘ
researchers ⓘ
hasScope international ⓘ
language English ⓘ
operatesIn academic community ⓘ
software industry community ⓘ
parentOrganization IFIP ⓘ
surface form: International Federation for Information Processing
partOf IFIP Technical Committee 2 ⓘ
surface form: IFIP TC 2: Software Theory and Practice

IFIP Technical Committee 2 ⓘ
shortName IFIP Working Group 2.3 self-linksurface differs ⓘ
surface form: IFIP WG 2.3
topic correctness‑by‑construction approaches ⓘ
formal specification languages ⓘ
program construction ⓘ
software quality ⓘ
software reliability ⓘ
software specification ⓘ
software validation ⓘ
software verification ⓘ
website https://www.ifip.org ⓘ

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

Lambert Meertens → memberOf → IFIP Working Group 2.3 ⓘ
IFIP Working Group 2.3 → shortName → IFIP Working Group 2.3 self-linksurface differs ⓘ
this entity surface form: IFIP WG 2.3
IFIP Technical Committee 2 → oversees → IFIP Working Group 2.3 ⓘ
this entity surface form: IFIP Working Group 2.2
IFIP Technical Committee 2 → oversees → IFIP Working Group 2.3 ⓘ
IFIP Technical Committee 2 → hasWorkingGroup → IFIP Working Group 2.3 ⓘ