the authors introduce OBJECTEXT, an object-oriented data model for hypertext systems, featuring an extensible set of typed, structured nodes. It is argued that the integration of object-oriented principles can give hy...
详细信息
ISBN:
(纸本)081862065X
the authors introduce OBJECTEXT, an object-oriented data model for hypertext systems, featuring an extensible set of typed, structured nodes. It is argued that the integration of object-oriented principles can give hypertexts a clearer, more formal framework and reduce the problem of user disorientation without sacrificing generality or flexibility. It is also argued that hypertexts are a special case of semantic models in general, and of the object-oriented paradigm in particular. An implementation of the system, developed in Prolog, is discussed.
the author examines risk management through use of analysis disciplines. A method for risk management is presented which consists of a three-dimensional classification schema. this classification method is based on ri...
详细信息
ISBN:
(纸本)081862065X
the author examines risk management through use of analysis disciplines. A method for risk management is presented which consists of a three-dimensional classification schema. this classification method is based on risk categories, risk danger levels, and the probabilities of the risk actually occuring. the method allows for the total management of the risk aspects of a project. the processes are for risk management in high-technology projects and high-technology environments. this article is based on the risk management procedure contained in the PATRIARCH manager's procedure manual.
this paper stresses the importance of human interaction as a means of coordination and process guidance in system development. A metamodel for cooperative system development is proposed and relevant research (e.g., sp...
详细信息
this paper stresses the importance of human interaction as a means of coordination and process guidance in system development. A metamodel for cooperative system development is proposed and relevant research (e.g., speech act theory, design rationale) is presented within this framework the paper finally describes an architecture of a cooperative system development environment (SDE) realized as an extension of the softwareengineering platform MaestroII.
A novel algorithm for parallel design verification is described. Its data model is that of the data flow computer and is based on the partitioning of the design verification cycle into independent tasks that can be ru...
详细信息
ISBN:
(纸本)081862065X
A novel algorithm for parallel design verification is described. Its data model is that of the data flow computer and is based on the partitioning of the design verification cycle into independent tasks that can be run concurrently. the significance of this methodology is that, unlike other concepts that cannot use the existing sequential code and can only run on an expensive special-purpose hardware, the proposed approach does not require any code development and can be accommodated by a standard UNIX distributed network or a multiprocessor. the author presents experimental results for performing 52 design rule checks on 1.3 million polygons (12 layers) on both a multiprocessor configuration and a distributed network.
Roles' playing is common in our lives. We play different roles with our family, at work as well as in other environments. Role allocation in software development projects is also accepted though it may be implemen...
详细信息
Roles' playing is common in our lives. We play different roles with our family, at work as well as in other environments. Role allocation in software development projects is also accepted though it may be implemented differently by different software development methods. In a previous work [Y. Dubinsky, O. Hazzan, Roles in agile software development teams, in: 5th International conference on Extreme Programming and Agile Processes in softwareengineering, 2004, pp. 157-165] we have found that personal roles may raise teammates' personal accountability while maintaining the essence of the software development method. In this paper we present our role scheme, elaborate on its implementation and explain how it can be used to derive metrics. We illustrate our ideas by data gathered in student projects in the university. (C) 2006 Elsevier B.V. All rights reserved.
ABSIM (an acronym for ABsorption SIMulation) is a computer code for simulation of absorption systems in flexible and modular form. It may be applied to closed and/or open absorption cycles operating at steady state, a...
详细信息
ABSIM (an acronym for ABsorption SIMulation) is a computer code for simulation of absorption systems in flexible and modular form. It may be applied to closed and/or open absorption cycles operating at steady state, as well as to vapor compression and other thermodynamic cycles. this modular code is based on unit subroutines containing the governing equations for the system's units/components and on property subroutines containing thermodynamic properties of the working fluids. the units are linked together by a main program which calls the unit subroutines according to the user's specifications to form the complete cycle. When all the equations for the entire cycle have been established, a mathematical solver routine is employed to solve them simultaneously. As the simulated system becomes more complex, it is increasingly difficult to find a suitable initial guess. If the user obtains one, there is no guarantee that this guess will be adequate for simulating a different system state, even with but a slight change in its parameters (small change in temperature, and/or flow rate, heat transfer coefficients, etc.). To deal withthis problem, an automatic initial guess generating algorithm was developed. this algorithm aids the user by automatically selecting the initial guess for the solver to work with. this is to achieve convergence for different operating conditions, given that at least one good initial guess was already obtained for a certain operating point. An additional new feature of the ABSIM software is the implementation of a genetic optimization algorithm. It is enabled by the above automated initial guess algorithm. (C) 2018 Elsevier Ltd and IIR. All rights reserved.
the author describes the FORMAN formal annotation language, a tool for program testing, debugging, verification, and documentation. It is based on a semantic model of target program execution. A sequence of events ser...
详细信息
ISBN:
(纸本)081862065X
the author describes the FORMAN formal annotation language, a tool for program testing, debugging, verification, and documentation. It is based on a semantic model of target program execution. A sequence of events serves as this model. Assertions about data and control flows in this target program can be written in this language. Pattern matching and aggregate operations constitute the core of the language. Libraries of assertions can be used for program static and dynamic analysis, e.g., to check the presence of typical bugs.
A summary is given of the issues and conclusions of the round-table discussions on ‘Economic evaluation of computer control’, ‘Ergonomic aspects’, ‘Centralised versus distributed computersystems’, ‘Microcomput...
A summary is given of the issues and conclusions of the round-table discussions on ‘Economic evaluation of computer control’, ‘Ergonomic aspects’, ‘Centralised versus distributed computersystems’, ‘Microcomputers’, ‘Standardisation efforts in process control software’, ‘Education in digital computer-control’, and ‘Application of “Modern Control theory” to computer Control in the Process Industry’.
Dynamic information in Geo information systems has three or more dimensions, two or three locational and one temporal. To handle such complex structures as dynamic information, method support is needed. the method mus...
详细信息
Dynamic information in Geo information systems has three or more dimensions, two or three locational and one temporal. To handle such complex structures as dynamic information, method support is needed. the method must be based on a model of the dynamic situation or real world and have computer-based tools (CASE tools) at its disposal. Here, the steps in the DGIS method and the criteria of the D-CASE tool with its predefined objects are presented.
the authors discuss simulation by deduction, a technique in which the behavior of the simulated model is deduced by a reasoning system. A simulation system that uses this technique can explain the reasons for the simu...
详细信息
ISBN:
(纸本)081862065X
the authors discuss simulation by deduction, a technique in which the behavior of the simulated model is deduced by a reasoning system. A simulation system that uses this technique can explain the reasons for the simulation results and thus aid the localization of bugs. Furthermore, simulation by deduction enables symbolic simulation, i.e. simulating a scenario given only a partial description of the environment and the simulated model. this allows verifying properties of an evolving design at any stage of the design process, and thus checking the consequences of the design decisions made so far. these ideas were implemented in a system called SIP (simulation by proof), which simulates the behavior of reactive systems.
暂无评论