Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Top publications in software engineering 1–100 of 178,144 results
1 2 3 4 5 6
Publications Citations  
1
Design Patterns: Elements of Reusable Object-Oriented Software (1995) 11353
2
Communicating Sequential Processes (1985) 6994
3
Object-oriented Modeling and Design (1991) 4266
4
Aspect-Oriented Programming (1997) 4218
5
Model Cheking (1997) 4030
6
The Unified Modeling Language User Guide (1999) 3813
7
Quantum computation and quantum information (2001) 3205
8
Object-oriented software construction (1997) 2861
9
A Theory of Timed Automata (1994) 2845
10
Statecharts: A Visual Formalism for Complex Systems (1987) 2825
11
A Discipline of Programming (1976) 2773
12
Lettters to the Editor (1982) 2754
13
Compilers: Principles, Techniques, and Tools (1986) 2592
14
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (1977) 2565
15
Software engineering economics (1984) 2557
16
Model checking (1996) 2537
17
The numerical computation of turbulent flows (1974) 2471
18
An axiomatic basis for computer programming (1969) 2372
19
Statecharts: A Visual Formulation for Complex Systems (1987) 2347
20
Communicating sequential processes (1978) 2327
21
On the criteria to be used in decomposing systems into modules (1972) 2311
22
Neural computation of decisions in optimisation problems (1985) 2153
23
Component software: beyond object-oriented programming (1999) 2112
24
Refactoring: Improving the Design of Existing Code (2002) 2069
25
Automatic verification of finite-state concurrent systems using temporal logic specifications (1986) 2037
26
The unified software development process (1999) 2011
27
Petri net theory and the modeling of systems (1981) 2009
28
The Model Checker SPIN (1997) 2002
29
A spiral model of software development and enhancement (1985) 1990
30
The unified modeling language reference manual (1999) 1966
31
Extreme programming explained: embrace change (2000) 1904
32
An Overview of AspectJ (2001) 1885
33
A Metrics Suite for Object Oriented Design (1994) 1793
34
Software Architecture: Perspectives on an Emerging Discipline (1996) 1782
35
Symbolic model checking (1993) 1765
36
A Complexity Measure (1976) 1680
37
Tcl and the Tk Toolkit (1994) 1666
38
The Temporal Logic of Programs (1977) 1661
39
the c++ programming language (1986) 1576
40
The mythical man-month: essays on software engineering (1975) 1574
41
Pattern Oriented Software Architecture: A system of Patterns (1996) 1546
42
Symbolic Model Checking: 10^20 States and Beyond (1990) 1532
43
Program Slicing (1981) 1519
44
Software Architecture: Perspectives on a Maturing Discipline (1995) 1511
45
Software Engineering: A Practitioner''s Approach (1992) 1506
46
Self-organized formation of topologically correct feature maps (1989) 1499
47
Program Slicing (1984) 1492
48
Object-Oriented Analysis and Design: With Applications (1994) 1491
49
Generative communication in Linda (1985) 1412
50
Object-oriented software engineering: a use case driven approach (1992) 1403
51
Software architecture in practice (2003) 1399
52
The Theory of Timed Automata (1991) 1367
53
No Silver Bullet - Essence and Accidents of Software Engineering (1987) 1308
54
Systematic Software Development Using VDM (2nd edition) (1990) 1308
55
Symbolic Model Checking: 10 (1992) 1289
56
Compilers: principles and techniques and tools (1985) 1280
57
Symbolic Boolean manipulation with ordered binary-decision diagrams (1992) 1268
58
The program dependence graph and its use in optimization (1987) 1252
59
Foundations for the study of software architecture (1992) 1247
60
Object Oriented Software Construction (1988) 1213
61
The Art Of Software Testing (1979) 1203
62
The Unified Modeling Language Reference Model (1998) 1195
63
Software Architecture in Practice (1998) 1194
64
the java language specification (2000) 1169
65
Design and synthesis of synchronization skeletons using branching time temporal logic (1981) 1136
66
Software product lines---practices and patterns (2001) 1116
67
A Classification and Comparison Framework for Software Architecture Description Languages (2000) 1108
68
The semantics of a simple language for parallel programming (1974) 1105
69
Software architecture: perspective on an emerging discipline (1996) 1100
70
The temporal logic of actions (1994) 1098
71
In object- oriented analysis (1991) 1096
72
The temporal logic o] reactive and concurrent systems (1992) 1074
73
A field study of the software design process for large systems (1988) 1073
74
Object-oriented analysis and design with applications (1993) 1065
75
Managing the software process (1989) 1064
76
Software Testing Techniques (1990) 1053
77
System Structure for Software Fault Tolerance (1975) 1052
78
Generative programming - methods, tools and applications (2000) 1052
79
Object-Oriented Design with Applications (1990) 1048
80
Risk (1979) 1045
81
Interprocedural slicing using dependence graphs (1990) 1034
82
Goal-Directed Requirements Acquisition (1993) 1031
83
elements of software science (1977) 1029
84
Symbolic Model Checking without BDDs (1999) 1024
85
The Theory and Practice of Concurrency (1993) 1023
86
Component software : beyond objectoriented programming (1998) 1001
87
Component Software: Beyond Object-Oriented Programming (1998) 1000
88
A formal basis for architectural connection (1997) 997
89
The Cathedral and the Bazaar (1998) 985
90
Basic Concepts and Taxonomy of Dependable and Secure Computing (2004) 980
91
A survey of program slicing techniques (1995) 979
92
Linda in context (1989) 968
93
Non-functional requirements in software engineering (2000) 957
94
Coloured Petri Nets (1986) 954
95
The SPIN Model Checker: Primer and Reference Manual (2003) 950
96
The art of the metaobject protocol (1991) 940
97
Object Oriented Design with applications (1991) 940
98
Software metrics - a rigorous ~j practical approach (1997) 933
99
The temporal logic of reactive and concurrent systems - specification (1992) 932
100
UPPAAL in a Nutshell (1997) 927
1 2 3 4 5 6