Searching for "On tabular expressions." – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
Use Of Aliases In Tabular Expressions
- …USE OF ALIASES IN TABULAR EXPRESSIONS By JUNHUA HU, M.ENG. A Thesis Submitted to the School…
- Cited by 1 (0 self) – Add To MetaCart
-
Tabular Expressions and Their Relational Semantics
- …Tabular Expressions and Their Relational Semantics Ryszard Janicki Department of Computing…
- Cited by 1 (0 self) – Add To MetaCart
-
On a Formal Semantics of Tabular Expressions
- …On a Formal Semantics of Tabular Expressions Ryszard Janicki Department of Computer Science…
- Cited by 14 (3 self) – Add To MetaCart
-
Towards a Uniform Relational Semantics for Tabular Expressions
- …Towards a Uniform Relational Semantics for Tabular Expressions Jules Desharnais D'epartement d…
- Cited by 5 (2 self) – Add To MetaCart
-
Evaluating Generalized Tabular Expressions In Software Documentation
- …EVALUATING GENERALIZED TABULAR EXPRESSIONS IN SOFTWARE DOCUMENTATION By RUTH ABRAHAM, B. ENG. A…
- Cited by 19 (0 self) – Add To MetaCart
-
Relational Semantics of Tabular Expressions: Talk Abstract
- …Relational Semantics of Tabular Expressions: Talk Abstract Jules Desharnais D'epartement d…
- Add To MetaCart
-
Sequential Scenarios Verification and Integration using Tabular Expressions
- …RIDHA KHDRI Sequential Scenarios Verication and Integration using Tabular Expressions CRL Report…
- Add To MetaCart
-
Use of tabular expression in the inspection of concurrent programs
- …THE INSPECTION OF CONCURRENT PROGRAMS USE OF TABULAR EXPRESSIONS IN THE INSPECTION OF CONCURRENT…
- Cited by 1 (1 self) – Add To MetaCart
-
Fault Propagation in Tabular Expression-Based Specifications ∗ Abstract
- … in Tabular Expression-Based Specifications ∗ Abstract Xin Feng and David Lorge Parnas Software Quality…
- Add To MetaCart
-
An Easily Extensible Toolset for Tabular Mathematical Expressions
- …An Easily Extensible Toolset for Tabular Mathematical Expressions David Lorge Parnas 1…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
