ISSN: 1433-2779

Journal Home

Journal Guideline

International Journal on Software Tools for Technology Transfer Q3 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 60. It has a price of 2190 €. It has an SJR impact factor of 0,376 and it has a best quartile of Q3. It is published in English. It has an SJR impact factor of 0,376.

Type: Journal

Type of Copyright:

Languages: English

Open Access Policy: Open Choice

Type of publications:

Publication frecuency: -

Categories: Information Systems (Q3) Software (Q3)

Price

2190 €

Inmediate OA

NPD

Embargoed OA

0 €

Non OA

Metrics

International Journal on Software Tools for Technology Transfer

0,376

SJR Impact factor

60

H Index

39

Total Docs (Last Year)

155

Total Docs (3 years)

1724

Total Refs

275

Total Cites (3 years)

148

Citable Docs (3 years)

1.86

Cites/Doc (2 years)

44.21

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

SoftwareX Q3
Formal Aspects of Computing Q3
Journal of Ambient Intelligence and Smart Environments Q3
Journal of Computer Science and Technology Q3
Science of Computer Programming Q3

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