Class information for: |
Basic class information |
ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
---|---|---|---|
20089 | 413 | 24.7 | 23% |
Classes in level above (level 2) |
ID, lev. above |
Publications | Label for level above |
---|---|---|
216 | 20103 | FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE |
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 | MESSAGE SEQUENCE CHARTS | Author keyword | 23 | 55% | 7% | 29 |
2 | LIVE SEQUENCE CHARTS | Author keyword | 21 | 73% | 4% | 16 |
3 | TESTING AND TEST CONTROL NOTATION VERSION 3 TTCN 3 | Author keyword | 3 | 100% | 1% | 3 |
4 | UML INTERACTIONS | Author keyword | 3 | 100% | 1% | 3 |
5 | CONFORMANCE | Address | 2 | 67% | 0% | 2 |
6 | PARTIAL BEHAVIOR MODELS | Author keyword | 2 | 67% | 0% | 2 |
7 | THE UNIFIED MODELING LANGUAGE | Author keyword | 2 | 67% | 0% | 2 |
8 | IMPLIED SCENARIOS | Author keyword | 2 | 50% | 1% | 3 |
9 | WIRELESS ROBOTICS | Author keyword | 2 | 50% | 1% | 3 |
10 | SEQUENCE DIAGRAMS | Author keyword | 2 | 18% | 2% | 9 |
Web of Science journal categories |
Author Key Words |
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 | MESSAGE SEQUENCE CHARTS | 43 | 62% | 11% | 45 |
2 | SEQUENCE CHARTS | 5 | 45% | 2% | 9 |
3 | UML SEQUENCE DIAGRAMS | 4 | 50% | 1% | 6 |
4 | BEHAVIOR MODELS | 3 | 43% | 1% | 6 |
5 | S2A | 3 | 100% | 1% | 3 |
6 | LSCS | 2 | 38% | 1% | 5 |
7 | DURATIONAL ACTIONS | 2 | 67% | 0% | 2 |
8 | IMPLIED SCENARIOS | 2 | 67% | 0% | 2 |
9 | NONLOCAL CHOICE | 2 | 67% | 0% | 2 |
10 | REGULAR MSC LANGUAGES | 1 | 100% | 0% | 2 |
Journals |
Reviews |
Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
---|---|---|---|---|
A novel paradigm for programming reactive systems centered on naturally specified modular behavior. | 2012 | 8 | 3 | 100% |
An evaluation of scenario notations and construction approaches for telecommunication systems development | 2003 | 29 | 22 | 55% |
Test aspect of requirement specification | 2010 | 0 | 5 | 80% |
An evaluation of timed scenario notations | 2010 | 2 | 30 | 30% |
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 | CONFORMANCE | 2 | 67% | 0.5% | 2 |
2 | TOOLS | 1 | 33% | 0.5% | 2 |
3 | COMP SCI AITRC | 1 | 50% | 0.2% | 1 |
4 | COMPETENCE TESTING INTEROPERABIL PERFORMANC | 1 | 50% | 0.2% | 1 |
5 | COMPETENCE TIP | 1 | 50% | 0.2% | 1 |
6 | DEI INTERACT SYST | 1 | 50% | 0.2% | 1 |
7 | ENTWICKLUNGSZENTRUM | 1 | 50% | 0.2% | 1 |
8 | TEST COMPETENCE | 1 | 50% | 0.2% | 1 |
9 | CAL IT2 | 0 | 33% | 0.2% | 1 |
10 | COMP SCI ENGN INGI | 0 | 33% | 0.2% | 1 |
Related classes at same level (level 1) |
Rank | Relatedness score | Related classes |
---|---|---|
1 | 0.0000213461 | REQUIREMENTS ENGINEERING//PROBLEM FRAMES//VIEWPOINTS |
2 | 0.0000175661 | SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL |
3 | 0.0000149460 | PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//LEHRSTUHL ANGEW INFORMAT |
4 | 0.0000125765 | SOFTWARE INSPECTION//READING TECHNIQUE//PERSPECTIVE BASED READING |
5 | 0.0000117109 | TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS |
6 | 0.0000102280 | PTIDEJ TEAM//DESIGN PATTERN DETECTION//DESIGN PATTERN RECOVERY |
7 | 0.0000097518 | PROTOCOL SYNTHESIS//ESTELLE//PROTOCOL VALIDATION |
8 | 0.0000089164 | ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ |
9 | 0.0000085688 | MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC |
10 | 0.0000080104 | STRUCTURAL SYNTHESIS OF PROGRAMS//PROOF SEARCH STARTEGIES//CONCEPTUAL PROGRAMMING |