Class information for:
Level 3: COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
90 75221 25.6 26%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 4)


ID, lev.
above		 Publications Label for level above
17 868753 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS

Classes in level below (level 2)


ID, lev.
below		 Publications Label for level below
154 22100 INFORMATION AND SOFTWARE TECHNOLOGY//IEEE SOFTWARE//JOURNAL OF SYSTEMS AND SOFTWARE
216 20103 FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE
326 17471 PARALLEL COMPUTING//JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING//INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
1026 9754 LAMBDA CALCULUS//JOURNAL OF AUTOMATED REASONING//LINEAR LOGIC
1968 5139 ACM SIGPLAN NOTICES//REGISTER ALLOCATION//GARBAGE COLLECTION
3794 654 TOWERS OF HANOI//SIERPINSKI GRAPHS//SIERPINSKI GRAPH

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of publ.
in class
1 COMPUTER SCIENCE, SOFTWARE ENGINEERING WoS category 7821 22% 42% 31911
2 COMPUTER SCIENCE, THEORY & METHODS WoS category 6033 16% 46% 34287
3 ACM SIGPLAN NOTICES Journal 5487 80% 5% 3438
4 SCIENCE OF COMPUTER PROGRAMMING Journal 1757 78% 2% 1144
5 LANGUAGES Author keyword 1712 62% 2% 1777
6 LECTURE NOTES IN COMPUTER SCIENCE Journal 1634 38% 5% 3476
7 SIGPLAN NOTICES Journal 1511 71% 2% 1236
8 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING Journal 1416 58% 2% 1617
9 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS Journal 1400 84% 1% 768
10 INFORMATION AND SOFTWARE TECHNOLOGY Journal 1348 62% 2% 1403

Web of Science journal categories


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of publ.
in class
1 Computer Science, Software Engineering 7821 22% 42% 31911
2 Computer Science, Theory & Methods 6033 16% 46% 34287
3 Computer Science, Hardware & Architecture 1297 12% 14% 10457
4 Logic 347 16% 3% 2013

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of publ.
in class		 LCSH search Wikipedia search
1 LANGUAGES 1712 62% 2% 1777 Search LANGUAGES Search LANGUAGES
2 VERIFICATION 533 30% 2% 1485 Search VERIFICATION Search VERIFICATION
3 MODEL CHECKING 422 39% 1% 846 Search MODEL+CHECKING Search MODEL+CHECKING
4 ABSTRACT INTERPRETATION 371 69% 0% 319 Search ABSTRACT+INTERPRETATION Search ABSTRACT+INTERPRETATION
5 LAMBDA CALCULUS 343 73% 0% 262 Search LAMBDA+CALCULUS Search LAMBDA+CALCULUS
6 CONCURRENCY 273 40% 1% 539 Search CONCURRENCY Search CONCURRENCY
7 FORMAL METHODS 256 38% 1% 543 Search FORMAL+METHODS Search FORMAL+METHODS
8 PROGRAM ANALYSIS 232 60% 0% 255 Search PROGRAM+ANALYSIS Search PROGRAM+ANALYSIS
9 BISIMULATION 217 64% 0% 213 Search BISIMULATION Search BISIMULATION
10 PROCESS ALGEBRA 213 57% 0% 254 Search PROCESS+ALGEBRA Search PROCESS+ALGEBRA

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 MODEL CHECKING 557 48% 1% 842
2 BISIMULATION 407 73% 0% 313
3 SEMANTICS 279 26% 1% 910
4 TEMPORAL LOGIC 263 52% 0% 361
5 LINEAR LOGIC 230 60% 0% 254
6 JAVA 194 38% 1% 406
7 PROLOG 191 64% 0% 188
8 DATA FLOW ANALYSIS 187 79% 0% 120
9 AUTOMATA 186 24% 1% 674
10 LAMBDA CALCULUS 182 68% 0% 159

Journals


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of publ.
in class
1 ACM SIGPLAN NOTICES 5487 80% 5% 3438
2 SCIENCE OF COMPUTER PROGRAMMING 1757 78% 2% 1144
3 LECTURE NOTES IN COMPUTER SCIENCE 1634 38% 5% 3476
4 SIGPLAN NOTICES 1511 71% 2% 1236
5 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1416 58% 2% 1617
6 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 1400 84% 1% 768
7 INFORMATION AND SOFTWARE TECHNOLOGY 1348 62% 2% 1403
8 IEEE SOFTWARE 950 62% 1% 986
9 JOURNAL OF SYSTEMS AND SOFTWARE 924 46% 2% 1512
10 SOFTWARE-PRACTICE & EXPERIENCE 711 48% 1% 1094

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Regression testing minimization, selection and prioritization: a survey 2012 77 44 100%
Feature location in source code: a taxonomy and survey 2013 42 29 76%
Language-based information-flow security 2003 345 26 96%
The Past, Present and Future of Cyber-Physical Systems: A Focus on Models 2015 3 10 40%
When and how to develop domain-specific languages 2005 312 28 89%
Outstanding Research Problems in NoC Design: System, Microarchitecture, and Circuit Perspectives 2009 174 23 87%
Empirical studies of agile software development: A systematic review 2008 236 22 77%
A survey of software refactoring 2004 272 19 95%
A survey of research and practices of network-on-chip 2006 225 32 84%
A systematic review of machine learning techniques for software fault prediction 2015 1 50 94%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 LSV 285 79% 0.2% 182
2 DIPARTIMENTO INFORMAT 253 28% 1.0% 772
3 EQUAT 163 88% 0.1% 78
4 PROGRAMMING GRP 162 84% 0.1% 87
5 SPECIFICAT VERIFICAT 155 86% 0.1% 79
6 UMR 8643 144 85% 0.1% 77
7 SOFTWARE ENGN 141 24% 0.7% 514
8 SOFTWARE COMPOSIT GRP 130 91% 0.1% 53
9 BISS 103 97% 0.0% 30
10 PLEIAD 103 93% 0.1% 39

Related classes at same level (level 3)


Rank Relatedness score Related classes
1 0.0000004327 ARTIFICIAL INTELLIGENCE//ICCA JOURNAL//ICGA JOURNAL
2 0.0000003691 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS//COMPUTER SCIENCE, HARDWARE & ARCHITECTURE//JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS
3 0.0000002807 MEMBRANE COMPUTING//THEORETICAL COMPUTER SCIENCE//GRP NAT COMP
4 0.0000002516 TELECOMMUNICATIONS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, THEORY & METHODS
5 0.0000002120 SYSTEM DYNAMICS REVIEW//SYSTEMS RESEARCH AND BEHAVIORAL SCIENCE//CRITICAL SYSTEMS THINKING
6 0.0000001292 ON LINE ALGORITHMS//BIN PACKING//COMPETITIVE ANALYSIS
7 0.0000001209 LOGIC//JOURNAL OF SYMBOLIC LOGIC//ALGEBRA UNIVERSALIS
8 0.0000001103 DISCRETE MATHEMATICS//JOURNAL OF GRAPH THEORY//JOURNAL OF COMBINATORIAL THEORY SERIES B
9 0.0000000984 IEEE TRANSACTIONS ON RELIABILITY//MICROELECTRONICS AND RELIABILITY//RELIABILITY ENGINEERING & SYSTEM SAFETY
10 0.0000000969 ERGONOMICS//SAFETY SCIENCE//HUMAN FACTORS