Results 241 to 250 of about 86,663 (296)

Assessment and Discussion of the Steady-State Determination in Zeolite Composite Membranes for Multi-Component Diffusion. [PDF]

Membranes (Basel)
Bizon K, Boroń D, Tabiś B.
europepmc   +1 more source

Landauer Principle and the Second Law in a Relativistic Communication Scenario. [PDF]

Entropy (Basel)
Alvim YJ, Céleri LC.
europepmc   +1 more source

Active Inference and Functional Parametrisation: Differential Flatness and Smooth Random Realisation. [PDF]

Entropy (Basel)
Mounier H, Parr T, Friston K.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Slicing algebraic specifications

Information and Software Technology, 1998
Abstract This paper reports an investigation into the application of slicing techniques to OBJ, an algebraic specification notation. A general method for slicing an OBJ specification based on its abstract syntax tree is described and examples of slices produced are presented. A tool that slices OBJ specifications is reported together with the results
Martin R. Woodward, Stephen Peter Allen
openaire   +1 more source

An algebraic theory of class specification

ACM Transactions on Software Engineering and Methodology, 1994
The notion of class (or object pattern) as defined in most object-oriented languages is formalized using known techniques from algebraic specifications. Inheritance can be viewed as a relation betweeen classes, which suggests how classes can be arranged in hierarchies. The hierarchies contain two kinds of information: on the one hand, they indicate how
F. PARISI PRESICCE, PIERANTONIO, ALFONSO
openaire   +2 more sources

Modular algebraic specifications

1988
Module, import, export and detail hiding are well-known notions in software engineering. If algebraic specifications together with their operational semantics of term rewriting should be useful as a programming language, similar concepts must be developed to cope with very large specifications.
Horst Hansen, Michael Löwe
openaire   +1 more source

Algebraic Imperative Specifications

2000
Algebraic imperative specifications (AIS) are specifications with implicit state represented by an algebra and with a number of transition rules indicating state transformations. They are designed for the formal definition of complex dynamic systems.
Marie-Claude Gaudel, Alexandre V. Zamulin   +1 more
openaire   +1 more source

On the Algebraic Specification of Domains

1985
We explore the possibilities for the algebraic specification of semantic domains by continuous abstract types, that is, by abstract types with monotonicity, continuity and completeness constraints. In this framework, a domain results from the ideal completion of a term-generated algebra constituting its finite part.
Bernhard Möller, Walter Dosch
openaire   +1 more source