G. Novak, "Software Reuse by Specialization of Generic Procedures through Views", submitted for publication, 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....object oriented and also some kind of functional programming via advanced use of templates. Other approaches use a different language for the generic formulation and rely on an ad hoc compiler that does the instantiation of the abstract implementation into specialized low level code, see [5] and [11]. This however requires a strict separation of the two layers and make a gradual adoption of this programming style more difficult. In addition, one has to rely on that special purpose compiler. In contrast, we use standard C compilers. It must be admitted that presently template handling and ....

Novak Jr., G. S. Software reuse by specialization of generic procedures through views. IEEE Transactions of Software Egineering, 23(7):401--417, 1997.

....when using type methods. TIBET s solution is shown in Figure 1: Figure 1: TIBET Inheritance Model TIBET type proxies are not Functions. The meta object system manages inheritance by leveraging create( rather than new, enabling type spoofing , single and multiple inheritance, type clusters [2], and instance pooling. Types are defined via addSubtype( supertypes via addGuardian( attributes via add Attribute( and methods via add Method( where represents Type , Inst , or Local . Each function updates reflection metadata. As shown, JavaScript s native lookup mechanism is ....

Gordon S. Novak Jr., Software Reuse by Specialization of Generic Procedures through Views. IEEE Transactions On Software Engineering, 23(7):401 -- 417, July 1997.

....and components. The notion component refers to a package including name, parameters, binaries and further comments and descriptions. The structure of the CBR is coarse grained with respect to equivalent signatures. Signatures are generalized in the sense of the type view technique presented in [8] and are embodied as abstract signatures without implementation details. The library is divided into partitions containing components conforming to a generalized signature Sigma i . We will refert to such library partitions as Sigma partitions hereafter. The CBR also includes a run time ....

Gordon S. Novak Jr. Software Reuse by Specialization of Generic Procedures through Views. IEEE Transactions On Software Engineering, 23(7):401 -- 417, July 1997.

....ideas of [24] we cluster the repository into partitions with respect to the signatures of all reusable components. Thus, a partition Sigma p contains assets which conform with the signature p only. However, to allow a higher level of recall we use generalized signatures by extending the ideas of [17] and [24] A generalized signature describes the coarse structure of a signature, respecting application semantics, but neglecting implementation details [15] Starting point is an analysis of the data types of a signature, their qualification (the name of the parameter, the local position within ....

G. S. Novak Jr. Software Reuse by Specialization of Generic Procedures through Views. IEEE Transactions On Software Engineering, 23(7):401 -- 417, July 1997.

....(e.g. new data and method members) to one or more classes of the hierarchy. A customized view of an inheritance hierarchy could therefore be defined by composing extensions. A rather different and powerful approach to views and software reuse has been proposed by Goguen [Gog86] Novak [Nov92, Nov97], and VanHilst [Van96] The essence of this approach is to define generic abstract components that are automatically specialized to present a customized concrete implementation. A view is an isomorphism that defines a mapping of an object to a customized perspective . A view cluster encapsulates ....

Gordon S. Novak. Software Reuse by Specialization of Generic Procedures through Views. In IEEE Transactions on Software Engineering, July 1997, pages 401-417.

....(e.g. new data and method members) to one or more classes of the hierarchy. A customized view of an inheritance hierarchy could therefore be defined by composing extensions. Different and powerful approaches to views and software reuse have been proposed by Goguen [Gog86] and Novak [Nov92, Nov97] Goguen s work mainly 113 focusses on mathematical descriptions and axioms, while Novak s work aims at implementing real applications. The essence of both approaches is to define generic abstract components that are automatically specialized to present a customized concrete implementation. A ....

G.S. Novak, "Software Reuse by Specialization of Generic Procedures through Views", in IEEE Trans. on Softw. Eng., July 1997, 401-417.

.... in its approach (static, heuristic based analysis of programs) to the 1981 SETL system [23] Novak has applied automatic programming to software synthesis using views computational mappings that enable generic procedures to be specialized without the incorporation of domain specific knowledge [20]. As our formalization of P3 demonstrates, however, the addition of domain specific knowledge to synthesized software need be neither arduous nor error prone, and offers significant performance benefits. The conceptual framework for constraint based planning was pioneered in [13] which includes ....

G. Novak. Software Reuse by Specialization of Generic Procedures through Views. IEEE Transactions in Software Engineering, July 1997, 401-417.

.... in software productivity [Bat93, Kie96, Due97] Generators are compilers for DSLs [Sma97] Component based generators, such as P2 and P3, show how reusable components form the basis of a powerful technology for producing high performance, customized applications in a DSL setting (see also [Nov97]) The automatic selection of data structures is an example of automatic programming [Bal85] SETL is a set oriented language where implementations of sets can be specified manually or determined automatically [Sch81] SETL offers very few set implementations (bit vector, indexed set, and ....

G. Novak, "Software Reuse by Specialization of Generic Procedures through Views", IEEE Trans. Software Engineering, July 1997, 401-417.

....will be ordered by name. Figure 7. Critique and Optimization of a Type Equation 14 technologies (with data structure generators, no less ) Nov95] His generation technology is quite different from ours (e.g. there is no design wizard and the applet is really an X windows application) [Nov97], but the concept of web based advertising of generators is the same. The automatic selection of data structures is an example of automatic programming [Bal85] SETL is a set oriented language where implementations of sets can be specified manually or determined automatically [Sch81] SETL offers ....

G. Novak, "Software Reuse by Specialization of Generic Procedures through Views", IEEE Trans. Software Engineering, July 1997, 401-417.

....the list, so an extra level of indirection appears. Yet another way is to rewrite and optimize the object for its new chore. Rewriting and Formal Methods: More Than Just Proofs Page 8 optimizing gives efficient code, but is expensive in human time and suffers from a greater risk of human error. [16] takes an approach to adaptation that is half way between these last two. The generic object is specified using a high level description that allows the compiler to rewrite it. The concrete object is first specified via an abstract object called a view which defines an interface the concrete ....

....Methods: More Than Just Proofs Page 10 3. support the search for reusable objects via the use of unification and the algorithms described in [15] and a natural user interface to restrict the search to objects that unify with a user specified sub problem, 4. adapt reusable objects as described in [16], 5. accept the introduction of new objects, so long as they have specifications in the chosen notation, 6. prevent the assembly of components that are not compatible (design time type checking) 7. track requirements of the system being developed and how the design refines them, 8. generate the ....

Gordon S. Novak Jr., "Software Reuse by Specialization of Generic Procedures through Views", IEEE Transactions on Software Engineering, vol. 23, no. 7, pp. 401-417, July 1997.

No context found.

G. Novak, "Software Reuse by Specialization of Generic Procedures through Views", submitted for publication, 1994.

No context found.

G. Novak, "Software Reuse by Specialization of Generic Procedures through Views", IEEE Trans. Software Engineering, July 1997, 401-417.

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