Web-based Collaborative Model for Preparing Formal Software Specifications.

Mohammed Sullabi Zarina Shukur

Published in: iiWAS (2006)

Keyphrases

formal model
high level
computational model
probabilistic model
multimedia
mathematical model
objective function
probability distribution
management system
data management
specification language