![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 0_5hrHyperTrimmedHistoryOfMe_SE_FMs_RE_focusFMs.pdf | 2020-05-27 08:30 | 279K | |
| 10FCCslides.pdf | 2025-10-26 19:43 | 125K | |
| AIapps.pdf | 2024-10-22 13:47 | 18K | |
| AIcodingCostsSlides.pdf | 2025-10-26 19:43 | 124K | |
| AIvalidationTimeLine.pdf | 2024-10-22 13:47 | 64K | |
| AdminAndOverview.pdf | 2025-08-25 08:56 | 798K | |
| AdminAndOverviewF24.pdf | 2024-09-04 10:58 | 809K | |
| AdminAndOverviewF24Review.pdf | 2024-12-02 19:38 | 208K | |
| AdminAndOverviewF25.pdf | 2025-08-25 08:56 | 798K | |
| AdminAndOverviewS23.pdf | 2023-05-15 10:18 | 485K | |
| AmbigAddendum.pdf | 2024-11-03 14:59 | 117K | |
| Ambiguity.pdf | 2024-11-03 15:12 | 508K | |
| BadBetSlides.pdf | 2024-10-30 13:21 | 144K | |
| BadUCs | 2024-10-22 09:16 | 1.8K | |
| BadUCs.pdf | 2024-10-22 09:16 | 19K | |
| BadWhenIsGood.pdf | 2024-09-16 13:55 | 2.9K | |
| BadZvsH.pdf | 2025-09-15 09:02 | 27K | |
| Behavioural-Modeling_SMs.pdf | 2023-07-08 12:06 | 1.0M | |
| Caveats.pdf | 2023-06-27 04:51 | 25K | |
| Chaps3and4LihuaOuThesis.pdf | 2019-11-05 12:31 | 55K | |
| CostEstimation.pdf | 2024-10-30 13:21 | 70K | |
| DiMatteoBerryCzarneckiREforRHV.pdf | 2024-10-22 13:47 | 8.6M | |
| ElectricVehicle.pdf | 2024-09-16 13:55 | 37K | |
| EnoughTime.pdf | 2023-05-21 09:30 | 62K | |
| EvalAIrecog.pdf | 2024-10-22 13:47 | 6.1K | |
| EvalAItrans.pdf | 2024-10-22 13:47 | 6.1K | |
| EvalRecog.pdf | 2023-06-06 18:59 | 264K | |
| EvalTrans.pdf | 2023-06-06 18:59 | 280K | |
| FirstDraftWhenIsGood.pdf | 2024-09-16 13:55 | 23K | |
| FromSE463.pdf | 2023-06-22 07:47 | 504K | |
| GandDreqsNewCategForClass.pdf | 2024-10-03 20:57 | 184K | |
| HowToUnderstandONLYandALSO.pdf | 2024-11-10 09:19 | 57K | |
| IcebergBibliography.pdf | 2017-09-19 21:32 | 31K | |
| IcebergSlides.pdf | 2023-05-15 10:42 | 592K | |
| IcebergSlidesTrimmed.pdf | 2024-12-02 12:19 | 259K | |
| IcebergSlidesUltraTrimmed.pdf | 2024-12-03 16:56 | 80K | |
| IgnoranceDaySlides.pdf | 2023-05-10 09:17 | 31K | |
| Inspections.pdf | 2023-07-08 13:51 | 88K | |
| MSwordExit.pdf | 2017-11-02 11:16 | 263K | |
| MoreOnDomainModels.pdf | 2023-05-25 13:54 | 111K | |
| NFRs.pdf | 2024-11-09 20:53 | 1.0M | |
| OnlyInEVLA_SRS.pdf | 2015-11-02 13:33 | 53K | |
| PointsInSRSspace.pdf | 2023-06-12 19:03 | 2.3M | |
| ProblemFromExam.pdf | 2023-08-04 10:38 | 44K | |
| Quoted_I eat only_ - Google Search.pdf | 2015-11-02 13:33 | 209K | |
| Quoted_I only eat_ - Google Search.pdf | 2015-11-02 13:33 | 217K | |
| Quoted_all eat_ - Google Search.pdf | 2015-11-04 20:03 | 128K | |
| Quoted_both eat_ - Google Search.pdf | 2015-11-04 20:03 | 102K | |
| Quoted_each eats_ - Google Search.pdf | 2015-11-04 20:03 | 96K | |
| RDisUnstoppable.pdf | 2020-05-27 08:30 | 132K | |
| RE-referenceModel.pdf | 2024-09-09 14:59 | 2.7M | |
| RE4AILongSlides.pdf | 2024-10-22 13:47 | 95K | |
| REforAIslides.pdf | 2025-10-21 10:30 | 181K | |
| SCPXin-classXslides.pdf | 2024-11-14 11:47 | 139K | |
| SM-LTLtut.pdf | 2024-11-18 16:16 | 82K | |
| SM-LTLtutAns.pdf | 2023-08-06 11:49 | 692K | |
| SRSs.pdf | 2024-10-09 20:30 | 2.7M | |
| ScenarioPopulateEvent.pdf | 2024-09-26 20:28 | 17K | |
| ScenarioShowResponseCalendar.pdf | 2024-09-26 20:28 | 15K | |
| ScenarioUpdateEvent.pdf | 2024-09-26 20:28 | 15K | |
| Sec1.pdf | 2023-05-26 09:41 | 159K | |
| Sec1WithBothBordersAndTrimmedPhoto.pdf | 2023-05-26 09:41 | 323K | |
| Sec1wBothBordersAndTrimmed.pdf | 2023-05-26 09:41 | 1.3M | |
| Sec1wSysBorder.pdf | 2023-05-26 09:41 | 193K | |
| Sec2.pdf | 2023-05-26 09:41 | 281K | |
| Sec2WithBothBordersAndTrimmedPhoto.pdf | 2023-05-26 09:41 | 289K | |
| Sec2wBothBordersAndTrimmed.pdf | 2023-05-26 09:41 | 1.2M | |
| Sec2wSysBorder.pdf | 2023-05-26 09:41 | 264K | |
| SelfHairCut.pdf | 2023-06-05 22:20 | 11M | |
| Solution1.pdf | 2023-07-08 13:24 | 300K | |
| Solution2.pdf | 2023-07-08 11:59 | 9.9K | |
| StateMachineDiagrams.pdf | 2024-11-21 18:51 | 912K | |
| SynagogueKitchen.pdf | 2023-07-06 08:12 | 1.6M | |
| TutorialDM/ | 2025-10-03 09:34 | - | |
| UCsWhenIsGood.pdf | 2025-09-19 22:37 | 28K | |
| UCsWhenIsGoodFull.pdf | 2025-09-19 22:37 | 34K | |
| UCsWhenIsGoodWithLabels.pdf | 2025-09-19 22:37 | 28K | |
| UCsforPodium.pdf | 2023-06-01 18:59 | 21K | |
| UnpanelSlides.pdf | 2024-09-29 16:27 | 886K | |
| UserManual.pdf | 2024-10-10 14:02 | 53K | |
| VaguenessValiditySec1.pdf | 2023-07-11 20:58 | 311K | |
| VaguenessValiditySec2.pdf | 2023-07-11 20:58 | 126K | |
| WD-picManual.pdf | 2023-06-12 19:02 | 308K | |
| WDpicExperience.pdf | 2025-09-29 09:25 | 97K | |
| WhenIsGood.pdf | 2024-09-16 13:55 | 2.1K | |
| WhenIsGoodScreenShotsInOrder.pdf | 2024-09-16 13:55 | 5.2M | |
| WhenIsGoodUCsOnWhiteBoard.pdf | 2025-09-19 13:15 | 437K | |
| WhereToFindExceptions.pdf | 2024-10-08 11:08 | 80K | |
| ZvsHfinalDraft.pdf | 2025-09-15 08:52 | 84K | |
| ZvsHfirstDraft.pdf | 2025-09-15 08:52 | 80K | |
| ZvsHgame.pdf | 2025-09-15 08:52 | 11K | |
| all.dangerous.pdf | 2020-05-27 19:12 | 242K | |
| classes.concepts.pdf | 2024-09-16 13:55 | 5.2M | |
| elicitation.pdf | 2023-07-08 11:48 | 148K | |
| elicitationSkimmer.pdf | 2024-11-27 20:14 | 63K | |
| ninety-ten.pdf | 2024-09-30 19:12 | 11K | |
| postponement.pdf | 2023-06-01 20:56 | 23K | |
| robustness-2023.pdf | 2023-06-21 13:56 | 14M | |
| scenarios.usecase.pdf | 2024-09-26 20:28 | 43K | |
| stateOfStateMachine.pdf | 2023-07-08 11:14 | 295K | |
| temp.logic.pdf | 2024-11-18 16:16 | 230K | |
| textEditExit.pdf | 2017-11-02 11:16 | 212K | |
| turnstileFunctPoints.pdf | 2023-05-13 16:48 | 52K | |
| user.interfaces.pdf | 2024-10-22 11:12 | 230K | |
| users.man.pdf | 2025-10-09 20:54 | 120K |