Class information for: |
Basic class information |
Class id | #P | Avg. number of references |
Database coverage of references |
---|---|---|---|
15505 | 709 | 22.6 | 29% |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
Terms with highest relevance score |
rank | Term | termType | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
---|---|---|---|---|---|---|
1 | MESSAGE SEQUENCE CHARTS | authKW | 1099083 | 5% | 73% | 35 |
2 | LIVE SEQUENCE CHARTS | authKW | 592676 | 2% | 81% | 17 |
3 | MAZURKIEWICZ TRACES | authKW | 479343 | 2% | 70% | 16 |
4 | TRACE MONOIDS | authKW | 263783 | 1% | 88% | 7 |
5 | SEQUENCE DIAGRAMS | authKW | 200414 | 2% | 42% | 11 |
6 | LRI CNRS URA 410 | address | 155036 | 1% | 60% | 6 |
7 | TRACE LANGUAGE | authKW | 137812 | 1% | 80% | 4 |
8 | TRACE LANGUAGES | authKW | 137812 | 1% | 80% | 4 |
9 | IMPLIED SCENARIOS | authKW | 129201 | 0% | 100% | 3 |
10 | MESSAGE PASSING AUTOMATA | authKW | 129201 | 0% | 100% | 3 |
Web of Science journal categories |
Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
---|---|---|---|---|---|
1 | Computer Science, Theory & Methods | 38222 | 63% | 0% | 450 |
2 | Computer Science, Software Engineering | 13537 | 32% | 0% | 227 |
3 | Computer Science, Information Systems | 2226 | 15% | 0% | 106 |
4 | Computer Science, Hardware & Architecture | 871 | 6% | 0% | 46 |
5 | Mathematics, Applied | 306 | 9% | 0% | 67 |
6 | Logic | 172 | 1% | 0% | 8 |
7 | Computer Science, Artificial Intelligence | 172 | 5% | 0% | 33 |
8 | Telecommunications | 77 | 3% | 0% | 24 |
9 | Mathematics | 76 | 6% | 0% | 43 |
10 | Computer Science, Cybernetics | 47 | 1% | 0% | 6 |
Address terms |
Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
---|---|---|---|---|---|
1 | LRI CNRS URA 410 | 155036 | 1% | 60% | 6 |
2 | LIAFA | 99094 | 6% | 6% | 41 |
3 | BLAISE PASCAL LITP | 96899 | 0% | 75% | 3 |
4 | RI CNRS URA 1304 | 86134 | 0% | 100% | 2 |
5 | LSV | 49163 | 2% | 7% | 17 |
6 | ABT PROGRAMMIERUNG | 43067 | 0% | 100% | 1 |
7 | ALBEBRA | 43067 | 0% | 100% | 1 |
8 | BUSINESS COMMUN SYST GRP | 43067 | 0% | 100% | 1 |
9 | CLINCH VALLEY | 43067 | 0% | 100% | 1 |
10 | CNRS PPS UMR 7126 | 43067 | 0% | 100% | 1 |
Journals |
Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
---|---|---|---|---|---|
1 | LECTURE NOTES IN COMPUTER SCIENCE | 35595 | 38% | 0% | 270 |
2 | THEORETICAL COMPUTER SCIENCE | 30387 | 12% | 1% | 87 |
3 | RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 18641 | 2% | 3% | 15 |
4 | SOFTWARE AND SYSTEMS MODELING | 16783 | 2% | 3% | 12 |
5 | INFORMATION AND COMPUTATION | 14855 | 4% | 1% | 27 |
6 | COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING | 5553 | 0% | 6% | 2 |
7 | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | 5022 | 1% | 2% | 6 |
8 | MATHEMATICAL SYSTEMS THEORY | 4818 | 1% | 2% | 6 |
9 | FORMAL METHODS IN SYSTEM DESIGN | 4190 | 1% | 1% | 7 |
10 | FUNDAMENTA INFORMATICAE | 3171 | 2% | 1% | 13 |
Author Key Words |
Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
LCSH search | Wikipedia search |
---|---|---|---|---|---|---|---|
1 | MESSAGE SEQUENCE CHARTS | 1099083 | 5% | 73% | 35 | Search MESSAGE+SEQUENCE+CHARTS | Search MESSAGE+SEQUENCE+CHARTS |
2 | LIVE SEQUENCE CHARTS | 592676 | 2% | 81% | 17 | Search LIVE+SEQUENCE+CHARTS | Search LIVE+SEQUENCE+CHARTS |
3 | MAZURKIEWICZ TRACES | 479343 | 2% | 70% | 16 | Search MAZURKIEWICZ+TRACES | Search MAZURKIEWICZ+TRACES |
4 | TRACE MONOIDS | 263783 | 1% | 88% | 7 | Search TRACE+MONOIDS | Search TRACE+MONOIDS |
5 | SEQUENCE DIAGRAMS | 200414 | 2% | 42% | 11 | Search SEQUENCE+DIAGRAMS | Search SEQUENCE+DIAGRAMS |
6 | TRACE LANGUAGE | 137812 | 1% | 80% | 4 | Search TRACE+LANGUAGE | Search TRACE+LANGUAGE |
7 | TRACE LANGUAGES | 137812 | 1% | 80% | 4 | Search TRACE+LANGUAGES | Search TRACE+LANGUAGES |
8 | IMPLIED SCENARIOS | 129201 | 0% | 100% | 3 | Search IMPLIED+SCENARIOS | Search IMPLIED+SCENARIOS |
9 | MESSAGE PASSING AUTOMATA | 129201 | 0% | 100% | 3 | Search MESSAGE+PASSING+AUTOMATA | Search MESSAGE+PASSING+AUTOMATA |
10 | UML INTERACTIONS | 129201 | 0% | 100% | 3 | Search UML+INTERACTIONS | Search UML+INTERACTIONS |
Core articles |
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c: (1) Number of references referring to publications in the class. (2) Share of total number of active references referring to publications in the class. (3) Age of the article. New articles get higher score than old articles. (4) Citation rate, normalized to year. |
Rank | Reference | # ref. in cl. |
Shr. of ref. in cl. |
Citations |
---|---|---|---|---|
1 | DAN, HT , HIERONS, RM , COUNSELL, S , (2012) A FRAMEWORK FOR PATHOLOGIES OF MESSAGE SEQUENCE CHARTS.INFORMATION AND SOFTWARE TECHNOLOGY. VOL. 54. ISSUE 11. P. 1283 -1295 | 19 | 95% | 1 |
2 | HENRIKSEN, JG , MUKUND, M , KUMAR, KN , SOHONI, M , THIAGARAJAN, PS , (2005) A THEORY OF REGULAR MSC LANGUAGES.INFORMATION AND COMPUTATION. VOL. 202. ISSUE 1. P. 1 -38 | 18 | 100% | 42 |
3 | COMBES, P , HAREL, D , KUGLER, H , (2008) MODELING AND VERIFICATION OF A TELECOMMUNICATION APPLICATION USING LIVE SEQUENCE CHARTS AND THE PLAY-ENGINE TOOL.SOFTWARE AND SYSTEMS MODELING. VOL. 7. ISSUE 2. P. 157 -175 | 12 | 100% | 4 |
4 | LU, LJ , KIM, DK , (2014) REQUIRED BEHAVIOR OF SEQUENCE DIAGRAMS: SEMANTICS AND CONFORMANCE.ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. VOL. 23. ISSUE 2. P. - | 15 | 68% | 0 |
5 | MAOZ, S , (2012) POLYMORPHIC SCENARIO-BASED SPECIFICATION MODELS: SEMANTICS AND APPLICATIONS.SOFTWARE AND SYSTEMS MODELING. VOL. 11. ISSUE 3. P. 327-345 | 12 | 80% | 1 |
6 | MUSCHOLL, A , PELED, D , (2005) DECIDING PROPERTIES OF MESSAGE SEQUENCE CHARTS.SCENARIOS: MODELS, TRANSFORMATIONS AND TOOLS. VOL. 3466. ISSUE . P. 43 -65 | 11 | 100% | 2 |
7 | BOUABANA-TEBIBEL, T , RUBIN, SH , (2013) AN INTERLEAVING SEMANTICS FOR UML 2 INTERACTIONS USING PETRI NETS.INFORMATION SCIENCES. VOL. 232. ISSUE . P. 276 -293 | 11 | 79% | 3 |
8 | GENEST, B , MINEA, M , MUSCHOLL, A , PELED, D , (2004) SPECIFYING AND VERIFYING PARTIAL ORDER PROPERTIES USING TEMPLATE MSCS.FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS. VOL. 2987. ISSUE . P. 195-210 | 11 | 100% | 6 |
9 | GASTIN, P , KUSKE, D , (2007) UNIFORM SATISTIABILITY IN PSPACE FOR LOCAL TEMPORAL LOGICS OVER MAZURKIEWICZ TRACES.FUNDAMENTA INFORMATICAE. VOL. 80. ISSUE 1-3. P. 169-197 | 11 | 92% | 3 |
10 | BAUDRU, N , (2011) COMPOSITIONAL SYNTHESIS OF ASYNCHRONOUS AUTOMATA.THEORETICAL COMPUTER SCIENCE. VOL. 412. ISSUE 29. P. 3701 -3716 | 9 | 100% | 0 |
Classes with closest relation at Level 1 |