R. Janicki, "Foundations of the Trace Assertion Method of Module Interface Specification, " CRL Report 348, NSERC, McMaster University, 1997.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... in Terms of Traces Work on specifying the required behavior of modules with internal state using assertions about traces began in 1977 with [1] but had its roots in earlier papers on algebraic specification such as [3] Since that time many people have been interested in the problem, with [13, 17, 5, 12, 15, 4] yielding results that provide input to the present work. Wang s work [17] in particular lead to a simulator that can be used to determine whether or not an implementation satisfies a specification. C.2. Reliability Estimation Using Traces In several papers, primarily [19] Woit has discussed ....

R. Janicki, "Foundations of the Trace Assertion Method of Module Interface Specification, " CRL Report 348, NSERC, McMaster University, 1997.

....task [38] They specified an existing system using algebraic specifications and were able to regenerate the system from the specifications using a code generator. Janicki et al. find that for defining abstract data types, algebraic specifications are preferable over the trace assertion method [6, 30] 6.2 Dynamic Invariant Detection Recently, there has been much work on dynamic invariant detection [15, 44, 1, 23] Dynamic invariant detection systems discover specifications by learning general properties of a program s execution from a set of program runs. Daikon [15] discovers Hoare style ....

R. Janicki and E. Sekerinski. Foundations of the trace assertion method of module interface specification. ACM Transactions on Software Engineering, 27(7), July 2001.

....[6, 37] and since then has undergone many modi cations [5, 10, 23, 31, 35] Many persons have been involved in the development of the Trace Assertion Method, but the main initial ideas are due to D. L. Parnas. In recent years, there has been an increased interest in the Trace Assertion Method [12, 13, 14, 16, 18, 25, 32, 34]. The trace assertion method is a vital part of general, relation based tabular speci cation technique [19] which had several serious industrial applications (see [21, 29] Trace based speci cation methods view each data object implemented by a software module as a nite state machine. They ....

....behaviors need to be speci ed for the real world applications. The purpose of this paper is to extend the existed method, Foundations of the Trace Assertion Method of Module Interface Speci cation for the case of sequential occurrences of events by R. Janicki [16] and R. Janicki and E. Sekerinski [18], to non sequential cases to specify the module interface with events occurred concurrently. The foundations and speci cation formats of Concurrent Trace Assertion Method (CTAM) is going to be developed for deterministic, non deterministic, output dependent and output independent modules. Several ....

R. Janicki, E.Sekerinski, Foundations of the Trace Assertion Method of Module Interface Specication, SERG Report No. 376, McMaster University, Hamilton, Canada, July 1999.

....[6, 37] and since then has undergone many modi cations [5, 10, 23, 31, 35] Many persons have been involved in the development of the Trace Assertion Method, but the main initial ideas are due to D. L. Parnas. In recent years, there has been an increased interest in the Trace Assertion Method [12, 13, 14, 16, 18, 25, 32, 34]. The trace assertion method is a vital part of general, relation based tabular speci cation technique [19] which had several serious industrial applications (see [21, 29] Trace based speci cation methods view each data object implemented by a software module as a nite state machine. They ....

....But non sequential or concurrent behaviors need to be speci ed for the real world applications. The purpose of this paper is to extend the existed method, Foundations of the Trace Assertion Method of Module Interface Speci cation for the case of sequential occurrences of events by R. Janicki [16], and R. Janicki and E. Sekerinski [18] to non sequential cases to specify the module interface with events occurred concurrently. The foundations and speci cation formats of Concurrent Trace Assertion Method (CTAM) is going to be developed for deterministic, non deterministic, output dependent ....

[Article contains additional citation context not shown here]

R. Janicki, Foundations of the Trace Assertion Method of Module Interface Specication, Technical Report No. 97-01, McMaster University, Hamilton, Canada, 1997.

.... in Terms of Traces Work on specifying the required behavior of modules with internal state using assertions about traces began in 1977 with [1] but had its roots in earlier papers on algebraic specification such as [3] Since that time many people have been interested in the problem, with [13, 17, 5, 12, 15, 4] yielding results that provide input to the present work. Wang s work [17] in particular lead to a simulator that can be used to determine whether or not an implementation satisfies a specification. C.2. Reliability Estimation Using Traces In several papers, primarily [19] Woit has discussed ....

R. Janicki, "Foundations of the Trace Assertion Method of Module Interface Specification, " CRL Report 348, NSERC, McMaster University, 1997.

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