L6: Analysers: Parts ad Materials - DTU Informatics

11. Towards a Calculus of Domain Discoverers 11.3. Domain Discoverers11.3.3. PART TYPES
325
PART TYPES II/II
112. PART TYPES: Index → ∼ (Text×RSL)
112. PART TYPES(l̂〈t〉):
112(a). [ narrative, possibly enumerated texts ;
112((b))i. type t c = te,
112((b))ii. t α , t β , ..., t γ ,
112((b))iii. value obs t c : t → t c
112((b))iv. pre: HAS CONCRETE TYPE(l̂〈t〉) ]
112((b))ii. where: type expression te contains
112((b))ii. type names t α , t β , ..., t γ
A Precursor for Requirements Engineering 325 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 31, 2012: 09:02