Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals von Cailliau, Antoine, Lamsweerde, Axel Van

Volltext

ESEC '91: 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings von Lamsweerde, Axel van, Fugetta, Alfonso

Volltext

THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION von Dupont, Pierre, Lambeau, Bernard, Damas, Christophe, Lamsweerde, Axel van

Volltext

Process Execution and Enactment in Medical Environments von Lambeau, Bernard, Damas, Christophe, van Lamsweerde, Axel

Volltext

The Humble Humorous Researcher: A Tribute to Michel Sintzoff von van Lamsweerde, Axel

Volltext

Generating obstacle conditions for requirements completeness von Alrajeh, D., Kramer, J., van Lamsweerde, A., Russo, A., Uchitel, S.

Volltext

Elaborating Security Requirements by Construction of Intentional Anti-Models von van Lamsweerde, Axel

Volltext

Requirements engineering in the year 00: a research perspective von van Lamsweerde, Axel

Volltext

From System Goals to Software Architecture von van Lamsweerde, Axel

Volltext

Assessing requirements-related risks through probabilistic goals and obstacles von Cailliau, Antoine, van Lamsweerde, Axel

Volltext

Handling obstacles in goal-oriented requirements engineering von van Lamsweerde, A., Letier, E.

Volltext

Reasoning about partial goal satisfaction for requirements and design engineering von Letier, Emmanuel, van Lamsweerde, Axel

Volltext

The humble humorous researcher: A tribute to Michel Sintzoff von van Lamsweerde, Axel

Volltext

The humble humorous researcher von van Lamsweerde, Axel

Volltext

Analyzing Critical Decision-Based Processes von Damas, Christophe, Lambeau, Bernard, van Lamsweerde, Axel

Volltext

Managing conflicts in goal-driven requirements engineering von van Lamsweerde, A., Darimont, R., Letier, E.

Volltext

Generating annotated behavior models from end-user scenarios von Damas, C., Lambeau, B., Dupont, P., van Lamsweerde, A.

Volltext

Deriving tabular event-based specifications from goal-oriented requirements models von De Landtsheer, Renaud, Letier, Emmanuel, van Lamsweerde, Axel

Volltext

Reasoning About Alternative Requirements Options von van Lamsweerde, Axel

Volltext

Inferring declarative requirements specifications from operational scenarios von van Lamsweerde, A., Willemet, L.

Volltext