SSP Group Meeting
Wednesday, February 23rd, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


Organisation and Management of Large Specifications in Controlled Natural Language

Wamberto Vasconcelos

Subsets of natural languages have been employed as a medium through which specifications (of requirements, systems, problems or solutions) can be stated, checked, compared and if, necessary/desired, executed. However, such specifications can grow considerably and their primary users, humans, may need further help in organising them with a view to their consultation and management. In this work we describe an environment for writing large specifications in a controlled natural language with offered means to organise and manage them.