The KIDS Data Model Specification Language
نویسنده
چکیده
This preliminary report gives a guided tour of the syntax and semantics of the KIDS meta data model.
منابع مشابه
Specification and Animation of a Bank Transfer
The development of formal specifications may benefit from prototyping activities. The production of an executable model for a given description helps bridging the gap between this specification and the corresponding reality. The KIDS/VDM system, based on the KIDS environment, provides these prototyping facilities for the model-based specification language of VDM. This paper illustrates its use ...
متن کاملComparison of Growth of Male and Female Kids of Nondescript Goats in a Semi Arid Region of Nigeria
This study compared the use of five different models to describe the growth from birth to 20 weeks of age of kids from both genders of nondescript goats. Fifty nine (59) nondescript kids were weighed weekly at the university of Maiduguri livestock teaching and research farm, Nigeria and the live weights were modeled. Biologically relevant variables were estimated for each kid from the Logistic,...
متن کاملThe Causal Model for the Relationship of Architectural Physi cal-Functional Variables and Kids’ Motivation to Play in the Middle Area of Residential Complexes
The population growth of cities on the one hand and rising land prices on the other hand havecreated overcrowded residential environments. Living in such environments has had a negativeimpact on the individual and social health of residents. Children, as the most vulnerable groupin society, are at greater risk of being exposed to changes in physical and social environmentsthan the other groups....
متن کاملKIDS - A Knowledge-Based Software Development System
The Kestrel Interactive Development System (KIDS) provides knowledge-based support for the derivation of correct and efficient programs from formal specifications. We trace the use of KIDS in deriving an algorithm for solving a problem arising from the design of sonar and radar signals. This derivation illustrates algorithm design, a generalized form of deductive inference, program simplificati...
متن کاملExploring Social Robots as a tool for Special Education to teach English to Iranian Kids with Autism
This case study investigates the effects of Robot Assisted Language Learning (RALL) on English vocabulary learning and retention of Iranian children with high-functioning autism. Two groups of three male students (6-10 years old) with high-functioning autism participated in the current study. The humanoid robot NAO was used as a teacher assistant to teach English to the RALL group. Both RALL an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993