ProblËme
concept composÈ de trois parties
- entrÈes : liste de classes ou díassociations sur lesquelles portent des types ou des restrictions de domaine.
- sorties : liste de classes ou díassociations.
- but-formel : contrainte(s) portant sur les accesseurs des classes listÈes dans les entrÈes et les sorties qui devra(ont) Ítre vÈrifiÈe(s) pour que le problËme soit considÈrÈ rÈsolu.
but-texte : description du but sous forme díune chaÓne de caractËres.