Abstract :
This session considers various approaches to the formalization of requirements specifications. Natural language properties can be automatically translated into formal language properties in certain circumstances. The relationships between requirements can be formalized in graphical notation. The success of temporal property languages in the hardware domain inspires the application of similar ideas to the embedded software domain.
