|
1524
|
Object-Oriented Modelling and Design
– Rumbaugh, Blaha, et al.
- 1991
|
|
1446
|
The Art of Computer Programming
– Knuth
- 1973
|
|
638
|
A Spiral Model of Software Development and Enhancement
– Boehm
- 1988
|
|
625
|
Design Patterns
– Gamma, Helm, et al.
- 1995
|
|
369
|
Introduction to the ISO specification language LOTOS
– Bolognesi, Brinksma
- 1987
|
|
343
|
LaTeX: A Document Preparation System
– Lamport
- 1986
|
|
334
|
Building Large KnowledgeBased Systems
– Lenat, Guha
- 1990
|
|
232
|
A framework for expressing the relationships between multiple views in requirements specification
– Nuseibeh, Kramer, et al.
- 1994
|
|
210
|
First-order logic
– Smullyan
- 1968
|
|
187
|
Representations of Commonsense Knowledge
– Davis
- 1990
|
|
119
|
The Acquisition of Syntactic Knowledge
– Berwick
- 1985
|
|
109
|
Object-Oriented Software Engineering
– Jacobson
- 1992
|
|
102
|
The LOOM Knowledge Representation Language
– MacGregor, Bates
- 1987
|
|
97
|
Introduction to Government & Binding Theory
– Haegeman
- 1991
|
|
93
|
An Introduction to Object-Oriented Programming
– Budd
- 2002
|
|
89
|
Formal Approach to Scenario Analysis
– Hsia
- 1994
|
|
75
|
A Performance Theory of Order and Constituency
– Hawkins
- 1994
|
|
63
|
D.C.: Government Printing Office
– Washington
- 1902
|
|
61
|
Function, selection and innateness: The emergence of language universals
– Kirby
- 1999
|
|
60
|
An integrated formal model of scenarios based on statecharts
– Glinz
- 1995
|
|
60
|
Requirements engineering with viewpoints
– Sommerville, Kotonya
- 1996
|
|
58
|
Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study
– Cimatti, Serafini
- 1995
|
|
53
|
The LATEXCompanion
– Goossens, Mittelbach, et al.
- 1994
|
|
48
|
Statistical Optics
– Goodman
- 1985
|
|
42
|
Improving the Use Case Driven Approach to Requirements Engineering
– Regnell, Kimbler, et al.
- 1995
|
|
41
|
III, ‘‘Overview of the KSR1 Computer System
– Burkhardt
- 1992
|
|
40
|
The METAFONT book
– Knuth
- 1986
|
|
40
|
Breaking paragraphs into lines
– Knuth, Plass
- 1982
|
|
40
|
A Syntactic Theory of Belief and Action
– Haas
- 1986
|
|
39
|
Getting Started: Using use cases to capture requirements
– Rumbaugh
- 1994
|
|
38
|
The dilemma of saussurean communication
– OLIPHANT
- 1996
|
|
34
|
A computational model of language learnability and language change
– Clark, Roberts
- 1993
|
|
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
|
|
28
|
How to Set Parameters: Arguments from Language Change
– Lightfoot
- 1991
|
|
25
|
A Brief History of Time
– Hawking
- 1988
|
|
25
|
Scribe: a document specification language and its compiler
– REID
- 1980
|
|
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
|
|
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
|
|
8
|
Function and grammar in the history of English: Periphrastic do
– Kroch
- 1989
|
|
