Betty H.C. Cheng. Synthesis of Procedural and Data Abstractions. PhD thesis, University Illinois at Urbana-Champaign, August 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Using Automated Reasoning Techniques to Determine Software Reuse - Jeng, Cheng (1992) (1 citation) Self-citation (Cheng) (Correct)
....the syntactic specification of the method. The typing information describes the types of input and output parameters and internal (local) variables. The precondition describes the condition of the variables prior to the execution of the method whose behavior is described by the postcondition [21]. Figure 1 gives the grammar of the specification language. In this grammar, symbols expressed in the Roman font represent nonterminals, italicized symbols represent terminals, bold faced symbols denote keywords, the Kleene star ( denotes zero or more repetitions of the preceding unit, brackets ....
.... several tools are being developed that support the construction of formal specifications from an informal description [29, 30, 31] or from existing software [32] The other components of the software development environment include tools for formal specification editing [31] program synthesis [21, 33], and visualization of formal specifications [34, 35] Based upon the reuse framework that has been developed thus far, the approach will be extended in several aspects. First, new techniques are being developed that may be more efficient than the currently used approach for determining ....
Betty H.C. Cheng. Synthesis of Procedural and Data Abstractions. PhD thesis, University Illinois at Urbana-Champaign, August 1990.
An Object-Oriented Toolkit for Constructing Specification.. - Bourdeau, Cheng (1992) (1 citation) Self-citation (Cheng) (Correct)
.... is as a goal for program development [11, 17] If the statement portion had not yet been determined but pre and postconditions were known, it is sometimes possible to mechanically compute the statement needed to satisfy the specification; this development process is known as program synthesis [8, 7, 18, 19]. It is easy to understand that the use of formal methods is largely a problem of manipulating formal specifications. In order to make software development environments that incorporate the use of formal specifications more complete and user friendly, they should provide a subsystem for the ....
Betty Hsiao-Chih Cheng. Synthesis of Procedural and Data Abstractions. PhD thesis, University of Illinois at Urbana-Champaign, August 1990.
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