Class information for: |
Basic class information |
| ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
|---|---|---|---|
| 9421 | 1088 | 26.3 | 22% |
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 | FORMAL ASPECTS OF COMPUTING | Journal | 20 | 23% | 7% | 77 |
| 2 | REFINEMENT CALCULUS | Author keyword | 16 | 53% | 2% | 21 |
| 3 | VERIFIED SOFTWARE REPOSITORY | Author keyword | 12 | 86% | 1% | 6 |
| 4 | DATA REFINEMENT | Author keyword | 11 | 50% | 1% | 16 |
| 5 | Z | Author keyword | 7 | 16% | 4% | 39 |
| 6 | PREDICATE TRANSFORMERS | Author keyword | 6 | 50% | 1% | 8 |
| 7 | ACTION SYSTEMS | Author keyword | 5 | 39% | 1% | 11 |
| 8 | B METHOD | Author keyword | 5 | 24% | 2% | 18 |
| 9 | FORMAL PROGRAM DEVELOPMENT | Author keyword | 5 | 63% | 0% | 5 |
| 10 | MONDEX | Author keyword | 5 | 50% | 1% | 7 |
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 | REFINEMENT CALCULUS | 16 | 53% | 2% | 21 | Search REFINEMENT+CALCULUS | Search REFINEMENT+CALCULUS |
| 2 | VERIFIED SOFTWARE REPOSITORY | 12 | 86% | 1% | 6 | Search VERIFIED+SOFTWARE+REPOSITORY | Search VERIFIED+SOFTWARE+REPOSITORY |
| 3 | DATA REFINEMENT | 11 | 50% | 1% | 16 | Search DATA+REFINEMENT | Search DATA+REFINEMENT |
| 4 | Z | 7 | 16% | 4% | 39 | Search Z | Search Z |
| 5 | PREDICATE TRANSFORMERS | 6 | 50% | 1% | 8 | Search PREDICATE+TRANSFORMERS | Search PREDICATE+TRANSFORMERS |
| 6 | ACTION SYSTEMS | 5 | 39% | 1% | 11 | Search ACTION+SYSTEMS | Search ACTION+SYSTEMS |
| 7 | B METHOD | 5 | 24% | 2% | 18 | Search B+METHOD | Search B+METHOD |
| 8 | FORMAL PROGRAM DEVELOPMENT | 5 | 63% | 0% | 5 | Search FORMAL+PROGRAM+DEVELOPMENT | Search FORMAL+PROGRAM+DEVELOPMENT |
| 9 | MONDEX | 5 | 50% | 1% | 7 | Search MONDEX | Search MONDEX |
| 10 | OBJECT Z | 5 | 25% | 2% | 17 | Search OBJECT+Z | Search OBJECT+Z |
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 | DATA REFINEMENT | 13 | 62% | 1% | 13 |
| 2 | OBJECT Z | 6 | 45% | 1% | 10 |
| 3 | HOARE LOGIC | 6 | 34% | 1% | 14 |
| 4 | VERIFIED SOFTWARE | 5 | 60% | 1% | 6 |
| 5 | OBJECT ORIENTED PROGRAMS | 5 | 29% | 1% | 15 |
| 6 | CIRCUS | 5 | 41% | 1% | 9 |
| 7 | IMPERATIVE MODULES | 4 | 75% | 0% | 3 |
| 8 | MONDEX ELECTRONIC PURSE | 4 | 75% | 0% | 3 |
| 9 | MUTABLE STATE | 4 | 75% | 0% | 3 |
| 10 | REFINEMENT CALCULUS | 4 | 75% | 0% | 3 |
Journals |
| 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 | FORMAL ASPECTS OF COMPUTING | 20 | 23% | 7% | 77 |
Reviews |
| Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
|---|---|---|---|---|
| Formal Methods: Practice and Experience | 2009 | 53 | 44 | 50% |
| Engineering and theoretical underpinnings of retrenchment | 2007 | 18 | 32 | 47% |
| The first decade of an undergraduate degree programme in software engineering | 1998 | 5 | 1 | 100% |
| A formal object approach to the design of ZML | 2002 | 9 | 6 | 50% |
| Developing and maintaining an object-oriented distributed multimedia information system | 2001 | 0 | 2 | 100% |
| A survey of structured and object-oriented software specification methods and techniques | 1998 | 60 | 22 | 14% |
| Using formal methods for teaching software engineering: a tool-based approach | 1998 | 0 | 16 | 38% |
| The early search for tractable ways of reasoning about programs | 2003 | 12 | 18 | 11% |
| ATOM: An object-based formal method for real-time systems | 1999 | 0 | 11 | 27% |
| Engineering Simulations for Cancer Systems Biology | 2012 | 1 | 50 | 2% |
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 | SOFTWARE VERIFICAT | 5 | 32% | 1.1% | 12 |
| 2 | FRE CNRS 2661 | 4 | 75% | 0.3% | 3 |
| 3 | SYST ASSURANCE GRP | 4 | 75% | 0.3% | 3 |
| 4 | DEPENDABLE SOFTWARE GRP | 3 | 100% | 0.3% | 3 |
| 5 | IUT FONTAINEBLEAU | 3 | 50% | 0.4% | 4 |
| 6 | LOGICIELS SYST EAUX | 3 | 50% | 0.4% | 4 |
| 7 | NIJMEGEN INFORMAT COMP SCI | 2 | 67% | 0.2% | 2 |
| 8 | INFORMAT TECHNOL TELEMAT | 1 | 100% | 0.2% | 2 |
| 9 | MAX ROWE EDUC | 1 | 100% | 0.2% | 2 |
| 10 | INT SOFTWARE TECHNOL | 1 | 18% | 0.6% | 7 |
Related classes at same level (level 1) |
| Rank | Relatedness score | Related classes |
|---|---|---|
| 1 | 0.0000240888 | IVV IL//ROBUST DATA STRUCTURES//ADA LANGUAGE AND TOOLS |
| 2 | 0.0000219875 | TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING |
| 3 | 0.0000216131 | ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ |
| 4 | 0.0000203055 | BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC |
| 5 | 0.0000200059 | KLEENE ALGEBRA//RELATION ALGEBRA//JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING |
| 6 | 0.0000134099 | ADDER CIRCUITS//CIRCUIT DESIGN FAULT TOLERANCE//UNDEFINEDNESS |
| 7 | 0.0000117962 | ABT PROGRAMMIERMETHOD//ACKERMANN FUNCTIONS//COMPUTATION ON ABSTRACT DATA TYPES |
| 8 | 0.0000113700 | MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2 |
| 9 | 0.0000112709 | SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL |
| 10 | 0.0000096967 | SOFTWARE ENGINEERING JOURNAL//ADA CODE//ANIMATION PROTOTYPING |