Search the dblp DataBase
Axel van Lamsweerde :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Anne Dardenne , Axel van Lamsweerde , Stephen Fickas Goal-Directed Requirements Acquisition. [Citation Graph (4, 0)][DBLP ] Sci. Comput. Program., 1993, v:20, n:1-2, pp:3-50 [Journal ] Robert Darimont , Axel van Lamsweerde Formal Refinement Patterns for Goal-Driven Requirements Elaboration. [Citation Graph (1, 0)][DBLP ] SIGSOFT FSE, 1996, pp:179-190 [Conf ] Axel van Lamsweerde Building Formal Requirements Models for Reliable Software. [Citation Graph (0, 0)][DBLP ] Ada-Europe, 2001, pp:1-20 [Conf ] Axel van Lamsweerde Building Formal Models for Software Requirements. [Citation Graph (0, 0)][DBLP ] APSEC, 2000, pp:134-0 [Conf ] Christophe Ponsard , Nadiya Balych , Philippe Massonet , Jean Vanderdonckt , Axel van Lamsweerde Goal-Oriented Design of Domain Control Panels. [Citation Graph (0, 0)][DBLP ] DSV-IS, 2005, pp:249-260 [Conf ] Robert Darimont , Emmanuelle Delor , Philippe Massonet , Axel van Lamsweerde GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 1997, pp:612-613 [Conf ] Axel van Lamsweerde Requirements engineering in the year 00: a research perspective. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:5-19 [Conf ] Axel van Lamsweerde Formal specification: a roadmap. [Citation Graph (0, 0)][DBLP ] ICSE - Future of SE Track, 2000, pp:147-159 [Conf ] Axel van Lamsweerde Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:744-745 [Conf ] Axel van Lamsweerde Elaborating Security Requirements by Construction of Intentional Anti-Models. [Citation Graph (0, 0)][DBLP ] ICSE, 2004, pp:148-157 [Conf ] Axel van Lamsweerde , Emmanuel Letier Integrating Obstacles in Goal-Driven Requirements Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 1998, pp:53-62 [Conf ] Emmanuel Letier , Axel van Lamsweerde Agent-based tactics for goal-oriented requirements elaboration. [Citation Graph (0, 0)][DBLP ] ICSE, 2002, pp:83-93 [Conf ] Robert Darimont , Emmanuelle Delor , Philippe Massonet , Axel van Lamsweerde GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. [Citation Graph (0, 0)][DBLP ] RE, 1997, pp:140- [Conf ] Axel van Lamsweerde Goal-Oriented Requirements Engineering: A Guided Tour. [Citation Graph (0, 0)][DBLP ] RE, 2001, pp:249- [Conf ] Axel van Lamsweerde Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. [Citation Graph (0, 0)][DBLP ] RE, 2004, pp:4-7 [Conf ] Axel van Lamsweerde , Robert Darimont , Philippe Massonet Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. [Citation Graph (0, 0)][DBLP ] RE, 1995, pp:194-203 [Conf ] Renaud De Landtsheer , Emmanuel Letier , Axel van Lamsweerde Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. [Citation Graph (0, 0)][DBLP ] RE, 2003, pp:200-0 [Conf ] Philippe Massonet , Axel van Lamsweerde Analogical Reuse of Requirements Frameworks. [Citation Graph (0, 0)][DBLP ] RE, 1997, pp:26-0 [Conf ] André Rifaut , Philippe Massonet , Jean-François Molderez , Christophe Ponsard , Pierre Stadnik , Axel van Lamsweerde , Hung Tran Van FAUST: Formal Analysis Using Specification Tools. [Citation Graph (0, 0)][DBLP ] RE, 2003, pp:350- [Conf ] Hung Tran Van , Axel van Lamsweerde , Philippe Massonet , Christophe Ponsard Goal-Oriented Requirements Animation. [Citation Graph (0, 0)][DBLP ] RE, 2004, pp:218-228 [Conf ] Axel van Lamsweerde , Emmanuel Letier From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. [Citation Graph (0, 0)][DBLP ] RISSEF, 2002, pp:325-340 [Conf ] Axel van Lamsweerde From System Goals to Software Architecture. [Citation Graph (0, 0)][DBLP ] SFM, 2003, pp:25-43 [Conf ] Renaud De Landtsheer , Axel van Lamsweerde Reasoning about confidentiality at requirements engineering time. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2005, pp:41-49 [Conf ] Emmanuel Letier , Axel van Lamsweerde Deriving operational software specifications from system goals. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2002, pp:119-128 [Conf ] Emmanuel Letier , Axel van Lamsweerde Reasoning about partial goal satisfaction for requirements and design engineering. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2004, pp:53-62 [Conf ] Christophe Damas , Bernard Lambeau , Axel van Lamsweerde Scenarios, goals, and state machines: a win-win partnership for model synthesis. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2006, pp:197-207 [Conf ] Axel van Lamsweerde , Michel Sintzoff Formal Derivation of Strongly Correct Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1979, v:12, n:, pp:1-31 [Journal ] Martin S. Feather , Stephen Fickas , Anthony Finkelstein , Axel van Lamsweerde Requirements and Specification Exemplars. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1997, v:4, n:4, pp:419-438 [Journal ] Christophe Ponsard , Philippe Massonet , André Rifaut , Jean-François Molderez , Axel van Lamsweerde , Hung Tran Van Early Verification and Validation of Mission Critical Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:237-254 [Journal ] Hendrik Vantilborgh , Axel van Lamsweerde On an Extension of Dijkstra's Semaphore Primitives. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1972, v:1, n:5, pp:181-186 [Journal ] Renaud De Landtsheer , Emmanuel Letier , Axel van Lamsweerde Deriving tabular event-based specifications from goal-oriented requirements models. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2004, v:9, n:2, pp:104-120 [Journal ] Christophe Damas , Bernard Lambeau , Pierre Dupont , Axel van Lamsweerde Generating Annotated Behavior Models from End-User Scenarios. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2005, v:31, n:12, pp:1056-1073 [Journal ] Axel van Lamsweerde , Bruno Delcourt , Emmanuelle Delor , Marie-Claire Schayes , Robert Champagne Generic Lifecycle Support in the ALMA Environment. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1988, v:14, n:6, pp:720-741 [Journal ] Axel van Lamsweerde , Robert Darimont , Emmanuel Letier Managing Conflicts in Goal-Driven Requirements Engineering. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1998, v:24, n:11, pp:908-926 [Journal ] Axel van Lamsweerde , Emmanuel Letier Handling Obstacles in Goal-Oriented Requirements Engineering. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2000, v:26, n:10, pp:978-1005 [Journal ] Axel van Lamsweerde , Laurent Willemet Inferring Declarative Requirements Specifications from Operational Scenarios. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1998, v:24, n:12, pp:1089-1114 [Journal ] Christophe Ponsard , Philippe Massonet , Jean-François Molderez , André Rifaut , Axel van Lamsweerde , Hung Tran Van Early verification and validation of mission critical systems. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2007, v:30, n:3, pp:233-247 [Journal ] Reasoning About Alternative Requirements Options. [Citation Graph (, )][DBLP ] Analyzing critical process models through behavior model synthesis. [Citation Graph (, )][DBLP ] Goal models as architectural knowledge. [Citation Graph (, )][DBLP ] Keynote address: model engineering for model-driven engineering. [Citation Graph (, )][DBLP ] Building Multi-View System Models for Requirements Engineering. [Citation Graph (, )][DBLP ] Requirements engineering: from craft to discipline. [Citation Graph (, )][DBLP ] Model engineering for model-driven engineering. [Citation Graph (, )][DBLP ] The QSM Algorithm and its Application to Software Behavior Model Induction. [Citation Graph (, )][DBLP ] Search in 0.014secs, Finished in 0.016secs