✦ LIBER ✦

Formal concepts for an integrated internal model of the UML

✍ Scribed by Martin Große-Rhode

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 168 KB
Volume: 44
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80945-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The multiphase-field model with an integ

The multiphase-field model with an integrated concept for modelling solute diffusion

✍ J. Tiaden; B. Nestler; H.J. Diepers; I. Steinbach 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 832 KB

A recent formulation of a multiphase-field model is presented. The approach is employed to numerically simulate phase transitions in multiphase systems and to describe the evolution of the microstructure during solidification processes in alloy systems. A new method for modelling solute diffusion in

An internal variable model for the creep

An internal variable model for the creep of rocksalt

✍ M. Aubertin; D. E. Gill; B. Ladanyi 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 996 KB

MizarMode—an integrated proof assistance

MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics

✍ Josef Urban 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 140 KB

An integrated model for the dynamic anal

An integrated model for the dynamic analysis of location-transport interrelations

✍ C.S. Bertuglia; G. Leonardi; S. Occelli; G.A. Rabino; R. Tadei 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 676 KB

Asymptotic estimates for the formal inte

Asymptotic estimates for the formal integral of an area-preserving two-dimensional resonant mapping

📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 69 KB

A Conceptual and Formal Framework for th

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques

✍ Hartmut Ehrig; Fernando Orejas 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 377 KB