(Peper) Time documentation: ------------------- # ----------------------------------------------------------------------------- Formalization-1: Total: 580 min = 9 h 40 min U1: ConventionalFormalization: 25 Translation: 1 U2: Selection/Adaptation: 20 U3: Selection/Adaptation: 3:00 ConventionalFormalization: 15 U4: ConventionalFormalization: 5 U5: ??? : 5 U6: ConventionalFormalization : 10 U7: ConventionalFormalization : 1:00 U8: ConventionalFormalization : 15 U9: ConventionalFormalization : 5 U10: ??? : 3 U11: Selection/Adaptation : 10 U12: ??? : 30 U13: ??? : 2 U14i: Selection/Adaptation: 30 U14ii: Selection/Adaptation: 5 U14iii: Selection/Adaptation: 5 U15: ??? : 2 U16: ??? : 2 U17: ConventionalFormalization: 5 U18: Selection/Adaptation: 15 U19: ??? : 2 FM1: ConventionalFormalization: 5 FM2: Selection/Adaptation: 10 FM3: Selection/Adaptation: 3 FM4: ???: 2 FM5: ???: 2 FM6: Selection/Adaptation: 15 FM7: Selection/Adaptation: 7 FM8: ??? : 5 FM9: ??? : 20 FM10: ??? : 2 FM11: ??? : 2 NF1: ConventionalFormalization : 20 NF2: Selection/Adaptation: 10 NF3: Selection/Adaptation: 5 NF4: ConventionalFormalization : 10 NF5: ConventionalFormalization : 3 NF6: ??? : 2 NF7: ??? : 2 NF8: ??? : 2 NF9: ??? : 2