Results 261 to 270 of about 340,216 (285)

FORMAL DERIVATION OF OBJECT-ORIENTED DESIGNS

Formal methods provide rigorous approaches and proof mechanisms for the development and verification of software systems. Much of the work in this field has focussed on refinement, which models the relationship between abstract specifications and more concrete specifications.
openaire   +1 more source

Mass is Charge: A Formal Derivation

We demonstrate that mass is not a fundamental property but in- stead emerges directly from charge. By analyzing the suppression of gravity as a charge interaction, we derive the relationship m = q, showing that mass and charge are mathematically equivalent.
openaire   +1 more source

Fractional derivative and formal power series

2008
The new method of summation of divergent series for calculation of fractional derivatives of function of binomial type is presented. A new indentity for hypergeometric functions is used to justify this calculus.
Elezović, Neven, Tomovski, Živorad
openaire   +1 more source

Formal derivation of functional architectural design

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., 2004
R. Khedri, I. Bourguiba
openaire   +1 more source

Derivation and Formal Proof of Binary Tree Depth Non-Recursive Algorithm

2021
exaly  

On the operad of associative algebras with derivation

Georgian Mathematical Journal, 2010
Jean-Louis Loday
exaly  

Ontology Learning Using Corpus-Derived Formal Contexts

2009
Cimiano, Philipp, Hitzler, Pascal, Scharfe, Henrik   +2 more
openaire   +2 more sources

Formal derivation of concurrent programs: an example from industry

IEEE Transactions on Software Engineering, 1993
exaly  

The formal derivation of a proof of the invariance theorem

Lecture Notes in Computer Science, 1990
exaly  

Derivation of ontological relations using formal methods in a situation awareness scenario

2003
Christopher J Matheus
exaly