Goal-directed requirements acquisition A Dardenne, A Van Lamsweerde, S Fickas Science of computer programming 20 (1-2), 3-50, 1993 | 2939 | 1993 |
Goal-oriented requirements engineering: A guided tour A Van Lamsweerde Proceedings fifth ieee international symposium on requirements engineering …, 2001 | 2826 | 2001 |
Requirements engineering: from system goals to UML models to software specifications A Lamsweerde John Wiley & Sons, Ltd, 2009 | 1847 | 2009 |
Requirements engineering in the year 00: A research perspective A Van Lamsweerde Proceedings of the 22nd international conference on Software engineering, 5-19, 2000 | 1151 | 2000 |
Managing conflicts in goal-driven requirements engineering A Van Lamsweerde, R Darimont, E Letier IEEE transactions on Software engineering 24 (11), 908-926, 1998 | 896 | 1998 |
Handling obstacles in goal-oriented requirements engineering A Van Lamsweerde, E Letier IEEE Transactions on software engineering 26 (10), 978-1005, 2000 | 885 | 2000 |
Elaborating security requirements by construction of intentional anti-models A Van Lamsweerde Proceedings. 26th International Conference on Software Engineering, 148-157, 2004 | 596 | 2004 |
Formal refinement patterns for goal-driven requirements elaboration R Darimont, A Van Lamsweerde ACM SIGSOFT Software Engineering Notes 21 (6), 179-190, 1996 | 578 | 1996 |
Formal specification: a roadmap A Lamsweerde Proceedings of the Conference on the Future of Software Engineering, 147-159, 2000 | 487 | 2000 |
Reasoning about partial goal satisfaction for requirements and design engineering E Letier, A Van Lamsweerde Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004 | 411 | 2004 |
Goal-oriented requirements enginering: a roundtrip from research to practice [enginering read engineering] A Van Lamsweerde Proceedings. 12th IEEE International Requirements Engineering Conference …, 2004 | 391 | 2004 |
Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt A Van Lamsweerde, R Darimont, P Massonet Proceedings of 1995 IEEE International Symposium on Requirements Engineering …, 1995 | 379 | 1995 |
Inferring declarative requirements specifications from operational scenarios A Van Lamsweerde, L Willemet IEEE Transactions on Software Engineering 24 (12), 1089-1114, 1998 | 343 | 1998 |
From system goals to software architecture A Van Lamsweerde International School on Formal Methods for the Design of Computer …, 2003 | 304 | 2003 |
GRAIL/KAOS: an environment for goal-driven requirements engineering R Darimont, E Delor, P Massonet, A van Lamsweerde Proceedings of the 19th international conference on Software engineering …, 1997 | 299 | 1997 |
Deriving operational software specifications from system goals E Letier, A Van Lamsweerde ACM SIGSOFT Software Engineering Notes 27 (6), 119-128, 2002 | 298 | 2002 |
Reconciling system requirements and runtime behavior MS Feather, S Fickas, A Van Lamsweerde, C Ponsard Proceedings Ninth International Workshop on Software Specification and …, 1998 | 291 | 1998 |
Goal-directed concept acquisition in requirements elicitation S Fickas, A Van Lamsweerde, A Dardenne 6th Int. Workshop on Software Specification and Design, 14-21, 1991 | 260 | 1991 |
From object orientation to goal orientation: A paradigm shift for requirements engineering A Van Lamsweerde, E Letier International Workshop on Radical Innovations of Software and Systems …, 2002 | 257 | 2002 |
Agent-based tactics for goal-oriented requirements elaboration E Letier, A Van Lamsweerde Proceedings of the 24th international conference on Software Engineering, 83-93, 2002 | 198 | 2002 |