Assessing requirements-related risks through probabilistic goals and obstacles

The Skyline operator

S. Borzsony, Donald Kossmann, Konrad Stocker · 2002 · 2.2K citations

Computing, Computer Science, Data Management +11

Software risk management: principles and practices

Barry Boehm · IEEE Software · 1991 · 1.6K citations

Management, Risk Management, Risk Analysis +11

On Finding the Maxima of a Set of Vectors

H. T. Kung, Fabrizio Luccio, F. P. Preparata · Journal of the ACM · 1975 · 913 citations · Full text

Computing, Computer Science, Algorithms +6

Handling obstacles in goal-oriented requirements engineering

Axel van Lamsweerde, Emmanuel Letier · IEEE Transactions on Software Engineering · 2000 · 652 citations

Engineering, Computer Science, Systems Engineering +17

Probabilistic symbolic model checking with PRISM: a hybrid approach

Marta Kwiatkowska, Gethin Norman, David Parker · International Journal on Software Tools for Technology Transfer · 2004 · 439 citations

Computing, Computer Science, Computer Systems +13