The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Axel van Lamsweerde: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Axel van Lamsweerde
    Building Formal Requirements Models for Reliable Software. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2001, pp:1-20 [Conf]
  4. Axel van Lamsweerde
    Building Formal Models for Software Requirements. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:134-0 [Conf]
  5. 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]
  6. 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]
  7. Axel van Lamsweerde
    Requirements engineering in the year 00: a research perspective. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:5-19 [Conf]
  8. Axel van Lamsweerde
    Formal specification: a roadmap. [Citation Graph (0, 0)][DBLP]
    ICSE - Future of SE Track, 2000, pp:147-159 [Conf]
  9. 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]
  10. Axel van Lamsweerde
    Elaborating Security Requirements by Construction of Intentional Anti-Models. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:148-157 [Conf]
  11. Axel van Lamsweerde, Emmanuel Letier
    Integrating Obstacles in Goal-Driven Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 1998, pp:53-62 [Conf]
  12. Emmanuel Letier, Axel van Lamsweerde
    Agent-based tactics for goal-oriented requirements elaboration. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:83-93 [Conf]
  13. 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]
  14. Axel van Lamsweerde
    Goal-Oriented Requirements Engineering: A Guided Tour. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:249- [Conf]
  15. Axel van Lamsweerde
    Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:4-7 [Conf]
  16. 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]
  17. 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]
  18. Philippe Massonet, Axel van Lamsweerde
    Analogical Reuse of Requirements Frameworks. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:26-0 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. Axel van Lamsweerde
    From System Goals to Software Architecture. [Citation Graph (0, 0)][DBLP]
    SFM, 2003, pp:25-43 [Conf]
  23. 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]
  24. Emmanuel Letier, Axel van Lamsweerde
    Deriving operational software specifications from system goals. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:119-128 [Conf]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]

  38. Reasoning About Alternative Requirements Options. [Citation Graph (, )][DBLP]


  39. Analyzing critical process models through behavior model synthesis. [Citation Graph (, )][DBLP]


  40. Goal models as architectural knowledge. [Citation Graph (, )][DBLP]


  41. Keynote address: model engineering for model-driven engineering. [Citation Graph (, )][DBLP]


  42. Building Multi-View System Models for Requirements Engineering. [Citation Graph (, )][DBLP]


  43. Requirements engineering: from craft to discipline. [Citation Graph (, )][DBLP]


  44. Model engineering for model-driven engineering. [Citation Graph (, )][DBLP]


  45. The QSM Algorithm and its Application to Software Behavior Model Induction. [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.024secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002