Abstract
We describe the design of an open ended set of tools for manipulating multi-dimensional tabular expressions. The heart of the toolset is a set of modules that makes it possible to add new tools to the toolset without having detailed knowledge of the other tools. This set of modules, the Tool Integration Framework, supports new and existing tools by providing abstract communication interfaces. The framework that we describe has proven to be a practical approach to building an extensible set of tools.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Brian J. Bauer. Documenting complicated programs. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, December 1995. Also printed as CRL Report # 316, Telecommunications Institute of Ontario.
Proc. Conf. Computer Assurance (COMPASS), Gaithersburg, MD, June 1995. National Institute of Standards and Technology.
Constance L. Heitmeyer, A. Bull, C. Gasarch, and Bruce G. Labaw. SCR*: A toolset for specifying and analyzing requirements. In COMPASS’ 95 [2], pages 109–122.
Katherine Heninger, David Lorge Parnas, John E. Shore, and J. Kallander. Software requirements for the A-7E aircraft. Technical Report MR 3876, Naval Research Laboratory, 1978.
S. D. Hester, D. L. Parans, and D. F. Utter. Using documentation as a software design medium. Bell System Technical Journal, 60(8):1941–1977, October 1981.
Douglas N. Hoover and Z. Chen. Tablewise, a decision table tool. In COMPASS’ 95 [2], pages 97–108.
Ryszard Janicki, David Lorge Parnas, and Jeffery Zucker. Tabular representations in relational documents. In C. Brink, W. Kahl, and G. Schmidt, editors, Relational Methods in Computer Science—Advances in Computing Science, pages 184–196. Springer Wien, New York, 1997.
Min Jing. Checking table tool. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, to appear 1998.
ChunMing Li. Software reliability estimation tool. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, December 1996. Also printed as CRL Report # 337, Telecommunications Institute of Ontario.
Weimin Li. Table construction tool. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, July 1996. Also printed as CRL Report # 330, Telecommunications Institute of Ontario.
D. L. Parnas, G. J. K. Asmis, and J. Madey. Assessment of safety-critical software in nuclear power plants. Nuclear Safety, 32(2):189–198, April-June 1991.
David L. Parnas. On a ‘buzzword’: Hierarchical structure. In Proc. IFIP Congress, pages 336–339. North Holland, 1974.
David L. Parnas and David M. Weiss. Active design reviews: Principles and practices. In Proc. Int’l Conf. Software Eng. (ICSE), pages 132–136, August 1985.
David Lorge Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, pages 1053–1058, December 1972.
David Lorge Parnas. Designing software for ease of extension and contraction. IEEE Transactions on Software Engineering, 5(2):128–138, March 1979.
David Lorge Parnas. Tabular representation of relations. CRL Report 260, Communications Research Laboratory, November 1992.
David Lorge Parnas. Predicate logic for software engineering. IEEE Transactions on Software Engineering, 19(9):856–862, September 1993.
David Lorge Parnas and Jan Madey. Functional documentation for computer systems. Science of Computer Programming, 25(1):41–61, October 1995.
Dennis K. Peters. Generating a test oracle from program documentation. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, April 1995.
Dennis K. Peters. Deriving Real-Time Monitors from System Requirements Documentation. PhD thesis, McMaster University, Hamilton ON, to appear 1999.
Dennis K. Peters and David Lorge Parnas. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering, 24(3):161–173, March 1998.
H. Shen, J. I. Zucker, and D. L. Parnas. Table transformation tools: Why and how. In Proc. Conf. Computer Assurance (COMPASS), pages 3–11, Gaithersburg, MD, June 1996. National Institute of Standards and Technology.
Hong Shen. Implementation of table inversion algorithms. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, December 1995. Also printed as CRL Report # 315, Telecommunications Institute of Ontario.
Software Engineering Research Group. Table tool system developer’s guide. CRL Report 339, Communications Research Laboratory, January 1997.
Albert H. Tyson. Function composition tool. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, August 1998. Also printed as CRL Report # 364, Telecommunications Institute of Ontario.
Li Zhang. A template/overlay approach to displaying and printing tables. M. Eng. thesis, McMaster University, Dept. of Electrical and Computer Engineering, Hamilton, ON, June 1994. Also printed as CRL Report # 289, Telecommunications Institute of Ontario.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Parnas, D.L., Peters, D.K. (1999). An Easily Extensible Toolset for Tabular Mathematical Expressions. In: Cleaveland, W.R. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1999. Lecture Notes in Computer Science, vol 1579. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49059-0_24
Download citation
DOI: https://doi.org/10.1007/3-540-49059-0_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65703-3
Online ISBN: 978-3-540-49059-3
eBook Packages: Springer Book Archive