G. S. Novak Jr. Creation of views for reuse of software with different data representations. IEEE Transactions on Software Engineering, 21(12):993--1005, 1995.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....most rewrite rules, we would like to abstract from annotations, while the definition of progression methods is aware of the complete representation types, that is, trees including annotations. In functional programming, a similar problem has been studied: pattern matching for abstract data types [16, 5, 14] (aka views) Views allow one to use the functions of an ADT in pattern matching as if these corresponded to proper constructors. Our approach involves an essential element that is not present in this work: tree annotations are potentially propagated from the input to the output of a rewrite step ....

G. S. Novak Jr. Creation of views for reuse of software with different data representations. IEEE Transactions on Software Engineering, 21(12):993--1005, 1995.

.... been bound to legal values) or a parameterized system (which has been partially instantiated but still requires additional values to complete the system) For example, the GLISP system can produce a specialized version of a generic numerical algorithm by compiling it relative to a particular view [Nov95]. The view specifies the mapping between the abstract data types and parameters used by the algorithm and the concrete data types and values which are available as input. There are numerous similarities between GenVoca concepts and parameterized programming. In both models, the interfaces of ....

Gordon Novak. Creation of views for reuse of software with different data representations. IEEE Transactions on Software Engineering, 21(12):993-1005, December 1995.

....correct (c.f. Bat93] and [Oss92] The models are not the same, however, as (for example) extensions have no counterparts to realms and realm parameters. It is worth noting that a rather different and powerful approach to views and software reuse has been proposed by Goguen [Gog86] Novak [Nov95], and Van Hilst [Van95] The essential idea is to define a customized interface to an object (or sets of objects) a view defines a mapping of each object to its customized interface. Module Interconnection Languages (MILs) Limited forms of subjectivity can be achieved through MILs. Microsoft s ....

G.S. Novak, "Creation of Views for Reuse of Software with Different Data Representations", IEEE Transactions on Software Engineering, December 1995.

....detailed design and implementation. When we obtain such a chain of analysis, design and implementation we have to face the problem of integrating this chunk that we want to reuse in the model we are working at. As far as implementation is concerned we could for example use the system described in [Novak95] ffl If we use OMT we can also try to define the link between the three different models (i.e. object, dynamic and functional) such that we get the other models as a bonus if we reuse the other one (However this problem is likely to be solved in the unified method [Booch et al..96] The main ....

Novak (Gordon S. Jr.). -- Creation of views for reuse of software with different data representations. IEEE Transactions on Software Engineering, 1995.

....correct (c.f. Bat93] and [Oss92] The models are not the same, however, as (for example) extensions have no counterparts to realms and realm parameters. It is worth noting that a rather different and powerful approach to views and software reuse has been pro 9 posed by Goguen [Gog86] Novak [Nov95], and Van Hilst [Van95] The essential idea is to define generic packages that present a customized interface to an object (or sets of objects) A view defines a mapping of each object to its customized perspective . Module Interconnection Languages (MILs) Limited forms of subjectivity can be ....

G.S. Novak, "Creation of Views for Reuse of Software with Different Data Representations", IEEE TOSE, December 1995.

....inference mechanisms and strategies to refine a formal specification of the problem into an executable program. 4.5.2 Other inference based generation systems The work of Gordon Novak represents another class of generation systems that make different tradeoffs and exhibit different capabilities. Novak s work [1994, 1995] raises the level of programming abstraction by introducing the notion of a view that relates a concrete type (i.e. an implementation form) to an abstract type (i.e. a canonical form) A view provides translation or adapter methods that automatically translate between the two representations. ....

Novak, G. S.(1995), "Creation of Views for Reuse of Software with Different Data Representations," IEEE Transactions on Software Engineering 21, 12, 993-1005. (See also http://www.cs.utexas.edu/users/novak/).

....correct (c.f. Bat93a] and [Oss92] The models are not the same, however, as (for example) extensions have no counterparts to realms and realm parameters. It is worth noting that a rather different and powerful approach to views and software reuse has been proposed by Goguen [Gog86 96] and Novak [Nov95]. The essential idea is to define a customized interface to an object (or sets of objects) a view defines a mapping of each object to its customized interface. 24 Module Interconnection Languages (MILs) Limited forms of subjectivity can be achieved through MILs. Microsoft s Common Object ....

G.S. Novak, "Creation of Views for Reuse of Software with Different Data Representations", IEEE Transactions on Software Engineering, December 1995, 993-1005.

....software reuse. Component parameterization has been studied extensively in the work of Goguen (e.g. see [17] both from a formal and a practical standpoint. Bassett s frames [8] are a simple generator approach which claims significant success in business software settings. Finally, Novak s views [28] have been used as the basis for generators geared towards automatic programming [29] 4 Assessment of the Future of Generators Application generators represent a significant software production technology. It is hard to dispute that mature generators for well understood domains can be ....

G. Novak, Creation of views for reuse of software with different data representations. IEEE Trans. Softw. Eng., December 1995: 993-1005.

....required for mathematical views may be somewhat complex: in the case of a polar vector (r; where the abstract type is a Cartesian vector (x; y) an assignment to basis variable x must update both r and so that x will have the new value and y will be unchanged. A program MKV ( make view ) [54] allows a user to specify mathematical views graphically by connecting corresponding parts of the concrete type and a diagram associated with the abstract type; MKV uses symbolic algebra to derive view procedures from the correspondences. For wider reuse, the storage and independence properties ....

....does so. For example, assigning a value r to the radius of a pizza as circle causes r 2 to be stored into the diameter of record pizza. 3. A procedure can be defined in the view type to accomplish assignment to a basis variable while maintaining the storage and independence properties. MKV [54] produces such procedures automatically. A view can define a procedure to create an instance of the concrete type from a set of basis variables of the abstract type [54] This is needed for generics that create new data, e.g. when two vectors are added to produce a new vector. Several points ....

[Article contains additional citation context not shown here]

G. Novak, "Creation of Views for Reuse of Software with Different Data Representations," IEEE Trans. Software Engineering, vol. 21, no. 12, pp. 993-1005, Dec. 1995.

No context found.

G. S. Novak Jr. Creation of views for reuse of software with different data representations. IEEE Transactions on Software Engineering, 21(12):993--1005, 1995.

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