Search in the site by keyword

projects - Power System Research - Three year plan (2000-2002)

Innovative methods and tools for the specification, verification, development and testing of automation systems

projects - Power System Research - Three year plan (2000-2002)

Innovative methods and tools for the specification, verification, development and testing of automation systems

Significantly improve the quality of the specification of the requirements of an automation system. Develop a set of prototype tools to support the efficient use of specification methods. Define a controlled, constrained natural language that can be used to write specifications without specialist knowledge.

Significantly improve the quality of the specification of the requirements of an automation system. Develop a set of prototype tools to support the efficient use of specification methods. Define a controlled, constrained natural language that can be used to write specifications without specialist knowledge.