Specs: Making Formal Techniques Usable.

Michel Dauphin Georges Fonade Rick Reed

Published in: IEEE Softw. (1993)

Keyphrases

formal model
formal models
formal specification
formal representation
mathematical theory
database
real time
data sets
search engine
information systems
multiscale
computational complexity
information technology
formal language