首页> 外文期刊>Science of Computer Programming >On a formal semantics of tabular expressions
【24h】

On a formal semantics of tabular expressions

机译:关于表格表达式的形式语义

获取原文
获取原文并翻译 | 示例

摘要

Parnas et al. (Janicki et al., in f Brink, Kahl, Schmidt (Eds.), Relational Methods in Com- puter Science, Springer, Berlin, 1997, Parnas, Commun. ACM 26 (8) (1983) 572--581, Pamas and Madey, Sci. Comput. Programm. 25 (1) (1995) 41--61; Parnas et al., IEEE Trans. Soft- ware Eng. 20 (12) (1994) 948--976) 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. Par- nas (CRL Report 260, Telecommunications Research Institute of Ontario (TRIO), Mcmaster University, Hamilton, Ontario, Canada, 1992) describes several classes of tables and provides their formal syntax and semantics. In this paper, an alternative, more general and more homo- geneous semantics is proposed. The model covers all known types of tables used in Software Engineering.
机译:Parnas等。 (Janicki等人,在Brink,Kahl,Schmidt(编辑),《计算机科学中的关系方法》,施普林格,柏林,1997年,Parnas,Commun。ACM 26(8)(1983)572--581,Pamas and Madey,Sci。Comput。Programm。25(1)(1995)41--61; Parnas等,IEEE Trans.Software Eng.20(12)(1994)948--976)提倡使用用于记录程序预期行为的关系模型。在这种方法中,使用表格表达式(或表)来提高可读性,以便正式文档可以代替常规文档。 Parnas(CRL报告260,加拿大安大略省汉密尔顿市麦克马斯特大学,安大略省电信研究所(TRIO),1992年)描述了几类表并提供了其正式的语法和语义。在本文中,提出了一种替代的,更通用的,更同源的语义。该模型涵盖了软件工程中使用的所有已知类型的表。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号