Ryszard Janicki  Home/Search
Context Related
| crl.mcmaster.ca/SERG/pape...crl355.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: crl.mcmaster.ca...rg.publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In [15, 22, 25, 26] Parnas et al. advocate the use of relational model for documenting the intended behaviour of programs. In this method, tabular expressions (or tables) are used to improve readability so that formal documentation can replace conventional documentation. Parnas [23] describes several classes of tables and provides their formal syntax and semantics. In this paper, an alternative, more general and more homogeneous semantics is proposed. The model covers all known types of tables ... (Update)
Context of citations to this paper: More
...The paper [24] provided a major motivation for this work. The early results have been presented in [14] The paper is a revised version of [15]. We assume that the reader is familiar with such concepts as function, relation, Cartesian product, etc. 7, 28] The standard...
...paper [36] provided a major motivation for this work. The early results have been presented in [22] The paper is a revised version of [23]. We assume that the reader is familiar with such concepts as function, relation, Cartesian product, etc. 12, 40] The standard...
Cited by: More
A Formal Semantics of Statestep Tables - Breen (Correct)
A Runtime Assertion Checker for the Java Modeling Language - Cheon (2003) (Correct)
On a Formal Semantics of Tabular Expressions - Janicki, Khedri (1997) (Correct)
Similar documents (at the sentence level):
18.2%: Tabular Expressions and Their Relational Semantics - Janicki (Correct)
Active bibliography (related documents): More All
0.3: The Trace Assertion Method of Module Interface Specification with.. - Liu (1999) (Correct)
0.3: Foundations of the Trace Assertion Method of Module Interface.. - Janicki (1997) (Correct)
0.3: Remarks on Mereology of Direct Products and Relations - Janicki (Correct)
Similar documents based on text: More All
0.2: Evaluating Generalized Tabular Expressions In Software.. - Abraham (1997) (Correct)
0.2: Table Transformation Tools: Why and How - Shen, Zucker, Parnas (1996) (Correct)
0.2: Use Of Aliases In Tabular Expressions - Hu (1999) (Correct)
Related documents from co-citation: More All
11: Tabular representations in relational documents - Janicki, Parnas et al. - 1996
9: Evaluating generalized tabular expressions in software documentation - Abraham - 1997
8: Towards a Formal Semantics of Parnas Tables (context) - Janicki - 1995
BibTeX entry: (Update)
R. Janicki, "On a formal semantics of tabular expressions," CRL Report No. 355, Communications Research Laboratory (CRL), Telecommunications Research Institute of Ontario (TRIO), McMaster University, Hamilton, Ontario, Canada, L8S 4K1, Oct. 1997. 32 pgs. http://citeseer.ist.psu.edu/article/janicki97formal.html More
@article{ janicki01formal,
author = "Ryszard Janicki and Ridha Khedri",
title = "On a formal semantics of tabular expressions",
journal = "Science of Computer Programming",
volume = "39",
number = "2--3",
pages = "189--213",
year = "2001",
url = "citeseer.ist.psu.edu/article/janicki97formal.html" }
Citations (may not include all citations):130 Specifying Software Requirements for Complex Systems: New Te.. (context) - Heninger - 1980
113 Requirements Specifications for Process-Control Systems - Leveson, Heimdahl et al. - 1994
58 Naive Set Theory (context) - Halmos - 1960
54 Assessment of Safety-Critical Software in Nuclear Power Plan.. (context) - Parnas, Asmis et al. - 1991
53 Completeness and Consistency Analysis of State-Based Require.. - Heimdahl, Leveson - 1995
47 Functional Documentation for Computer Systems Engineering (context) - Parnas, Madey - 1995
46 How to Write a Long Formula (context) - Lamport - 1993
42 Foundations of Computer Science (context) - Aho, Ullman - 1992
36 Tabular Representations in Relational Documents - Janicki, Parnas et al. - 1997
27 Precise Documentation of Well-Structured Programs (context) - Parnas, Madey et al. - 1994
26 Requirements Model: Re-examination for RealTime Systems and .. (context) - van Schouwen, A- - 1990
24 Evaluating Generalized Tabular Expressions in Software Docum.. - Abraham - 1997
24 Towards a Formal Semantics of Parnas Tables (context) - Janicki - 1995
21 Table Tool System Developer's Guide (context) - Engineering - 1997
19 a Decision Table Tool (context) - Hoover, Chen - 1995
18 A Generalized Control Structure and Its Formal Definition (context) - Parnas - 1983
17 Theoretical Computer Science (context) - Janicki, Koutny et al. - 1993
15 SCR : A Toolset for Specifying and Analyzing Requirements - Heitmeyer, Bull et al. - 1995
14 Transformations of Normal and Inverted Function Tables - Zucker - 1996
12 Verification of the Shutdown System Software at the Darlingt.. (context) - Archinoff, Hohendorf et al. - 1990
10 NRL Memorandum Report (context) - Heninger, Kallander et al. - 1978
10 North Holland (context) - Kuratowski, Mostowski et al. - 1976
8 Telecommunications Research Institute of Ontario (context) - Parnas, of et al. - 1992
8 Reviewable Development of Safety Critical Software (context) - Parnas, Asmis et al. - 1990
7 Decision Tables in Software Engineering (context) - Hurlay - 1983
6 Personal communication (context) - Parnas - 1993
5 Function Driver Module (context) - Clements, for et al. - 1981
4 Care and Feeding of Living Software Documentation (context) - Plenderleith - 1996
4 Software Requirements for AECB Project (context) - Consulting - 1994
2 Procedure for the Specification of Software Requirements for.. (context) - McDougall, Jankowski - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.crl.mcmaster.ca/SERG/serg.publications.html): More
Estimating Software Reliability with Hypothesis Testing - Woit (1996) (Correct)
Myths and Methods: Is There a Scientific Basis for Y2K Inspections? - Parnas (1999) (Correct)
Generating A Test Oracle From Program Documentation - Peters (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC