Class information for:
Level 1: SEQUENCE BASED SPECIFICATION//ANIMATION PROTOTYPING//CANONICAL WORD

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
19506 502 23.7 18%


Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
1506 2             SIGPLAN NOTICES//COMPUTER SCIENCE, SOFTWARE ENGINEERING//SOFTWARE-PRACTICE & EXPERIENCE 7536
19506 1                   SEQUENCE BASED SPECIFICATION//ANIMATION PROTOTYPING//CANONICAL WORD 502

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


Rank Class id link
1 7299 FORMAL ASPECTS OF COMPUTING//KLEENE ALGEBRA//EVENT B
2 10916 SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL
3 34164 ACOUST MATH SOFTWARE ENGN//AUDITORY AIDS//COLOR IMAGE VISUALIZATION
4 24246 CFPRF//CFRF//RECURSIVE FUNCTIONS OF CONTEXT FREE LANGUAGES
5 10757 ALGEBRAIC SPECIFICATION//CAFEOBJ//BISS
6 28122 OBERON//MODULA 2//STRUCTURED PROGRAMMING
7 34117 CHINESE HEALTHCARE ORGANISATION//CHINESE HEALTHCARE SYSTEMS//COMP SOFTWARE ENG
8 17926 JOURNAL OF OBJECT-ORIENTED PROGRAMMING//PAN STAGE MODELS//SPECIFICATION AND DESIGN METHODS
9 27153 SOFTWARE DESIGN SKILLS//ACCUMULATIVE RECURSION//ACTIVATION RECORDS
10 26372 PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING

Go to start page