Class information for: |
Basic class information |
Class id | #P | Avg. number of references |
Database coverage of references |
---|---|---|---|
19506 | 502 | 23.7 | 18% |
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 | SEQUENCE BASED SPECIFICATION | authKW | 182479 | 1% | 100% | 3 |
2 | ANIMATION PROTOTYPING | authKW | 121653 | 0% | 100% | 2 |
3 | CANONICAL WORD | authKW | 121653 | 0% | 100% | 2 |
4 | DESIGN LOGIC | authKW | 121653 | 0% | 100% | 2 |
5 | INFORMAT TECHNOL TELEMAT | address | 121653 | 0% | 100% | 2 |
6 | IVV IL | address | 121653 | 0% | 100% | 2 |
7 | MODULE INTERFACE SPECIFICATIONS | authKW | 121653 | 0% | 100% | 2 |
8 | PREFIX REWRITING | authKW | 121653 | 0% | 100% | 2 |
9 | TRACE ASSERTION | authKW | 121653 | 0% | 100% | 2 |
10 | FORMAL METHODS | authKW | 113089 | 8% | 5% | 40 |
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, Software Engineering | 35055 | 61% | 0% | 305 |
2 | Computer Science, Theory & Methods | 11728 | 42% | 0% | 211 |
3 | Computer Science, Hardware & Architecture | 3650 | 15% | 0% | 77 |
4 | Computer Science, Information Systems | 1663 | 15% | 0% | 77 |
5 | Engineering, Electrical & Electronic | 331 | 17% | 0% | 86 |
6 | Computer Science, Artificial Intelligence | 184 | 6% | 0% | 28 |
7 | COMPUTER APPLICATIONS & CYBERNETICS | 89 | 0% | 0% | 2 |
8 | Dance | 75 | 0% | 0% | 1 |
9 | Computer Science, Interdisciplinary Applications | 21 | 2% | 0% | 12 |
10 | Computer Science, Cybernetics | 15 | 1% | 0% | 3 |
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 | INFORMAT TECHNOL TELEMAT | 121653 | 0% | 100% | 2 |
2 | IVV IL | 121653 | 0% | 100% | 2 |
3 | BD FTRD DTL | 60826 | 0% | 100% | 1 |
4 | CCTC DEP INFORMAT | 60826 | 0% | 100% | 1 |
5 | COLORADO NETWORKS | 60826 | 0% | 100% | 1 |
6 | COPPE COMP SCI | 60826 | 0% | 100% | 1 |
7 | DATA PROC ON BOARD SW | 60826 | 0% | 100% | 1 |
8 | DEIS CSITE CNR | 60826 | 0% | 100% | 1 |
9 | DPTO SIST INF COMP | 60826 | 0% | 100% | 1 |
10 | EMBEDDED SYST ENGN GRP ESE | 60826 | 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 | SOFTWARE ENGINEERING JOURNAL | 65708 | 4% | 6% | 19 |
2 | ANNALS OF SOFTWARE ENGINEERING | 30585 | 2% | 6% | 9 |
3 | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 29135 | 7% | 1% | 37 |
4 | IEEE SOFTWARE | 24497 | 5% | 2% | 26 |
5 | INFORMATION AND SOFTWARE TECHNOLOGY | 15474 | 5% | 1% | 25 |
6 | LECTURE NOTES IN COMPUTER SCIENCE | 11215 | 25% | 0% | 128 |
7 | SOFTWARE-PRACTICE & EXPERIENCE | 9279 | 4% | 1% | 19 |
8 | INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING | 8914 | 2% | 1% | 12 |
9 | JOURNAL OF SYSTEMS AND SOFTWARE | 8127 | 4% | 1% | 22 |
10 | FORMAL METHODS IN SYSTEM DESIGN | 7739 | 2% | 2% | 8 |
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 | SEQUENCE BASED SPECIFICATION | 182479 | 1% | 100% | 3 | Search SEQUENCE+BASED+SPECIFICATION | Search SEQUENCE+BASED+SPECIFICATION |
2 | ANIMATION PROTOTYPING | 121653 | 0% | 100% | 2 | Search ANIMATION+PROTOTYPING | Search ANIMATION+PROTOTYPING |
3 | CANONICAL WORD | 121653 | 0% | 100% | 2 | Search CANONICAL+WORD | Search CANONICAL+WORD |
4 | DESIGN LOGIC | 121653 | 0% | 100% | 2 | Search DESIGN+LOGIC | Search DESIGN+LOGIC |
5 | MODULE INTERFACE SPECIFICATIONS | 121653 | 0% | 100% | 2 | Search MODULE+INTERFACE+SPECIFICATIONS | Search MODULE+INTERFACE+SPECIFICATIONS |
6 | PREFIX REWRITING | 121653 | 0% | 100% | 2 | Search PREFIX+REWRITING | Search PREFIX+REWRITING |
7 | TRACE ASSERTION | 121653 | 0% | 100% | 2 | Search TRACE+ASSERTION | Search TRACE+ASSERTION |
8 | FORMAL METHODS | 113089 | 8% | 5% | 40 | Search FORMAL+METHODS | Search FORMAL+METHODS |
9 | FORMAL SPECIFICATION | 97760 | 5% | 7% | 23 | Search FORMAL+SPECIFICATION | Search FORMAL+SPECIFICATION |
10 | VDM | 91231 | 1% | 25% | 6 | Search VDM | Search VDM |
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 | ESCHBACH, R , LIN, L , POORE, JH , (2013) APPLYING STRING-REWRITING TO SEQUENCE-BASED SPECIFICATION.FORMAL METHODS IN SYSTEM DESIGN. VOL. 43. ISSUE 3. P. 414-449 | 10 | 91% | 0 |
2 | OZCAN, MB , (1998) USE OF EXECUTABLE FORMAL SPECIFICATIONS IN USER VALIDATION.SOFTWARE-PRACTICE & EXPERIENCE. VOL. 28. ISSUE 13. P. 1359 -1385 | 12 | 92% | 2 |
3 | STIDOLPH, DC , WHITEHEAD, J , (2003) MANAGERIAL ISSUES FOR THE CONSIDERATION AND USE OF FORMAL METHODS.FME 2003: FORMAL METHODS, PROCEEDINGS. VOL. 2805. ISSUE . P. 170 -186 | 12 | 75% | 7 |
4 | ALMENDROS-JIMENEZ, JM , GONZALEZ-JIMENEZ, L , (2002) BASES FOR THE DEVELOPMENT OF LAST: A FORMAL METHOD FOR BUSINESS SOFTWARE REQUIREMENTS SPECIFICATION.INFORMATION AND SOFTWARE TECHNOLOGY. VOL. 44. ISSUE 2. P. 65 -75 | 12 | 67% | 0 |
5 | CHIANG, CC , (2004) AUTOMATED RAPID PROTOTYPING OF TUG SPECIFICATIONS USING PROLOG.INFORMATION AND SOFTWARE TECHNOLOGY. VOL. 46. ISSUE 13. P. 857 -873 | 12 | 57% | 1 |
6 | BRZOZOWSKI, J , JURGENSEN, H , (2007) REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II: SPECIFICATION OF SOFTWARE MODULES.INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. VOL. 18. ISSUE 5. P. 1065 -1087 | 7 | 88% | 5 |
7 | CHECHIK, M , WONG, A , (2002) FORMAL MODELING IN A COMMERCIAL SETTING: A CASE STUDY.JOURNAL OF SYSTEMS AND SOFTWARE. VOL. 60. ISSUE 1. P. 59 -82 | 10 | 67% | 1 |
8 | SCHEURER, T , (2000) FORMAL METHODS: THE PROBLEM IS EDUCATION.COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS. VOL. 1943. ISSUE . P. 198-210 | 7 | 100% | 0 |
9 | STAVRIDOU, V , (1994) FORMAL METHODS AND VLSI ENGINEERING PRACTICE.COMPUTER JOURNAL. VOL. 37. ISSUE 2. P. 96 -113 | 15 | 58% | 0 |
10 | SIDDIQI, JI , MORREY, IC , ROAST, CR , OZCAN, MB , (1997) TOWARDS QUALITY REQUIREMENTS VIA ANIMATED FORMAL SPECIFICATIONS.ANNALS OF SOFTWARE ENGINEERING. VOL. 3. ISSUE . P. 131 -155 | 11 | 69% | 6 |
Classes with closest relation at Level 1 |