Defining the meaning of tabular mathematical expressions

DOI10.1016/j.scico.2009.12.009zbMath1209.68126OpenAlexW1998099342MaRDI QIDQ988184

David Lorge Parnas, Ying Jin

Publication date: 26 August 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.12.009

zbMATH Keywords

tabular expressionssoftware engineeringexpression semanticsmathematical documentationsoftware documentation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99)

Uses Software

• SCR

Cites Work

• Transformations of normal and inverted function tables
• On a formal semantics of tabular expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Defining the meaning of tabular mathematical expressions