Class information for:
Level 1: ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
30227 141 30.0 19%


Bar chart of Publication_year

Last years might be incomplete

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 ABSTRACT STATE MACHINES Author keyword 8 32% 15% 21
2 COREASM Author keyword 3 100% 2% 3
3 DIP TECNOL INFORMAZ Address 1 33% 1% 2
4 APPLICATIVE ALGEBRA Author keyword 1 50% 1% 1
5 ASM THESIS Author keyword 1 50% 1% 1
6 PARTIAL UPDATES Author keyword 1 50% 1% 1
7 VALIDATION AND CERTIFICATION Author keyword 1 50% 1% 1
8 ASMETA Author keyword 0 33% 1% 1
9 EVOLVING ALGEBRAS Author keyword 0 33% 1% 1
10 INFORMATION PASSING 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 ABSTRACT STATE MACHINES 8 32% 15% 21 Search ABSTRACT+STATE+MACHINES Search ABSTRACT+STATE+MACHINES
2 COREASM 3 100% 2% 3 Search COREASM Search COREASM
3 APPLICATIVE ALGEBRA 1 50% 1% 1 Search APPLICATIVE+ALGEBRA Search APPLICATIVE+ALGEBRA
4 ASM THESIS 1 50% 1% 1 Search ASM+THESIS Search ASM+THESIS
5 PARTIAL UPDATES 1 50% 1% 1 Search PARTIAL+UPDATES Search PARTIAL+UPDATES
6 VALIDATION AND CERTIFICATION 1 50% 1% 1 Search VALIDATION+AND+CERTIFICATION Search VALIDATION+AND+CERTIFICATION
7 ASMETA 0 33% 1% 1 Search ASMETA Search ASMETA
8 EVOLVING ALGEBRAS 0 33% 1% 1 Search EVOLVING+ALGEBRAS Search EVOLVING+ALGEBRAS
9 INFORMATION PASSING 0 33% 1% 1 Search INFORMATION+PASSING Search INFORMATION+PASSING
10 NON FUNCTION 0 33% 1% 1 Search NON+FUNCTION Search NON+FUNCTION

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 C NUMBER 6 80% 3% 4
2 ABSTRACT STATE MACHINES 3 50% 4% 5
3 LEVEL SYSTEM DESIGN 2 50% 2% 3
4 ASM 1 33% 1% 2
5 SERVICE INTERACTION PATTERNS 0 25% 1% 1
6 LOGICAL OPERATIONAL SEMANTICS 0 20% 1% 1
7 SAFETY CRITICAL SYSTEMS 0 20% 1% 1
8 UNCAUGHT EXCEPTIONS 0 17% 1% 1
9 AUTOMATION SYSTEMS 0 14% 1% 1
10 FULL PROLOG 0 14% 1% 1

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
The origins and the development of the ASM method for high level system design and analysis 2002 22 33 42%

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 DIP TECNOL INFORMAZ 1 33% 1.4% 2
2 COMP ARCHITECTURE SOFTWARE TECHNOL 0 14% 0.7% 1
3 DIP ING INFORMAT METODI MATEMAT 0 100% 0.7% 1
4 DIP ING INFORMAZ METODI MATEMAT 0 100% 0.7% 1
5 EMBEDDED SYST AREA 0 100% 0.7% 1
6 PROGRAMMSTRUKTUREN DATENORGAN 0 100% 0.7% 1
7 SOFTWARE DEV GRP IT 0 100% 0.7% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000216131 FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY
2 0.0000176481 DEPENDABIL INTERDISCIPLINARY ABORAT//BEHAVIOR TREES//COMPUTER BASED SAFETY SYSTEMS
3 0.0000150099 BREMEN METROL AUTOMAT QUAL SCI BIMAQ//COMPILER COURSE//CONTINUOUS STATE SYSTEM
4 0.0000143595 MODULA 2//OSF MOTIF//VDM SL
5 0.0000133875 BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC
6 0.0000118014 GRAPH TRANSFORMATION//SOFTWARE AND SYSTEMS MODELING//GRAPH GRAMMARS
7 0.0000109079 INTELLIGENT CAD//SYSTEM LEVEL DESIGN LANGUAGE//UK SOFTWARE SYST ENGN GRP
8 0.0000102905 ABT PROGRAMMIERMETHOD//ACKERMANN FUNCTIONS//COMPUTATION ON ABSTRACT DATA TYPES
9 0.0000102469 ALGEBRAIC SPECIFICATION//REWRITING LOGIC//EQUIVALENT DEDUCTIVE SYSTEMS
10 0.0000101393 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING