Function minimization techniques often require values for the first partial derivatives of the function at a point. Certain techniques, such as Newton's method, require the values of the second partial derivatives...
详细信息
Descriptive software specification techniques are based on mathematical formalism and produce precise, rigorous specifications which are in general to be preferred for the design of reactive systems with respect to op...
详细信息
ISBN:
(纸本)0818654805
Descriptive software specification techniques are based on mathematical formalism and produce precise, rigorous specifications which are in general to be preferred for the design of reactive systems with respect to operational techniques. Recently, dual languages which tend to integrate these aspects have been investigated. In this paper, an object-oriented specification dual language, named TROL is presented, it consists in an executable formal specification model which can be used for validation of reactive systems. TROL has the capability to describe the system behavior, its functionality and structural aspects. It allows to describe the system at different levels of structural abstractions and specification details without boundaries among the specification steps. At each specification level, TROL helps the user in the verification of consistency, thus allowing incremental specification. TROL has a visual representation which has been supported by a CASE tool named TOOMS.
Today businesses have to change the way that they operate frequently because of advances in technology and business-to-business communication. To be able to keep up with these changes in business operations it is nece...
详细信息
ISBN:
(纸本)0889863946
Today businesses have to change the way that they operate frequently because of advances in technology and business-to-business communication. To be able to keep up with these changes in business operations it is necessary to separate business rules and procedures from system functionality. By defining a component-based business model, it is possible for the business expert to specify and modify business operations without re-designing the automated system controlling the business operation. We propose a business model consisting of three different components where domain expert in each area can define and customise a component with minimum interaction with other components of the business model. Our main objective behind the component-based approach in business model specification is twofold. One is to be able to define a model that is easily customisable by domain expert, eliminating the need to develop a new system when changes to the business process or organisation have been introduced. Secondly this approach will reduce the time, cost and disruption to the business. We have mapped this model to an XML representation which best can describe the hierarchical and semi-structural format of business model. A system for B2B communication has been developed using this approach.
Since object-orientedprogramming has become dominant in application development, there has been the recurring issue of an impedance mismatch between the way programmers manipulate objects in memory, and the way they ...
详细信息
objectoriented methods are now popular in many areas of computing, increasingly so in those areas associated with analysis and management science. The first system to incorporate many of the ideas of object orientati...
详细信息
Ultrahigh areal density is the key target of hard disk drive technology. Hence, writing field strength from head and switching field, Hsw, of media should be improved. In this work, we propose the one of alternative m...
详细信息
In previous work we have shown that more precise type analysis can be achieved by exploiting union types and static single assignment (SSA) intermediate representation (IR) of code. In this paper we exploit static sin...
详细信息
Both Ada and Java support concurrent programming, but through quite different approaches. Ada has built-in tasking features with concurrency semantics, independent of the language's OOP model, whereas Java's t...
详细信息
The authors are developing an operating system to support distributed object processing. The operating system can be viewed as an extension of the runtime for concurrent objectoriented C (cooC). The original runtime ...
详细信息
暂无评论