ISSN: 1433-2779

Journal Home

Journal Guideline

International Journal on Software Tools for Technology Transfer Q2 Unclaimed

Springer Verlag Germany

Unfortunately this journal has not been claimed yet. For this reason, some information may be unavailable.

International Journal on Software Tools for Technology Transfer is a journal indexed in SJR in Software and Information Systems with an H index of 59. It has a price of 2190 €. It has an SJR impact factor of 0,524 and it has a best quartile of Q2. It is published in English. It has an SJR impact factor of 0,524.

Type: Journal

Type of Copyright:

Languages: English

Open Access Policy: Open Choice

Type of publications:

Publication frecuency: -

Categories: Information Systems (Q2) Software (Q3)

Price

2190 €

Inmediate OA

NPD

Embargoed OA

0 €

Non OA

Metrics

International Journal on Software Tools for Technology Transfer

0,524

SJR Impact factor

59

H Index

48

Total Docs (Last Year)

152

Total Docs (3 years)

2136

Total Refs

282

Total Cites (3 years)

143

Citable Docs (3 years)

1.73

Cites/Doc (2 years)

44.5

Ref/Doc

Comments

No comments ... Be the first to comment!

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID *

* The email or ORCID field is only to validate the authenticity of the comment, the identity will not be public. .

Other journals with similar parameters

Cognitive Systems Research Q2
IEEE Software Q2
ACM Transactions on Programming Languages and Systems Q2
Peer-to-Peer Networking and Applications Q2
Computer Communication Review Q2

Compare this journals

Aims and Scope

Best articles by citations

Component-based system design: analytic real-time interfaces for state-based component implementations

Rule-based verification of Web sites

VSE: formal methods meet industrial needs

Modelling work distribution mechanisms using Colored Petri Nets

Schedulability of Herschel revisited using statistical model checking

Aspect-oriented Component Composition in PacoSuite Through Invasive Composition Adapters

Distributed functional and load tests for Web services

Statistical model checking for biological applications

Statistical model checking for unbounded until formulas

Introduction

A systematic incrementalization technique and its application to hardware design

Formal specification and state space analysis of an operational planning process

SHOW MORE ARTICLES

Integration of informal and formal development of object-oriented safety-critical software

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System

The industrialization of formal methods

Rigorous development process of a safety-critical system: from ASM models to Java code

CCDL: the composable components description language

Introductory paper

The PROSPER toolkit

Formal verification of conflict detection algorithms

Many-core on-the-fly model checking of safety properties using GPUs

Refinement-based formal verification with heterogeneous timing

Generating test case chains for reactive systems

Formal verification of the NASA runway safety monitor