✦ LIBER ✦

Modular specification of frame properties in JML

✍ Scribed by Peter Müller; Arnd Poetzsch-Heffter; Gary T. Leavens

Book ID: 102115441
Publisher: John Wiley and Sons
Year: 2003
Tongue: English
Weight: 359 KB
Volume: 15
Category: Article
ISSN: 1532-0626
DOI: 10.1002/cpe.713

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modularity-as-Property, Modularization-a

Modularity-as-Property, Modularization-as-Process, and ‘Modularity'-as-Frame: Lessons from Product Architecture Initiatives in the Global Automotive Industry

✍ MacDuffie, John Paul 📂 Article 📅 2013 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 441 KB

The ring of an outer von Neumann frame i

The ring of an outer von Neumann frame in modular lattices

✍ Gábor Czédli; Benedek Skublics 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 266 KB

The Contribution of Domain Specificity i

The Contribution of Domain Specificity in the Highly Modular Mind

✍ Axel Arturo Barceló Aspeitia; Ángeles Eraña; Robert Stainton 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 143 KB

Some properties of g-frames in Hilbert -

Some properties of g-frames in Hilbert -modules

✍ Xiang-Chun Xiao; Xiao-Ming Zeng 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 211 KB

A general approach to workpiece characte

A general approach to workpiece characterization in the frame of GPS (Geometrical Product Specification and Verification)

✍ N.M Durakbasa; P.H Osanna; A Afjehi-Sadat 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 67 KB

Averaging of processes in frame construc

Averaging of processes in frame constructions with random properties

✍ G.P. Panasenko 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 637 KB

A method of averaging the processes in random frames is described. An averaged operator splitting principle is stated, whereby explicit expressions can be obtained for calculating the effective characteristics. Mathematicallyrigorous averaging of equations in random media has been dealt with earlie