✦ LIBER ✦

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

✍ Scribed by Jing Dong; Paulo S.C. Alencar; Donald D. Cowan

Publisher: Springer-Verlag
Year: 2003
Tongue: English
Weight: 498 KB
Volume: -1
Category: Article
ISSN: 1619-1366
DOI: 10.1007/s10270-004-0056-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Object-oriented design: A goal-driven an

Object-oriented design: A goal-driven and pattern-based approach

✍ Nien-Lin Hsueh; Jong-Yih Kuo; Ching-Chiuan Lin 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 326 KB

A behavioral approach to feedback loop d

A behavioral approach to feedback loop dominance analysis

✍ David N. Ford 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 340 KB 👁 3 views

Feedback loop dominance is a critical tool in explaining how structure drives behavior. Current analytic tools for loop dominance analysis are tacit, not codi®ed, unable to accurately identify dominant loops or inapplicable to most models. Most loop dominance analysis tools focus on model structure

Knowledge-based approach to structural i

Knowledge-based approach to structural integrity verification in requirements analysis and logical system specification

✍ R. Agarwal; S. Sakthivel; M. Tanniru 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 994 KB

A case-based approach for characterizati

A case-based approach for characterization and analysis of subgroup patterns

✍ Martin Atzmueller; Frank Puppe 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 680 KB

ViVa: A systematic approach to verificat

ViVa: A systematic approach to verification, improvement and validation of knowledge-based systems

✍ Erik Hollnagel 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 569 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