Affiliation:
1. AT&T Bell Labs, Murray Hill, NJ
2. AT&T Bell Labs, Murray Hill, NJ and Michael Jackson Consulting
Abstract
Partial specifications written in many different specification languages can be composed if they are all given semantics in the same domain, or alternatively, all translated into a common style of predicate logic. The common semantic domain must be very general, the particular semantics assigned to each specification language must be conducive to composition, and there must be some means of communication that enables specifications to build on one another. The criteria for success are that a wide variety of specification languages should be accommodated, there should be no restrictions on where boundaries between languages can be placed, and intuitive expectations of the specifier should be met.
Publisher
Association for Computing Machinery (ACM)
Reference35 articles.
1. ~BURSTALL R.M. Formal description of program structure and semantics in first order logic. ~In B. Meltzer and D Michie eds Mochil~e Intelhgence 5 Edinburgh University Press 1970 ~pp. 79-98. ~BURSTALL R.M. Formal description of program structure and semantics in first order logic. ~In B. Meltzer and D Michie eds Mochil~e Intelhgence 5 Edinburgh University Press 1970 ~pp. 79-98.
2. ~CARDELLI L. AND WEGNER P. On understanding types data abstraction and polymor- ~phism ACM Comput gurv 17 4 (Dec. 1985) 471 522. 10.1145/6041.6042 ~CARDELLI L. AND WEGNER P. On understanding types data abstraction and polymor- ~phism ACM Comput gurv 17 4 (Dec. 1985) 471 522. 10.1145/6041.6042
Cited by
102 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reliability of Convolutional Neural Networks: Failure Metrics with Metamorphic Test Cases;2021 IEEE 22nd International Conference on Information Reuse and Integration for Data Science (IRI);2021-08
2. Probabilistic Semantics for RoboChart;Unifying Theories of Programming;2019
3. Basic problems in multi-view modeling;Software & Systems Modeling;2017-12-13
4. Deriving Event-B Models from Mealy Machines: Application to an Auction System;Model and Data Engineering;2015
5. Calculating Refinements;Refinement in Z and Object-Z;2014