Lightweight formalization and validation of ORM models.

Amir Jahangard Rafsanjani Seyed-Hassan Mirian-Hosseinabadi

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

lightweight
wireless sensor networks
knowledge representation
social networks
mobile devices
data model
probabilistic model
network traffic
neural network model
rfid tags
model driven
handheld devices
development environments
modelling language
model validation