Skip to main content

Call for papers: Automated and verifiable internet services and applications development

Journal of Internet Services and Applications welcomes submissions to the thematic series on 'Automated and verifiable internet services and applications development '.

During the last three decades, automation in internet services and applications development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process. Realizing high-quality internet services and applications requires the production of software that is efficient, error-free, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns is not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well.

This JISA Thematic Series aims at new automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms.

We seek contributions at various levels: from foundational aspects to concrete application experiments;  modeling to verification and analysis;  deployment to execution;  (industrial) experience papers and case-studies, to tool demonstrations and visionary papers; papers describing novel research contributions and innovative applications are of particular interest.

Topics include, but are not limited to the following:

  • Specification and design of services and applications
  • Architecture and implementation of services and applications
  • Services and applications verification models
  • Formal methods for automated development of services and applications
  • Model-driven development of services and applications
  • Correct-by-construction development of services and applications
  • Automated synthesis of software integration code
  • Automated development and integration of services and applications
  • Automated and verifiable software development
  • Automated planning methods for software development
  • Non-functional properties of services and applications
  • Software quality assurance for automated software development
  • Compositional theories for software development and its (dynamic) verification
  • Dynamic verification and testing
  • Service-oriented and component-based software development
  • Machine learning techniques for the development of services and applications

Submission Instructions

Before submitting your manuscript, please ensure you have carefully read the submission guidelines for  Journal of Internet Services and Applications. The complete manuscript should be submitted through the  Journal of Internet Services and Applications submission system. To ensure that you submit to the correct thematic series please select the appropriate thematic series in the drop-down menu upon submission. In addition, indicate within your cover letter that you wish your manuscript to be considered as part of the thematic series on 'Automated and verifiable internet services and applications development '. All submissions will undergo rigorous peer review and accepted articles will be published within the journal as a collection. If you have any difficulty in paying the article processing charges (APC), please request a waiver from the editors.

Submission Deadline: 31 January 2020
First response to authors: 24 March 2020

Guest Editors

Farhad Arbab, CWI, The Netherlands
Marco Autili, University of L’Aquila, Italy (Lead Guest Editor)
Federico Ciccozzi, Malardalen University, Sweden
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Pascal Poizat, Sorbonne Université, France
Massimo Tivoli, University of L’Aquila, Italy

Please address queries related to this call to:;;;;;

 Submissions will also benefit from the usual advantages of open access publication:

  • Rapid publication: Online submission, electronic peer review and production make the process of publishing your article simple and efficient
  • High visibility and international readership in your field: Open access publication ensures high visibility and maximum exposure for your work - anyone with online access can read your article
  • No space constraints: Publishing online means unlimited space for figures, extensive data and video footage
  • Authors retain copyright, licensing the article under a Creative Commons license: articles can be freely redistributed and reused as long as the article is correctly attributed

Sign up for article alerts and news from this journal  to keep updated on articles published in  Journal of Internet Services and Applications - including articles published in this thematic series!

Annual Journal Metrics

  • Speed
    74.4 days to first decision for reviewed manuscripts only
    51.4 days to first decision for all manuscripts
    203.1 days from submission to acceptance
    50 days from acceptance to publication

    Citation Impact
    1.428 - Source Normalized Impact per Paper (SNIP)
    0.45 - SCImago Journal Rank (SJR)
    3.9 - CiteScore

    134 Altmetric mentions

  • This journal is indexed by

    • Scopus
    • Emerging Sources Citation Index
    • EI-Compendex
    • Summon by ProQuest
    • SCImago
    • EBSCO Discovery Dervice
    • Academic OneFile
    • OCLC
    • Summon by ProQuest
    • INSPEC
    • DOAJ
    • DBLP
    • Google Scholar

Latest Tweets

Your browser needs to have JavaScript enabled to view this timeline

Associated Societies

The Journal of Internet Services and Applications is an international journal sponsored by:

Brazilian Internet Steering Committee

National Computer Network Lab

Brazilian Computer Society.