Results 251 to 260 of about 92,012 (273)

OBJ-NET: An Object Oriented System Design Tool

Journal of Systems Integration, 1998
Computer-based Systems are used in a wide range of complex systems like automobile assembly lines, power plants, etc. These systems consist of heterogeneous subsystems having a multitude of interactions with other subsystems and environments. Designing software for such systems is a difficult task due to the inherent complexity both at conceptual and ...
D. H. H. Yoon, Qiang Zhu 0001, V. Mohanram, J. Cheng   +3 more
openaire   +1 more source

Grave Stone-exported OBJ

2016
Photos prises sur le téléphone Sony Z1 Compact. Modèle créé dans Memento.
openaire   +1 more source

More Higher Order Programming in OBJ

2000
This paper discusses the use of OBJ3’s parameterized modules for higher order programming, giving examples beyond those in [8, 3, 4] and showing some capabilities that may seem surprising. We also discuss parameterized views, which are not yet implemented, but which we hope soon will be.
Joseph A. Goguen, Grant Malcolm
openaire   +1 more source

Ručak i objed

1997
Rad sadrži jezični savjet glede uporabe riječi ručak i objed u hrvatskom književnom jeziku.
openaire  

Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications

Specification, Algebra, and Software, 2014
Masaki Nakamura, K. Ogata, K. Futatsugi
semanticscholar   +1 more source

OBJS: Forking Javascript to OOP Paradigms

2018
The goal of this transcompiler is to open Javascript to some advanced OOP features, such as operators overloading, as well as to introduce new syntax patterns for a comfortable code writing.
openaire   +1 more source

obj is subj

2023
openaire   +1 more source

Portfolio optimization using multi-obj ective genetic algorithms

IEEE Congress on Evolutionary Computation, 2007
Prisadarng Skolpadungket, K. Dahal, N. Harnpornchai   +2 more
semanticscholar   +1 more source

OBJ as a Theorem Prover with Applications to Hardware Verification

, 1989
J. Goguen
semanticscholar   +1 more source

Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs

Mathematical Studies of Information Processing, 1978
J. Goguen
semanticscholar   +1 more source