𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Meta-Modelling for Formal Software Development

✍ Scribed by A. Sreenivas; R. Venkatesh; M. Joseph

Book ID
108498390
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
128 KB
Volume
42
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A meta-level software development model
A meta-level software development model that supports V&V for AI software
✍ Theodore A. Linden πŸ“‚ Article πŸ“… 1990 πŸ› Elsevier Science 🌐 English βš– 701 KB

Abstntct--V&V methods for AI software must adapt to the kinds of development cycles that are practical for complex AI applications that evolve over time; yet V& V requires that each project have a well-defined development process that supports V& V activities. In this paper we introduce a fourdimens