Goal-directed requirements acquisition A Dardenne, A Van Lamsweerde, S Fickas Science of computer programming 20 (1-2), 3-50, 1993 | 2965 | 1993 |
Goal-oriented requirements engineering: A guided tour A Van Lamsweerde Proceedings fifth ieee international symposium on requirements engineering …, 2001 | 2861 | 2001 |
Requirements engineering: from system goals to UML models to software specifications A Lamsweerde John Wiley & Sons, Ltd, 2009 | 1879 | 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 | 1161 | 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 | 902 | 1998 |
Handling obstacles in goal-oriented requirements engineering A Van Lamsweerde, E Letier IEEE Transactions on software engineering 26 (10), 978-1005, 2000 | 889 | 2000 |
Elaborating security requirements by construction of intentional anti-models A Van Lamsweerde Proceedings. 26th International Conference on Software Engineering, 148-157, 2004 | 603 | 2004 |
Formal refinement patterns for goal-driven requirements elaboration R Darimont, A Van Lamsweerde ACM SIGSOFT Software Engineering Notes 21 (6), 179-190, 1996 | 580 | 1996 |
Formal specification: a roadmap A Lamsweerde Proceedings of the Conference on the Future of Software Engineering, 147-159, 2000 | 493 | 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 | 418 | 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 | 394 | 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 | 382 | 1995 |
Inferring declarative requirements specifications from operational scenarios A Van Lamsweerde, L Willemet IEEE Transactions on Software Engineering 24 (12), 1089-1114, 1998 | 344 | 1998 |
From system goals to software architecture A Van Lamsweerde International School on Formal Methods for the Design of Computer …, 2003 | 305 | 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 | 302 | 1997 |
Deriving operational software specifications from system goals E Letier, A Van Lamsweerde ACM SIGSOFT Software Engineering Notes 27 (6), 119-128, 2002 | 299 | 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 | 293 | 1998 |
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 | 262 | 2002 |
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 |
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 | 199 | 2002 |