Class information for:
Level 1: MODULA 2//OSF MOTIF//VDM SL

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
32030 114 17.9 18%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
1968 5139 ACM SIGPLAN NOTICES//REGISTER ALLOCATION//GARBAGE COLLECTION

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 MODULA 2 Author keyword 3 33% 6% 7
2 OSF MOTIF Author keyword 1 38% 3% 3
3 VDM SL Author keyword 1 38% 3% 3
4 MINIST COMMERCE IND ENERGY Address 1 50% 1% 1
5 FORMAL SPECIFICATION LANGUAGES Author keyword 1 22% 2% 2
6 ELECTRONIC INTERLOCKING Author keyword 0 33% 1% 1
7 PROOFS OF CORRECTNESS Author keyword 0 33% 1% 1
8 SCHEMATIC CAPTURE Author keyword 0 33% 1% 1
9 SOFTWARE LIFE CYCLE PROCESSES Author keyword 0 33% 1% 1
10 STUDENT SKILLS Author keyword 0 33% 1% 1

Web of Science journal categories

Author Key Words


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		 LCSH search Wikipedia search
1 MODULA 2 3 33% 6% 7 Search MODULA+2 Search MODULA+2
2 OSF MOTIF 1 38% 3% 3 Search OSF+MOTIF Search OSF+MOTIF
3 VDM SL 1 38% 3% 3 Search VDM+SL Search VDM+SL
4 FORMAL SPECIFICATION LANGUAGES 1 22% 2% 2 Search FORMAL+SPECIFICATION+LANGUAGES Search FORMAL+SPECIFICATION+LANGUAGES
5 ELECTRONIC INTERLOCKING 0 33% 1% 1 Search ELECTRONIC+INTERLOCKING Search ELECTRONIC+INTERLOCKING
6 PROOFS OF CORRECTNESS 0 33% 1% 1 Search PROOFS+OF+CORRECTNESS Search PROOFS+OF+CORRECTNESS
7 SCHEMATIC CAPTURE 0 33% 1% 1 Search SCHEMATIC+CAPTURE Search SCHEMATIC+CAPTURE
8 SOFTWARE LIFE CYCLE PROCESSES 0 33% 1% 1 Search SOFTWARE+LIFE+CYCLE+PROCESSES Search SOFTWARE+LIFE+CYCLE+PROCESSES
9 STUDENT SKILLS 0 33% 1% 1 Search STUDENT+SKILLS Search STUDENT+SKILLS
10 WRITE THROUGH 0 33% 1% 1 Search WRITE+THROUGH Search WRITE+THROUGH

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 ISO IEC 10514 1 6 100% 4% 4
2 GENERIC TYPES 2 67% 2% 2
3 PROBLEM SPECIFICATION STAGE 1 100% 2% 2
4 MODULA 2 0 20% 1% 1
5 FORTRAN 90 0 11% 1% 1
6 LANGUAGE STANDARDS SCENE 0 100% 1% 1

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Abstract data types in the construction of knowledge-based quantum chemistry software 1997 1 1 100%

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 MINIST COMMERCE IND ENERGY 1 50% 0.9% 1
2 UCD PSYCHOL 0 25% 0.9% 1
3 CICS ESA FUNCT VERIFICAT 0 100% 0.9% 1
4 ESA DATA COMMUN DEV 0 100% 0.9% 1
5 UCD LANGUAGES LITERATU 0 100% 0.9% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000149197 MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2
2 0.0000143595 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ
3 0.0000142632 CODE COMPRESSION//OBERON//CODE COMPACTION
4 0.0000126135 IVV IL//ROBUST DATA STRUCTURES//ADA LANGUAGE AND TOOLS
5 0.0000116793 SOFTWARE DESIGN SKILLS//ACTIVATION RECORDS//BOKU
6 0.0000112461 CAPABILITIES BASED PLANNING//HOMELAND SECURITY PLANNING//SERV NODE ARCHITECTURE PERFORMANCE
7 0.0000111217 FLOATING POINT SUMMATION//NUMERICAL VERIFICATION//ERROR FREE TRANSFORMATION
8 0.0000091071 CROSS ASSEMBLER//INDUSTRIAL SAFETY MANAGEMENT//SOFTWARE TOOLS AND TECHNIQUES
9 0.0000091070 SOFTWARE ENGINEERING JOURNAL//ADA CODE//ANIMATION PROTOTYPING
10 0.0000090680 DEPENDABIL INTERDISCIPLINARY ABORAT//BEHAVIOR TREES//COMPUTER BASED SAFETY SYSTEMS