the object-oriented data model TM is a language that is based on the formal theory of FM, a typed language withobject-oriented features such as attributes and methods in the presence of subtyping. the general (typed)...
详细信息
the application of distributed control systems is one of the main trends in current automation. Here, besides the programming of the control application code and its functional allocation to specific devices, an impor...
详细信息
ISBN:
(纸本)078039402X
the application of distributed control systems is one of the main trends in current automation. Here, besides the programming of the control application code and its functional allocation to specific devices, an important point is the implementation of communication related code to exploit the underlying communication platform and realise the collaboration of the distributed control application code. Due to the real-timeliness and even time-criticality of control applications, the correct handling of real-time constraints has to be considered. this paper presents two approaches for integrating communication related code into distributed control application code. One integration method is based on the application of AspectJ, an extension for aspect-orientedprogramming with Java, and the other method is based on ordinary object orientation applying standard design patterns. this work is part of the research project TORERO, which was funded by the european Commission under the IST program.
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.
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests...
详细信息
ISBN:
(纸本)0769525369
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests on the new version can identify potential differences or discrepancies. However, writing tests for an unknown and large system is difficult due to the lack of internal knowledge. It is especially difficult to bring the system to an appropriate state. Our solution is based on the acknowledgment that one of the few trustable piece of information available when approaching a legacy system is the running system itself Our approach reifies the execution traces and uses logic programming to express tests on them. thereby it eliminates the need to programatically bring the system in a particular state, and handles the test-writer a high-level abstraction mechanism to query the trace. the resulting system, called TESTLOG, was used on several real-world case studies to validate our claims.
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.
In this paper, we introduce a new Eclipse-based IDE for teaching Java following the object-later approach. In particular, this IDE allows the programmer to write code in Java-, a smaller version of the Java language t...
详细信息
the QAOOSE'2003 workshop brought together, for a full day, researchers and practitioners working on several aspects related to quantitative evaluation of software artifacts developed withthe object-oriented parad...
详细信息
the paper presents an approach to designing a data processing algorithms framework adapted to appearance of new algorithms that require comparison with previously implemented. the approach is based on the non-strict n...
详细信息
ISBN:
(纸本)9781450328890
the paper presents an approach to designing a data processing algorithms framework adapted to appearance of new algorithms that require comparison with previously implemented. the approach is based on the non-strict notion of mathematical "concept" - a set of mathematical ideas, expressed by algebraically equivalent formulas. Using this notion and patterns of object-orientedprogramming, the authors constructed a target motion analysis (TMA) algorithms framework, which dynamically creates objects that implement the wide class of algorithms according to a standardized description. Copyright 2014 ACM.
this report covers the twelfth Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted po...
ISBN:
(纸本)9783540781943
this report covers the twelfth Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted position papers as well as those made by all attendees of the workshop sessions.
暂无评论