Login / Signup
ARIFS: an Environment for Incomplete and Formal Specifications.
Rebeca P. Díaz Redondo
José Juan Pazos-Arias
Ana Fernández Vilas
Ana Belén Barragáns-Martínez
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
formal specification language
formal methods
formal specification
model checking
artificial intelligence
process algebra
mobile robot
real time
dynamic environments
database
reverse engineering
relational databases
database design
missing values
design methodology
databases
specification languages