Class information for:
Level 1: SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
10916 1024 23.1 23%


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
237 2             COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING 20142
10916 1                   SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL 1024

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 SYNCHRONOUS LANGUAGES authKW 906860 4% 72% 42
2 STATECHARTS authKW 475389 4% 35% 45
3 ESTEREL authKW 358798 2% 63% 19
4 SYNCHRONOUS PROGRAMMING authKW 331879 2% 70% 16
5 REACTIVE SYSTEMS authKW 326716 4% 27% 40
6 SYSTEMJ authKW 208727 1% 100% 7
7 MODECHART authKW 95416 0% 80% 4
8 EXECUTABLE SPECIFICATIONS authKW 93168 1% 31% 10
9 SYNCHRONOUS PARADIGM authKW 89454 0% 100% 3
10 TIMED STATECHARTS authKW 89454 0% 100% 3

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 44332 48% 0% 491
2 Computer Science, Theory & Methods 23877 42% 0% 430
3 Computer Science, Hardware & Architecture 7930 16% 0% 162
4 Computer Science, Information Systems 1926 12% 0% 120
5 Engineering, Electrical & Electronic 849 19% 0% 193
6 Automation & Control Systems 387 4% 0% 45
7 Computer Science, Artificial Intelligence 374 6% 0% 57
8 Computer Science, Interdisciplinary Applications 233 5% 0% 48
9 Logic 184 1% 0% 10
10 COMPUTER APPLICATIONS & CYBERNETICS 175 0% 0% 4

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 NASA ACIT 59636 0% 100% 2
2 KOMMUNIKAT SOFTWARETECH 53006 0% 44% 4
3 VERTEILTE SYST 47704 0% 40% 4
4 BIP PROJECT 39756 0% 67% 2
5 FORMAL DESIGN VERIFICAT SOFTWARE 39756 0% 67% 2
6 INFORMAT PRAKT MATH 2 39756 0% 67% 2
7 REAL TIME EMBEDDED SYST GRP 39756 0% 67% 2
8 UNITE RECH RENNES BRETAGNE ATLANTIQUE 39756 0% 67% 2
9 MAN MACHINE INTER E SYST TEAM 38334 0% 43% 3
10 VERIMAG 36579 1% 14% 9

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 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 32689 5% 2% 56
2 REAL-TIME SYSTEMS 27436 2% 4% 23
3 LECTURE NOTES IN COMPUTER SCIENCE 23934 26% 0% 267
4 MICROPROCESSING AND MICROPROGRAMMING 23903 3% 3% 30
5 FORMAL METHODS IN SYSTEM DESIGN 13336 1% 3% 15
6 SCIENCE OF COMPUTER PROGRAMMING 12461 3% 2% 26
7 IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY 8851 2% 2% 17
8 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 7758 2% 2% 16
9 SOFTWARE ENGINEERING JOURNAL 7214 1% 3% 9
10 ACM SIGPLAN NOTICES 6266 3% 1% 32

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 SYNCHRONOUS LANGUAGES 906860 4% 72% 42 Search SYNCHRONOUS+LANGUAGES Search SYNCHRONOUS+LANGUAGES
2 STATECHARTS 475389 4% 35% 45 Search STATECHARTS Search STATECHARTS
3 ESTEREL 358798 2% 63% 19 Search ESTEREL Search ESTEREL
4 SYNCHRONOUS PROGRAMMING 331879 2% 70% 16 Search SYNCHRONOUS+PROGRAMMING Search SYNCHRONOUS+PROGRAMMING
5 REACTIVE SYSTEMS 326716 4% 27% 40 Search REACTIVE+SYSTEMS Search REACTIVE+SYSTEMS
6 SYSTEMJ 208727 1% 100% 7 Search SYSTEMJ Search SYSTEMJ
7 MODECHART 95416 0% 80% 4 Search MODECHART Search MODECHART
8 EXECUTABLE SPECIFICATIONS 93168 1% 31% 10 Search EXECUTABLE+SPECIFICATIONS Search EXECUTABLE+SPECIFICATIONS
9 SYNCHRONOUS PARADIGM 89454 0% 100% 3 Search SYNCHRONOUS+PARADIGM Search SYNCHRONOUS+PARADIGM
10 TIMED STATECHARTS 89454 0% 100% 3 Search TIMED+STATECHARTS Search TIMED+STATECHARTS

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 BENVENISTE, A , CASPI, P , EDWARDS, SA , HALBWACHS, N , LE GUERNIC, P , DE SIMONE, R , (2003) THE SYNCHRONOUS LANGUAGES 12 YEARS LATER.PROCEEDINGS OF THE IEEE. VOL. 91. ISSUE 1. P. 64 -83 21 88% 245
2 HU, K , ZHANG, T , YANG, ZB , TSAI, WT , (2015) SIMULATION OF REAL-TIME SYSTEMS WITH CLOCK CALCULUS.SIMULATION MODELLING PRACTICE AND THEORY. VOL. 51. ISSUE . P. 69 -86 15 94% 0
3 AGUADO, J , MENDLER, M , VON HANXLEDEN, R , FUHRMANN, I , (2015) DENOTATIONAL FIXED-POINT SEMANTICS FOR CONSTRUCTIVE SCHEDULING OF SYNCHRONOUS CONCURRENCY.ACTA INFORMATICA. VOL. 52. ISSUE 4-5. P. 393 -442 19 58% 0
4 TALPIN, JP , BRANDT, J , GEMUNDE, M , SCHNEIDER, K , SHUKLA, S , (2014) CONSTRUCTIVE POLYCHRONOUS SYSTEMS.SCIENCE OF COMPUTER PROGRAMMING. VOL. 96. ISSUE . P. 377 -394 11 100% 1
5 YANG, ZB , BODEVEIX, JP , FILALI, M , (2013) A COMPARATIVE STUDY OF TWO FORMAL SEMANTICS OF THE SIGNAL LANGUAGE.FRONTIERS OF COMPUTER SCIENCE. VOL. 7. ISSUE 5. P. 673-693 12 80% 0
6 HEITMEYER, C , ARCHER, M , BHARADWAJ, R , JEFFORDS, R , (2005) TOOLS FOR CONSTRUCTING REQUIREMENTS SPECIFICATIONS: THE SCR TOOLSET AT THE AGE OF TEN.COMPUTER SYSTEMS SCIENCE AND ENGINEERING. VOL. 20. ISSUE 1. P. 19 -35 14 78% 29
7 ESHUIS, R , (2009) RECONCILING STATECHART SEMANTICS.SCIENCE OF COMPUTER PROGRAMMING. VOL. 74. ISSUE 3. P. 65 -99 13 76% 11
8 HU, K , ZHANG, T , YANG, ZB , (2013) MULTI-THREADED CODE GENERATION FROM SIGNAL PROGRAM TO OPENMP.FRONTIERS OF COMPUTER SCIENCE. VOL. 7. ISSUE 5. P. 617-626 10 91% 1
9 NEBUT, M , (2004) SPECIFICATION AND ANALYSIS OF SYNCHRONOUS REACTIONS.FORMAL ASPECTS OF COMPUTING. VOL. 16. ISSUE 3. P. 263-291 12 80% 5
10 CRANE, ML , DINGEL, J , (2007) UML VS. CLASSICAL VS. RHAPSODY STATECHARTS: NOT ALL MODELS ARE CREATED EQUAL.SOFTWARE AND SYSTEMS MODELING. VOL. 6. ISSUE 4. P. 415 -435 10 83% 19

