Formal semantic conflict detection in aspect-oriented requirements

Maintaining knowledge about temporal intervals

James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text

Computing, History, Information Retrieval +4

A Comprehensive Grammar of the English Language

Randolph Quirk, Sidney Greenbaum, Geoffrey Leech et al. · College Composition and Communication · 1987 · 5.5K citations

Language Studies, English, Linguistics +11

Goal-directed requirements acquisition

Anne Dardenne, Axel van Lamsweerde, Stephen Fickas · Science of Computer Programming · 1993 · 2K citations

Goal-oriented requirements engineering: a guided tour

Axel van Lamsweerde · 2002 · 1.7K citations

Engineering, Systems Engineering, Goal Setting +13

Actions and Events in Interval Temporal Logic

James F. Allen, George Ferguson · Journal of Logic and Computation · 1994 · 442 citations · Full text

Computing, Computer Science, Artificial Intelligence +16