Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
7,141
Compilation of Inheritance for Object-Oriented Structures
"... Abstract:- Software systems are becoming increasingly complex and large. Thus, there is a growing need to make the development of such systems more efficient and more transparent. The ultimate objective is to construct software systems from read-made standard building blocks. Attempts to progress to ..."
Abstract
- Add to MetaCart
towards this objective cover the following areas (among others): modularization, reusability of modules, extensibility of modules, abstraction. Object-oriented languages afford new possibilities in these areas. Thus, object orientation is viewed as an important paradigm in relation to management
Object-oriented structures for Domain Decomposition methods
"... A set of data structures useful in implementing domain decomposition methods are described. A code that uses these data structures to implement the conjugate gradient method, with the operator evaluations, inner-products and vector additions done in parallel, is described, and its parallel speedup i ..."
Abstract
- Add to MetaCart
is analyzed. Possible extensions to the code are pointed out. 1 Introduction This report describes a set of object-oriented structures useful in implementing domain-decomposition methods for solving finite element systems. In particular, it is suited for massively parallel computations of flows in porous
Functional and Object Oriented Structuring of Petri Nets
, 1995
"... . The paper is a trial to describe a consistent path from Hierarhical to the Object Oriented Petri Nets. The aim of underlying research is to find a language environment suitable for system specification and prototyping. As a result, Object Oriented Petri Nets (OOPN) and the PNtalk language are d ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
are defined. OOPN/PNtalk definition is based on the net invocation concept allowing the functional structuring of Petri nets. Object oriented structuring is defined as a modification of the functional one. Keywords: Petri nets, object orientation, rapid prototyping, formal specifications. 1 Introduction
Toward an object-oriented structure for mathematical text
- MATHEMATICAL KNOWLEDGE MANAGEMENT, 4TH INT’L CONF., PROCEEDINGS. VOLUME 3863 OF LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
, 2006
"... Computerizing mathematical texts to allow software access to some or all of the texts ’ semantic content is a long and tedious process that currently requires much expertise. We believe it is useful to support computerization that adds some structural and semantic information, but does not require j ..."
Abstract
-
Cited by 19 (12 self)
- Add to MetaCart
restructured and simplified the core of the language, replaced our old notion of “context” by a new system of blocks and local scoping, and made other changes. Furthermore, we have enhanced our support for the mathematical use of nouns and adjectives with object-oriented features so that nouns now correspond
An object-oriented structuring for Z based on views
- ZB 2005: International Conference of B and Z users, LNCS3455 (2005
"... Abstract. There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) style. Our structuring is based on views, it uses the schema calculus, and it does not extend Z. The resulting OO ..."
Abstract
-
Cited by 6 (4 self)
- Add to MetaCart
Abstract. There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) style. Our structuring is based on views, it uses the schema calculus, and it does not extend Z. The resulting OO
OBJECT-ORIENTED STRUCTURES IN SOFTWARE DEVELOPMENT PROJECTS
"... A software development process describes who does what, when and how during the activities of a software development project. A complex software process can be divided into specific development phases. It is the task of software process management to specify and represent what must be done during ea ..."
Abstract
- Add to MetaCart
each development phase. The article proposes the unification of object-oriented models of software processes with formal models based on Petri nets to handle the inherent complexity and satisfy various requirements met in the representation of software development processes. The presented approach
flmlll ltN Designing an object-oriented structure for crop models
"... Object-oriented esign (OOD) and programming (OOP) offer many advantages for developing modular crop models. The model structure is well-defined, reuse of code is facilitated through inheritance, and data can be hidden (encapsulated) inside objects that correspond to physical components of the real s ..."
Abstract
- Add to MetaCart
Object-oriented esign (OOD) and programming (OOP) offer many advantages for developing modular crop models. The model structure is well-defined, reuse of code is facilitated through inheritance, and data can be hidden (encapsulated) inside objects that correspond to physical components of the real
Extraction of object-oriented structures from existing relational databases
- ACM SIGMOD Record
, 1997
"... ..."
Logical foundations of object-oriented and frame-based languages
- JOURNAL OF THE ACM
, 1995
"... We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, ..."
Abstract
-
Cited by 876 (65 self)
- Add to MetaCart
We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods
Results 1 - 10
of
7,141