Classes with closest relation at Level 1


Rank Class id link
1 19506 SEQUENCE BASED SPECIFICATION//ANIMATION PROTOTYPING//CANONICAL WORD
2 8670 TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING
3 12738 SYNCHRONOUS DATAFLOW//DESIGN SPACE EXPLORATION//DATAFLOW GRAPHS
4 24246 CFPRF//CFRF//RECURSIVE FUNCTIONS OF CONTEXT FREE LANGUAGES
5 13930 ASSUME GUARANTEE REASONING//TEMPORAL LOGIC OF ACTIONS//COMPOSITIONAL REASONING
6 21132 HARDWARE SOFTWARE PARTITIONING//HARDWARE SOFTWARE COSYNTHESIS//HARDWARE SOFTWARE CODESIGN
7 17926 JOURNAL OF OBJECT-ORIENTED PROGRAMMING//PAN STAGE MODELS//SPECIFICATION AND DESIGN METHODS
8 20810 ADA CODE//DESIGN LEVEL DOCUMENTS//NOTAT ENGN
9 34708 MANEUVERING AFFORDANCE//RANDOMNESS BASED APPROACH//SATELLITE ROADWAY VEHICLE NETWORK
10 15505 MESSAGE SEQUENCE CHARTS//LIVE SEQUENCE CHARTS//MAZURKIEWICZ TRACES

Go to start page