✦ LIBER ✦

URDAD as a semi-formal approach to analysis and design

✍ Scribed by Fritz Solms; Dawid Loubser

Publisher: Springer
Year: 2010
Tongue: English
Weight: 539 KB
Volume: 6
Category: Article
ISSN: 1614-5046
DOI: 10.1007/s11334-009-0113-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A semi-quantitative approach to the desi

A semi-quantitative approach to the design, analysis and operation of a gas target system

✍ Peter W. Wojciechowski; Munawwar Sajjad; Richard M. Lambrecht 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 743 KB

A formal logic approach to firewall pack

A formal logic approach to firewall packet filtering analysis and generation

✍ John Govaerts; Arosha Bandara; Kevin Curran 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 462 KB

A tableau approach to power system analy

A tableau approach to power system analysis and design

✍ S. W. Director; R. L. Sullivan 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 567 KB

A formal and structured approach to the

A formal and structured approach to the use of task analysis in accident modelling

✍ R.M. BOTTING; C.W. JOHNSON 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 406 KB

Recent work (Telford & Johnson, 1996;Johnson, 1997), involving the application of formal notations to analyse accident reports has shown that the quality of these accident reports is poor, so much so that their conclusions can be misleading. The proposed solution has been to use formal notations in

An alternative approach to shape design

An alternative approach to shape design sensitivity analysis

✍ Zhiye Zhao; R. A. Adey 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 724 KB

A behavioral analysis and verification a

A behavioral analysis and verification approach to pattern-based design composition

✍ Jing Dong; Paulo S.C. Alencar; Donald D. Cowan 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 498 KB