Coinductive abstract compilation is a novel technique, which has been recently introduced, for defining precise type systems for object-oriented languages. In this approach, type inference consists in translating the ...
详细信息
Reverse inheritance is a new class reuse mechanism, an experimental implementation of which we have built for Eiffel. It enables a more natural design approach, factorization of common features (members), insertion of...
详细信息
the proceedings contain 6 papers. the topics discussed include: inheritance metrics: what do they measure?;demystifying object schizophrenia;reuse and combination with package templates;modular composition and state u...
ISBN:
(纸本)9781450305358
the proceedings contain 6 papers. the topics discussed include: inheritance metrics: what do they measure?;demystifying object schizophrenia;reuse and combination with package templates;modular composition and state update in plaid;reverse inheritance in statically typed object-orientedprogramming languages;and pass-by-subclass parameters.
Characteristics of inheritance metrics are compared with size and length measurement using the property based validation framework of Briand et al. About a dozen inheritance metrics are analyzed and compared with some...
详细信息
Package Templates (PT) is a mechanism for writing modules meant for reuse, where each module (template) consists of a collection of classes. Such a template must be instantiated in a program (at compile time) to form ...
详细信息
In objectoriented systems, the design phase can be modeled using the three diagrams: Sequence diagram (which depicts responses of all objects that are involved in a single use case), Class Diagram (which is used to d...
详细信息
ISBN:
(纸本)9781450305327
In objectoriented systems, the design phase can be modeled using the three diagrams: Sequence diagram (which depicts responses of all objects that are involved in a single use case), Class Diagram (which is used to depict the structural aspect of design) and State chart diagram (which is used to depicts the states and state dependent behavior for objects). In this paper, we have proposed a framework for verification of these diagrams, which includes syntactic correctness and inter-diagram consistency. this is done by proposing Context Free Grammar for the three diagrams. the proposed grammar is validated by using Lex and Yacc and parse tree is generated which is an alternate form of the grammar. this framework, being built based on a formal approach, would enable us to automate the process of correctness and consistency verification among the diagrams used in design phase. this would also help us in ensuring requirement traceability on the long run. Copyright 2010 ACM.
the proceedings contain 5 papers. the topics discussed include: applying attribute grammers for metamodel semantics;abstract syntax driven language development: defining language semantics through aspects;an executabl...
ISBN:
(纸本)9781450305327
the proceedings contain 5 papers. the topics discussed include: applying attribute grammers for metamodel semantics;abstract syntax driven language development: defining language semantics through aspects;an executable semantics for UML 2 activity diagrams;formalization of the design phase of software lifecycle: a grammar based approach;and towards a DSML for semantics web enabled multi-agent systems.
the paper presents a mathematical model created for solving the problem of minimal volume design steel frame structures at shakedown. the shakedown and stability (for a part of the truss) constraints-conditions as wel...
详细信息
ISBN:
(纸本)9789955285946
the paper presents a mathematical model created for solving the problem of minimal volume design steel frame structures at shakedown. the shakedown and stability (for a part of the truss) constraints-conditions as well as the structure's stiffness requirements (i.e. the restriction of displacements and deflections) are evaluated. Extreme energy principles of the deformable body mechanics, as well as shakedown and mathematical programmingtheories of elastic-plastic structures are used in the work for creating the structure's volume optimization problem. Discretization is based on equilibrium finite elements with interpolation functions of internal forces. the elements are designed using HE, IPE, RHS steel profile assortments and considering dispersion of geometrical characteristics of profile assortment sets. Optimal design of steel structures is realized by using the tool system JWM SAOSYS Toolbox v0.47 created by the authors in MATLAB environment. A new analysis module EPSOptim-SD is also discussed. the possibilities of the system SAOSYS are demonstrated by a numerical example of industrial building frame design with standard strength, stability and stiffness constraints. the assumption of small displacements is adopted in optimization of nonlinear problems.
this article analyzes creation methods of automated design system. the creation methods of flat steel truss automated design system are discovered with Unified Modeling Language. Use case, collaboration and statechart...
详细信息
ISBN:
(纸本)9789955285946
this article analyzes creation methods of automated design system. the creation methods of flat steel truss automated design system are discovered with Unified Modeling Language. Use case, collaboration and statechart diagrams are presented. Analyzed objects-classes: bar, welding seam and node sheet. Class bar methods select cross sections of bars from standard edges database, calculate bar's geometry, write information to matrix and draw bars in the drawing. the bar's welding seams near node sheet are calculated using class welding seam methods;information is read from matrix and drawn. Knowing bars' and welding seams' geometry, class node sheet methods design node sheets. Integrated CAD environment (AutoCAD) with Visual Basic Application programming language enlarges possibilities in engineering design. Design system and an example of flat steel truss project with specification are presented. Creation methods of automated design system are discussed and conclusions are made.
this report gives an overview of the 10th Workshop on Formal Techniques for Java-like Programs at ecoop 2008. It explains the motivation for the workshop, and summarizes the presentations and discussions.
ISBN:
(纸本)9783642020469
this report gives an overview of the 10th Workshop on Formal Techniques for Java-like Programs at ecoop 2008. It explains the motivation for the workshop, and summarizes the presentations and discussions.
暂无评论