Class information for: |
Basic class information |
| ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
|---|---|---|---|
| 10815 | 965 | 24.1 | 24% |
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 | SYNCHRONOUS LANGUAGES | Author keyword | 19 | 43% | 3% | 33 |
| 2 | STATECHARTS | Author keyword | 12 | 25% | 4% | 42 |
| 3 | ESTEREL | Author keyword | 12 | 46% | 2% | 19 |
| 4 | SYNCHRONOUS PROGRAMMING | Author keyword | 7 | 41% | 1% | 14 |
| 5 | REACTIVE SYSTEMS | Author keyword | 6 | 16% | 4% | 37 |
| 6 | MODECHART | Author keyword | 6 | 80% | 0% | 4 |
| 7 | SYSTEMJ | Author keyword | 5 | 60% | 1% | 6 |
| 8 | SYNCHRONOUS LANGUAGE | Author keyword | 4 | 47% | 1% | 7 |
| 9 | REACTIVE ANIMATION | Author keyword | 4 | 75% | 0% | 3 |
| 10 | SYNCHRONOUS PARADIGM | Author keyword | 4 | 75% | 0% | 3 |
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 | SYNCHRONOUS LANGUAGES | 19 | 43% | 3% | 33 | Search SYNCHRONOUS+LANGUAGES | Search SYNCHRONOUS+LANGUAGES |
| 2 | STATECHARTS | 12 | 25% | 4% | 42 | Search STATECHARTS | Search STATECHARTS |
| 3 | ESTEREL | 12 | 46% | 2% | 19 | Search ESTEREL | Search ESTEREL |
| 4 | SYNCHRONOUS PROGRAMMING | 7 | 41% | 1% | 14 | Search SYNCHRONOUS+PROGRAMMING | Search SYNCHRONOUS+PROGRAMMING |
| 5 | REACTIVE SYSTEMS | 6 | 16% | 4% | 37 | Search REACTIVE+SYSTEMS | Search REACTIVE+SYSTEMS |
| 6 | MODECHART | 6 | 80% | 0% | 4 | Search MODECHART | Search MODECHART |
| 7 | SYSTEMJ | 5 | 60% | 1% | 6 | Search SYSTEMJ | Search SYSTEMJ |
| 8 | SYNCHRONOUS LANGUAGE | 4 | 47% | 1% | 7 | Search SYNCHRONOUS+LANGUAGE | Search SYNCHRONOUS+LANGUAGE |
| 9 | REACTIVE ANIMATION | 4 | 75% | 0% | 3 | Search REACTIVE+ANIMATION | Search REACTIVE+ANIMATION |
| 10 | SYNCHRONOUS PARADIGM | 4 | 75% | 0% | 3 | Search SYNCHRONOUS+PARADIGM | Search SYNCHRONOUS+PARADIGM |
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 | ESTEREL | 25 | 66% | 2% | 23 |
| 2 | STATECHARTS | 13 | 26% | 4% | 43 |
| 3 | SYNCHRONOUS LANGUAGES | 9 | 67% | 1% | 8 |
| 4 | BOUNDED CONCURRENCY | 6 | 80% | 0% | 4 |
| 5 | PROGRAMMING LANGUAGE | 6 | 17% | 3% | 33 |
| 6 | SIGNAL LANGUAGE | 4 | 75% | 0% | 3 |
| 7 | REACTIVE ANIMATION | 3 | 57% | 0% | 4 |
| 8 | PROCESS CONTROL SYSTEMS | 2 | 33% | 1% | 5 |
| 9 | DATA FLOW DIAGRAM | 1 | 100% | 0% | 2 |
| 10 | REQUIREMENTS SPECIFICATIONS | 1 | 24% | 1% | 5 |
Journals |
Reviews |
| Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
|---|---|---|---|---|
| The Past, Present and Future of Cyber-Physical Systems: A Focus on Models | 2015 | 3 | 10 | 30% |
| Explaining a complex living system: dynamics, multi-scaling and emergence | 2007 | 30 | 8 | 63% |
| Modelling, abstraction, and computation in systems biology: A view from computer science | 2013 | 3 | 22 | 23% |
| Biology as Reactivity | 2011 | 7 | 35 | 20% |
| The use of mathematics in software quality assurance | 2012 | 1 | 11 | 55% |
| Modeling immune behavior for experimentalists | 2007 | 8 | 8 | 50% |
| A comparative study of two formal semantics of the SIGNAL language | 2013 | 0 | 15 | 80% |
| TAP-D: A model for developing specialization tracks in a graduate software engineering curriculum | 1998 | 1 | 1 | 100% |
| In-silico models of stem cell and developmental systems | 2014 | 1 | 59 | 8% |
| Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design | 2014 | 0 | 9 | 56% |
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 | KOMMUNIKAT SOFTWARETECH | 2 | 44% | 0.4% | 4 |
| 2 | BIP PROJECT | 2 | 67% | 0.2% | 2 |
| 3 | REAL TIME EMBEDDED SYST GRP | 2 | 67% | 0.2% | 2 |
| 4 | UNITE RECH RENNES BRETAGNE ATLANTIQUE | 2 | 67% | 0.2% | 2 |
| 5 | MAN MACHINE INTER E SYST TEAM | 2 | 50% | 0.3% | 3 |
| 6 | VERTEILTE SYST | 2 | 40% | 0.4% | 4 |
| 7 | VERIMAG | 1 | 15% | 0.9% | 9 |
| 8 | ETSI IND TELECOM | 1 | 50% | 0.2% | 2 |
| 9 | EVA JABLONKAS TEAM | 1 | 100% | 0.2% | 2 |
| 10 | NASA ACIT | 1 | 100% | 0.2% | 2 |
Related classes at same level (level 1) |
| Rank | Relatedness score | Related classes |
|---|---|---|
| 1 | 0.0000192380 | STREAMIT//SYNCHRONOUS DATAFLOW//DESIGN AUTOMATION FOR EMBEDDED SYSTEMS |
| 2 | 0.0000175661 | MESSAGE SEQUENCE CHARTS//LIVE SEQUENCE CHARTS//TESTING AND TEST CONTROL NOTATION VERSION 3 TTCN 3 |
| 3 | 0.0000171822 | SOFTWARE ENGINEERING JOURNAL//ADA CODE//ANIMATION PROTOTYPING |
| 4 | 0.0000149967 | TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS |
| 5 | 0.0000143496 | DEPENDABIL INTERDISCIPLINARY ABORAT//BEHAVIOR TREES//COMPUTER BASED SAFETY SYSTEMS |
| 6 | 0.0000126044 | IVV IL//ROBUST DATA STRUCTURES//ADA LANGUAGE AND TOOLS |
| 7 | 0.0000124016 | FUNCTIONAL REACTIVE PROGRAMMING//LANGUAGE EMBEDDINGS//DACTL |
| 8 | 0.0000120249 | TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING |
| 9 | 0.0000112709 | FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY |
| 10 | 0.0000108291 | HARDWARE SOFTWARE PARTITIONING//HARDWARE SOFTWARE COSYNTHESIS//PROCESSOR SYNTHESIS |