共 50 条
- [2] Incorporating Presence Conditions into Goal Models that Evolve Over Time 2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 272 - 276
- [3] Formal reasoning for analyzing goal models that evolve over time Requirements Engineering, 2021, 26 : 423 - 457
- [4] Online Probabilistic Goal Recognition over Nominal Models PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 5547 - 5553
- [5] Specifying various time models with temporal propositional variables in duration calculus FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, 2007, 4700 : 170 - 187
- [7] Specifying Privacy Requirements with Goal-Oriented Modeling Languages SBES'18: PROCEEDINGS OF THE XXXII BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2018, : 112 - 121
- [9] Specifying business processes over objects ENTITY-RELATIONSHIP APPROACH - ER '94, 1994, 881 : 10 - 27