|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 74 occurrences of 56 keywords
|
|
|
|
|
Results
Found 50 publication records. Showing 50 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Axel van Lamsweerde |
The Humble Humorous Researcher: A Tribute to Michel Sintzoff.  |
Formal Asp. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
The humble humorous researcher: A tribute to Michel Sintzoff. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
Model engineering for model-driven engineering. |
EICS |
2010 |
DBLP DOI BibTeX RDF |
requirements, system design, model-driven engineering |
| 1 | Axel van Lamsweerde |
Keynote address: model engineering for model-driven engineering. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
Requirements Engineering - From System Goals to UML Models to Software Specifications. |
|
2009 |
RDF |
|
| 1 | Axel van Lamsweerde |
Building Multi-View System Models for Requirements Engineering. |
RE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
Reasoning About Alternative Requirements Options. |
Conceptual Modeling: Foundations and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Damas, Bernard Lambeau, Francois Roucoux, Axel van Lamsweerde |
Analyzing critical process models through behavior model synthesis. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Dupont, Bernard Lambeau, Christophe Damas, Axel van Lamsweerde |
The QSM Algorithm and its Application to Software Behavior Model Induction. |
Applied Artificial Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
Goal models as architectural knowledge. |
SHARK |
2008 |
DBLP DOI BibTeX RDF |
agent assignment, architectural knowledge, quality requirements, design alternatives, operationalization, goal-oriented design |
| 1 | Axel van Lamsweerde |
Requirements engineering: from craft to discipline. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
lightweight analysis, problem modeling, responsibility assignment, specification construction, requirements engineering, system design, goal orientation, formal derivation, operationalization |
| 1 | Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van |
Early verification and validation of mission critical systems. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
Model-checking, Animation, Requirements engineering, Monitoring, Verification and validation, Goal modelling |
| 1 | Christophe Damas, Bernard Lambeau, Axel van Lamsweerde |
Scenarios, goals, and state machines: a win-win partnership for model synthesis. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
scenario-based elicitation, synthesis of behavior models, incremental learning, labelled transition systems, message sequence charts, goal-oriented requirements engineering, analysis tools, scenario generation |
| 1 | Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde |
Generating Annotated Behavior Models from End-User Scenarios. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation |
| 1 | Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van |
Early Verification and Validation of Mission Critical Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Renaud De Landtsheer, Axel van Lamsweerde |
Reasoning about confidentiality at requirements engineering time. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
reasoning about confidentiality, bounded model checking, security requirements, specification patterns |
| 1 | Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde |
Goal-Oriented Design of Domain Control Panels. |
DSV-IS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde |
Deriving tabular event-based specifications from goal-oriented requirements models. |
Requir. Eng. |
2004 |
DBLP DOI BibTeX RDF |
Specification transformation, Lightweight formal analysis, Goal-oriented requirements engineering, Method integration, SCR |
| 1 | Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard |
Goal-Oriented Requirements Animation. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
Elaborating Security Requirements by Construction of Intentional Anti-Models. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Letier, Axel van Lamsweerde |
Reasoning about partial goal satisfaction for requirements and design engineering. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
partial satisfaction of requirements, probabilistic requirements modeling, reasoning about design alternatives, non-functional requirements, goal-oriented requirements engineering |
| 1 | André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van |
FAUST: Formal Analysis Using Specification Tools. (PDF / PS) |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde |
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
From System Goals to Software Architecture. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde, Emmanuel Letier |
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
specification building process, safety, Goal-oriented requirements engineering, lightweight formal methods, high assurance systems |
| 1 | Emmanuel Letier, Axel van Lamsweerde |
Agent-based tactics for goal-oriented requirements elaboration. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Letier, Axel van Lamsweerde |
Deriving operational software specifications from system goals. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
incremental specification, reasoning about partial models, patterns, goal-oriented requirements engineering, KAOS, operationalization, frame problem |
| 1 | Axel van Lamsweerde |
Building Formal Requirements Models for Reliable Software. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
Goal-Oriented Requirements Engineering: A Guided Tour. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde, Emmanuel Letier |
Handling Obstacles in Goal-Oriented Requirements Engineering. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
high-level exception handling, obstacle-based requirements transformation, defensive requirements specification, Goal-oriented requirements engineering, lightweight formal methods, specification refinement |
| 1 | Axel van Lamsweerde |
Building Formal Models for Software Requirements. (PDF / PS) |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
Requirements engineering in the year 00: a research perspective. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
Formal specification: a roadmap. |
ICSE - Future of SE Track |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde, Laurent Willemet |
Inferring Declarative Requirements Specifications from Operational Scenarios. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods |
| 1 | Axel van Lamsweerde, Robert Darimont, Emmanuel Letier |
Managing Conflicts in Goal-Driven Requirements Engineering. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
Goal-driven requirements engineering, divergent requirements, specification transformation, viewpoints, lightweight formal methods, conflict management |
| 1 | Axel van Lamsweerde, Emmanuel Letier |
Integrating Obstacles in Goal-Driven Requirements Engineering. |
ICSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde |
Requirements and Specification Exemplars. |
Autom. Softw. Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Massonet, Axel van Lamsweerde |
Analogical Reuse of Requirements Frameworks. (PDF / PS) |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde |
GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. (PDF / PS) |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde |
GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Darimont, Axel van Lamsweerde |
Formal Refinement Patterns for Goal-Driven Requirements Elaboration. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
goal-drive requirements engineering, reuse of specifications and proof, formal methods, design patterns, refinement |
| 1 | Axel van Lamsweerde, Robert Darimont, Philippe Massonet |
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. (PDF / PS) |
RE |
1995 |
DBLP DOI BibTeX RDF |
goal-directed elaboration, requirements engineering languages, nontrivial benchmark, complex requirements engineering tasks, distributed meeting scheduler system, KAOS goal directed language, goal identification, deidelization, interfering goals, abstract descriptions, retractable assumptions, hybrid acquisition strategies, scheduling, formal specification, groupware, case study, specification languages, requirements traceability, formal reasoning, meeting scheduler |
| 1 | Bruno Fadini, Leon J. Osterweil, Axel van Lamsweerde (eds.) |
Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994. |
ICSE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Anne Dardenne, Axel van Lamsweerde, Stephen Fickas |
Goal-Directed Requirements Acquisition. |
Sci. Comput. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde, Alfonso Fugetta (eds.) |
ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings |
ESEC |
1991 |
DBLP BibTeX RDF |
|
| 1 | Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne |
Generic Lifecycle Support in the ALMA Environment. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
ALMA, environment kernel, environment database, software objects, high-level tools, syntax-directed tools, software tools, programming environments, programming environments, database management systems, systems analysis, system documentation, system documentation, software lifecycle |
| 1 | Axel van Lamsweerde, Michel Sintzoff |
Formal Derivation of Strongly Correct Concurrent Programs. |
Acta Inf. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Vantilborgh, Axel van Lamsweerde |
On an Extension of Dijkstra's Semaphore Primitives. |
Inf. Process. Lett. |
1972 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #50 of 50 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")