Class information for: |
Basic class information |
Class id | #P | Avg. number of references |
Database coverage of references |
---|---|---|---|
31925 | 146 | 27.2 | 19% |
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 | ABSTRACT STATE MACHINES | authKW | 2667673 | 17% | 51% | 25 |
2 | COREASM | authKW | 627442 | 2% | 100% | 3 |
3 | DIP TECNOL INFORMAZ | address | 313718 | 2% | 50% | 3 |
4 | PARTIAL UPDATES | authKW | 278862 | 1% | 67% | 2 |
5 | ASML | authKW | 235287 | 2% | 38% | 3 |
6 | ACCESS PREDICATE | authKW | 209147 | 1% | 100% | 1 |
7 | AMBIENT CONCEPT | authKW | 209147 | 1% | 100% | 1 |
8 | APPLICATIVE ALGEBRA | authKW | 209147 | 1% | 100% | 1 |
9 | ASM GROUND MODEL GOLDEN MODEL | authKW | 209147 | 1% | 100% | 1 |
10 | ASM LANGUAGE | authKW | 209147 | 1% | 100% | 1 |
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 | 7587 | 62% | 0% | 91 |
2 | Computer Science, Software Engineering | 7265 | 51% | 0% | 75 |
3 | Computer Science, Hardware & Architecture | 467 | 10% | 0% | 15 |
4 | Computer Science, Information Systems | 179 | 10% | 0% | 14 |
5 | Computer Science, Artificial Intelligence | 177 | 10% | 0% | 14 |
6 | Logic | 53 | 1% | 0% | 2 |
7 | Telecommunications | 4 | 2% | 0% | 3 |
8 | Language & Linguistics | 2 | 1% | 0% | 1 |
9 | Linguistics | 1 | 1% | 0% | 1 |
10 | Horticulture | 1 | 1% | 0% | 1 |
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 | DIP TECNOL INFORMAZ | 313718 | 2% | 50% | 3 |
2 | CHRISTIAN DOPPLER CLIENT CENTR CLOUD COMP HAG | 209147 | 1% | 100% | 1 |
3 | DGA CELAR | 209147 | 1% | 100% | 1 |
4 | DIP ING INFORMAT METODI MATEMAT | 209147 | 1% | 100% | 1 |
5 | DIP ING INFORMAZ METODI MATEMAT | 209147 | 1% | 100% | 1 |
6 | DIP INGN INFORMAZ METODI MATEMAT | 209147 | 1% | 100% | 1 |
7 | PROGRAMMSTRUKTUREN DATENORGAN | 209147 | 1% | 100% | 1 |
8 | SCI KNOWLEDGE BASED SYST | 209147 | 1% | 100% | 1 |
9 | CHAIR REAL TIME SYST | 69714 | 1% | 33% | 1 |
10 | MATH COMPUTER SCI | 69714 | 1% | 33% | 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 | JOURNAL OF UNIVERSAL COMPUTER SCIENCE | 14717 | 8% | 1% | 11 |
2 | SCIENCE OF COMPUTER PROGRAMMING | 10498 | 6% | 1% | 9 |
3 | LECTURE NOTES IN COMPUTER SCIENCE | 9731 | 44% | 0% | 64 |
4 | FORMAL ASPECTS OF COMPUTING | 8684 | 3% | 1% | 4 |
5 | SOFTWARE-PRACTICE & EXPERIENCE | 3182 | 4% | 0% | 6 |
6 | IET SOFTWARE | 2635 | 1% | 1% | 2 |
7 | CROP RESEARCH | 2459 | 1% | 1% | 1 |
8 | AUTOMATED SOFTWARE ENGINEERING | 1347 | 1% | 1% | 1 |
9 | SUPERCOMPUTER | 1297 | 1% | 1% | 1 |
10 | COMPUTER SYSTEMS SCIENCE AND ENGINEERING | 1113 | 1% | 0% | 2 |
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 | ABSTRACT STATE MACHINES | 2667673 | 17% | 51% | 25 | Search ABSTRACT+STATE+MACHINES | Search ABSTRACT+STATE+MACHINES |
2 | COREASM | 627442 | 2% | 100% | 3 | Search COREASM | Search COREASM |
3 | PARTIAL UPDATES | 278862 | 1% | 67% | 2 | Search PARTIAL+UPDATES | Search PARTIAL+UPDATES |
4 | ASML | 235287 | 2% | 38% | 3 | Search ASML | Search ASML |
5 | ACCESS PREDICATE | 209147 | 1% | 100% | 1 | Search ACCESS+PREDICATE | Search ACCESS+PREDICATE |
6 | AMBIENT CONCEPT | 209147 | 1% | 100% | 1 | Search AMBIENT+CONCEPT | Search AMBIENT+CONCEPT |
7 | APPLICATIVE ALGEBRA | 209147 | 1% | 100% | 1 | Search APPLICATIVE+ALGEBRA | Search APPLICATIVE+ALGEBRA |
8 | ASM GROUND MODEL GOLDEN MODEL | 209147 | 1% | 100% | 1 | Search ASM+GROUND+MODEL+GOLDEN+MODEL | Search ASM+GROUND+MODEL+GOLDEN+MODEL |
9 | ASM LANGUAGE | 209147 | 1% | 100% | 1 | Search ASM+LANGUAGE | Search ASM+LANGUAGE |
10 | ASM REFINEMENT | 209147 | 1% | 100% | 1 | Search ASM+REFINEMENT | Search ASM+REFINEMENT |
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 | FARAHBOD, R , GERVASI, V , GLASSER, U , (2014) EXECUTABLE FORMAL SPECIFICATIONS OF COMPLEX DISTRIBUTED SYSTEMS WITH COREASM.SCIENCE OF COMPUTER PROGRAMMING. VOL. 79. ISSUE . P. 23-38 | 11 | 100% | 1 |
2 | BORGER, E , (2004) A PRACTICE-ORIENTED COURSE ON THE PRINCIPLES OF COMPUTATION, PROGRAMMING, AND SYSTEM DESIGN AND ANALYSIS.TEACHING FORMAL METHODS, PROCEEDINGS. VOL. 3294. ISSUE . P. 65 -84 | 15 | 88% | 0 |
3 | BORGER, E , (2002) THE ORIGINS AND THE DEVELOPMENT OF THE ASM METHOD FOR HIGH LEVEL SYSTEM DESIGN AND ANALYSIS.JOURNAL OF UNIVERSAL COMPUTER SCIENCE. VOL. 8. ISSUE 1. P. 2 -74 | 21 | 57% | 26 |
4 | FARAHBOD, R , GERVASI, V , GLASSER, U , (2007) COREASM: AN EXTENSIBLE ASM EXECUTION ENGINE.FUNDAMENTA INFORMATICAE. VOL. 77. ISSUE 1-2. P. 71 -103 | 10 | 100% | 20 |
5 | BORGER, E , (2005) THE ASM METHOD FOR SYSTEM DESIGN AND ANALYSIS. A TUTORIAL INTRODUCTION.FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS. VOL. 3717. ISSUE . P. 264 -283 | 10 | 83% | 6 |
6 | FARAHBOD, R , GLASSER, U , (2011) THE COREASM MODELING FRAMEWORK.SOFTWARE-PRACTICE & EXPERIENCE. VOL. 41. ISSUE 2. P. 167-178 | 8 | 89% | 1 |
7 | BORGER, E , (2007) CONSTRUCTION AND ANALYSIS OF GROUND MODELS AND THEIR REFINEMENTS AS A FOUNDATION FOR VALIDATING COMPUTER-BASED SYSTEMS.FORMAL ASPECTS OF COMPUTING. VOL. 19. ISSUE 2. P. 225 -241 | 10 | 56% | 17 |
8 | BORGER, E , (2005) ABSTRACT STATE MACHINES: A UNIFYING VIEW OF MODELS OF COMPUTATION AND OF SYSTEM DESIGN FRAMEWORKS.ANNALS OF PURE AND APPLIED LOGIC. VOL. 133. ISSUE 1-3. P. 149 -171 | 8 | 73% | 6 |
9 | ARCAINI, P , HOLOM, RM , RICCOBENE, E , (2016) ASM-BASED FORMAL DESIGN OF AN ADAPTIVITY COMPONENT FOR A CLOUD SYSTEM.FORMAL ASPECTS OF COMPUTING. VOL. 28. ISSUE 4. P. 567 -595 | 8 | 53% | 0 |
10 | BORGER, E , STARK, RF , (2003) EXPLOITING ABSTRACTION FOR SPECIFICATION REUSE. THE JAVA/C# CASE STUDY.FORMAL METHODS FOR COMPONENTS AND OBJECTS. VOL. 3188. ISSUE . P. 42-76 | 6 | 86% | 0 |
Classes with closest relation at Level 1 |