|
1555
|
Object-oriented modelling and design
– Rumbaugh, Blaha, et al.
- 1991
|
|
1497
|
The Art of Computer Programming
– Knuth
- 1973
|
|
667
|
A Spiral Model of Software Development and Enhancement
– Boehm
- 1988
|
|
648
|
Design Patterns
– Gamma, Helm, et al.
- 1995
|
|
372
|
Introduction to the ISO specification language LOTOS
– Bolognesi, Brinksma
- 1989
|
|
354
|
LaTeX: A document preparation system
– Lamport
- 1986
|
|
340
|
Building Large Knowledge-Based Systems
– Lenat, Guha
- 1989
|
|
237
|
Expressing the Relationships Between Multiple Views in Requirements Specification
– Nuseibeh, Kramer, et al.
- 1993
|
|
216
|
First-Order Logic
– Smullyan
- 1968
|
|
190
|
Representations of Commonsense Knowledge
– Davis
- 1990
|
|
123
|
The Acquisition of Syntactic Knowledge
– Berwick
- 1985
|
|
110
|
Object-Oriented Software Engineering
– Jacobson
- 1992
|
|
104
|
The LOOM knowledge representation language
– MacGregor, Bates
- 1987
|
|
100
|
Introduction to Government and Binding Theory
– Haegeman
- 1991
|
|
93
|
An Introduction to Object-Oriented Programming
– Budd
- 1991
|
|
89
|
Formal Approach to Scenario Analysis
– Hsia
- 1994
|
|
85
|
A performance theory of order and constituency
– Hawkins
- 1994
|
|
76
|
Government Printing Office
– Washington
- 2002
|
|
64
|
Requirements engineering with viewpoints
– Kotonya, Sommerville
- 1996
|
|
63
|
Function, Selection and Innateness: The Emergence of Language Universals
– Kirby
- 1999
|
|
61
|
An integrated formal model of scenarios based on statecharts
– Glinz
- 1995
|
|
58
|
Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study
– Cimatti, Serafini
- 1995
|
|
57
|
The LATEX companion
– Goossens, Mittelbach, et al.
- 1994
|
|
52
|
Statistical Optics
– Goodman
- 1985
|
|
43
|
The METAFONTbook
– Knuth
- 1986
|
|
42
|
Improving the Use Case Driven Approach to Requirements Engineering
– Regnell, Kimbler, et al.
- 1995
|
|
41
|
A Syntactic Theory of Belief and Action
– Haas
- 1986
|
|
41
|
Overview of the ksr1 computer system
– Burkhardt, Frank, et al.
- 1992
|
|
40
|
Breaking paragraphs into lines
– Knuth, Plass
- 1981
|
|
40
|
Getting Started: Using use cases to capture requirements
– Rumbaugh
- 1994
|
|
39
|
A computational model of language learnability and language change
– Clark, Roberts
- 1993
|
|
39
|
The dilemma of saussurean communication
– Oliphant
- 1996
|
|
32
|
How to Set Parameters: Arguments from Language Change
– Lightfoot
- 1991
|
|
31
|
AI Research in the Context of A Multifunctional Knowledge Base: The Botany Knowledge Base Project
– Porter, Lester, et al.
- 1988
|
|
30
|
Algernon: A tractable system for knowledge representation
– Crawford, Kuipers
- 1991
|
|
29
|
Scribe: a document specifica-tion language and its compiler
– Reid
- 1980
|
|
27
|
A brief history of time
– Hawking
- 1988
|
|
24
|
A language learning model for finite parameter spaces
– Niyogi, Berwick
- 1996
|
|
23
|
Object behaviour analysis
– Rubin, Goldberg
- 1992
|
|
14
|
An object-oriented approach to domain analysis
– Shlaer, Mellor
- 1989
|
|
13
|
The Joy of TEX
– Spivak
- 1986
|
|
12
|
Combining Object-oriented Analysis and Formal Description Techniques
– Moreira, Clark
- 1994
|
|
11
|
Symbolic Execution of LOTOS Specifications
– Eertink, Wolz
- 1992
|
|
11
|
Adding Rigour to Object-Oriented Analysis
– Moreira, Clark
- 1996
|
|
10
|
The VorTeX document preparation environment
– Chen, Coker, et al.
- 1986
|
|
9
|
IPfortran (a parallel extension of Fortran) reference manual
– Bagheri, Clark, et al.
- 1991
|
|
9
|
Functional Grammar in the History of English Periphrastic do.InLanguage Change and Variation, edited by Ralph W. Fasold and Deborah Schiffrin
– Kroch
- 1989
|
|
8
|
Rigorous object-oriented analysis
– Moreira
- 1994
|
|
8
|
Cognitive cliches. AI Working Paper 286
– Chapman
- 1986
|
|
8
|
Formal Support for Design Techniques: a Timethreads-Lotos Approach
– Amyot, Bordeleau, et al.
- 1995
|
|
