✦ LIBER ✦

Validating UML and OCL models in USE by automatic snapshot generation

✍ Scribed by Martin Gogolla; Jørn Bohling; Mark Richters

Publisher: Springer-Verlag
Year: 2005
Tongue: English
Weight: 430 KB
Volume: 4
Category: Article
ISSN: 1619-1366
DOI: 10.1007/s10270-005-0089-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Validation and automatic test generation

Validation and automatic test generation on UML models: the AGATHA approach

✍ David Lugato; Céline Bigot; Yannick Valot 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 174 KB

The related economic goals of test generation are quite important for software industry. Manufacturers ever seeking to increase their productivity need to avoid malfunctions at the time of system specification: the later the defaults are detected, the greater the cost is. Consequently, the developme

Generation of strut-and-tie models by to

Generation of strut-and-tie models by topology design using different material properties in tension and compression

✍ Mariano Victoria; Osvaldo M. Querin; Pascual Martí 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 552 KB

Classification of technical pitfalls in

Classification of technical pitfalls in objective universal hearing screening by otoacoustic emissions, using an ARMA model of the stimulus waveform and bootstrap cross-validation

✍ E. Vannier; P. Avan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 158 KB

Discussion on “On the use of the general

Discussion on “On the use of the generalized effective stress in the constitutive modelling of unsaturated soils” by L. Laloui and M. Nuth [Computers and Geotechnics 36 (2009) 20–23]

✍ Liu Yan; Cai Guoqing; Huang Lu 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 132 KB