Class information for: |
Basic class information |
ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
---|---|---|---|
14279 | 714 | 23.8 | 18% |
Classes in level above (level 2) |
ID, lev. above |
Publications | Label for level above |
---|---|---|
154 | 22100 | INFORMATION AND SOFTWARE TECHNOLOGY//IEEE SOFTWARE//JOURNAL OF SYSTEMS AND SOFTWARE |
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 | SOFTWARE ENGINEERING JOURNAL | Journal | 6 | 13% | 6% | 45 |
2 | ADA CODE | Author keyword | 1 | 100% | 0% | 2 |
3 | ANIMATION PROTOTYPING | Author keyword | 1 | 100% | 0% | 2 |
4 | DESIGN LEVEL DOCUMENTS | Author keyword | 1 | 100% | 0% | 2 |
5 | PROJECT SCENARIO | Author keyword | 1 | 100% | 0% | 2 |
6 | STRUCTURE CHARTS | Author keyword | 1 | 100% | 0% | 2 |
7 | SSADM | Author keyword | 1 | 33% | 0% | 3 |
8 | DATA FLOW DIAGRAMS | Author keyword | 1 | 18% | 1% | 6 |
9 | JACKSON SYSTEM DEVELOPMENT | Author keyword | 1 | 33% | 0% | 2 |
10 | 4 VARIABLE MODEL | Author keyword | 1 | 50% | 0% | 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 | ADA CODE | 1 | 100% | 0% | 2 | Search ADA+CODE | Search ADA+CODE |
2 | ANIMATION PROTOTYPING | 1 | 100% | 0% | 2 | Search ANIMATION+PROTOTYPING | Search ANIMATION+PROTOTYPING |
3 | DESIGN LEVEL DOCUMENTS | 1 | 100% | 0% | 2 | Search DESIGN+LEVEL+DOCUMENTS | Search DESIGN+LEVEL+DOCUMENTS |
4 | PROJECT SCENARIO | 1 | 100% | 0% | 2 | Search PROJECT+SCENARIO | Search PROJECT+SCENARIO |
5 | STRUCTURE CHARTS | 1 | 100% | 0% | 2 | Search STRUCTURE+CHARTS | Search STRUCTURE+CHARTS |
6 | SSADM | 1 | 33% | 0% | 3 | Search SSADM | Search SSADM |
7 | DATA FLOW DIAGRAMS | 1 | 18% | 1% | 6 | Search DATA+FLOW+DIAGRAMS | Search DATA+FLOW+DIAGRAMS |
8 | JACKSON SYSTEM DEVELOPMENT | 1 | 33% | 0% | 2 | Search JACKSON+SYSTEM+DEVELOPMENT | Search JACKSON+SYSTEM+DEVELOPMENT |
9 | 4 VARIABLE MODEL | 1 | 50% | 0% | 1 | Search 4+VARIABLE+MODEL | Search 4+VARIABLE+MODEL |
10 | ACTION BASED LOGICS | 1 | 50% | 0% | 1 | Search ACTION+BASED+LOGICS | Search ACTION+BASED+LOGICS |
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 FLOW DIAGRAMS | 2 | 40% | 1% | 4 |
2 | VDM | 1 | 38% | 0% | 3 |
3 | AXIOMATIC BASIS | 1 | 50% | 0% | 1 |
4 | EXECUTABLE SPECIFICATIONS | 1 | 50% | 0% | 1 |
5 | STRUCTURED ANALYSIS | 1 | 13% | 1% | 5 |
6 | IPTES | 0 | 33% | 0% | 1 |
7 | LARCH SHARED LANGUAGE | 0 | 33% | 0% | 1 |
8 | PROVING LIVENESS | 0 | 33% | 0% | 1 |
9 | RAPID APPLICATION DEVELOPMENT | 0 | 33% | 0% | 1 |
10 | SPECIFICATION PATTERNS | 0 | 33% | 0% | 1 |
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 | SOFTWARE ENGINEERING JOURNAL | 6 | 13% | 6% | 45 |
Reviews |
Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
---|---|---|---|---|
Towards quality requirements via animated formal specifications | 1997 | 6 | 15 | 73% |
TOOLS FOR SPECIFYING REAL-TIME SYSTEMS | 1995 | 14 | 52 | 23% |
Understanding and exploring formal specifications | 1998 | 0 | 8 | 63% |
Engineering formal requirements: An analysis and testing method for Z documents | 1997 | 0 | 11 | 64% |
PLEASE - EXECUTABLE SPECIFICATIONS FOR INCREMENTAL SOFTWARE-DEVELOPMENT | 1989 | 9 | 37 | 43% |
Tools for producing formal specifications: a view of current architectures and future directions | 1997 | 0 | 13 | 62% |
SOFTWARE ENGINEERING FOR PARALLEL SYSTEMS | 1994 | 2 | 21 | 48% |
KNOWLEDGE-BASED SOFTWARE TOOLS | 1987 | 1 | 10 | 90% |
Object-oriented software requirements definition and its automatic transformation | 1999 | 0 | 7 | 43% |
ENCOMPASS - AN ENVIRONMENT FOR THE INCREMENTAL DEVELOPMENT OF SOFTWARE | 1989 | 1 | 33 | 45% |
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 | VERITAS SOFTWARE | 1 | 50% | 0.1% | 1 |
2 | BUSINESS SYST ANAL | 0 | 33% | 0.1% | 1 |
3 | AREA ARQUITECTURA TECNOL COMP | 0 | 25% | 0.1% | 1 |
4 | FAK TEKNOL SAINS MAKLUMAT | 0 | 20% | 0.1% | 1 |
5 | HUMAN COMP INTER E DESIGN | 0 | 13% | 0.1% | 1 |
6 | SGS | 0 | 13% | 0.1% | 1 |
7 | KOMMUNIKAT SOFTWARETECH | 0 | 11% | 0.1% | 1 |
8 | MANAGEMENT INNOVAT TECHNOL | 0 | 11% | 0.1% | 1 |
9 | COMP INFORMAT DECIS SYST | 0 | 100% | 0.1% | 1 |
10 | EECS MC154 | 0 | 100% | 0.1% | 1 |
Related classes at same level (level 1) |
Rank | Relatedness score | Related classes |
---|---|---|
1 | 0.0000211492 | IVV IL//ROBUST DATA STRUCTURES//ADA LANGUAGE AND TOOLS |
2 | 0.0000171822 | SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL |
3 | 0.0000165544 | JOURNAL OF OBJECT-ORIENTED PROGRAMMING//OPTIMAL RECTANGLE//COMPUTER AIDED QUALITY ASSURANCE |
4 | 0.0000164292 | CASE IMPLEMENTATION//CASE ADOPTION//CASE TOOL EVALUATION |
5 | 0.0000162749 | CAPABILITIES BASED PLANNING//HOMELAND SECURITY PLANNING//SERV NODE ARCHITECTURE PERFORMANCE |
6 | 0.0000155463 | LANGUAGE BASED EDITORS//LITERATE PROGRAMMING//INTEGRATED PROGRAMMING ENVIRONMENT |
7 | 0.0000154017 | CONSTRUCTIVE ALGORITHMICS//SKELETAL PARALLEL PROGRAMMING//BIRD MEERTENS FORMALISM |
8 | 0.0000130654 | CROSS ASSEMBLER//INDUSTRIAL SAFETY MANAGEMENT//SOFTWARE TOOLS AND TECHNIQUES |
9 | 0.0000121301 | SOFTWARE INSPECTION//READING TECHNIQUE//PERSPECTIVE BASED READING |
10 | 0.0000119384 | ADDER CIRCUITS//CIRCUIT DESIGN FAULT TOLERANCE//UNDEFINEDNESS |