Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design. The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues andthe aspects of industrial practice.

Topics of Interest

The subjects of interest to SCP cover the entire spectrum of methods for the entire life cycle of software systems, including

  • Requirements, specification, design, validation, verification, coding, testing, maintenance, metrics and renovation of software;
  • Design, implementation and evaluation of programming languages;
  • Programming environments, development tools, visualisation and animation;
  • Management of the development process;
  • Human factors in software.
  • Software aspects of operating systems, system administration and network management.

Articles & Issues  

Roberto Casadei, Aldini Alessandro, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms
Science of Computer Programming 167, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms
Science of Computer Programming 166, 2018

Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields
Science of Computer Programming 117, 2016

Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
A coordination model of pervasive service ecosystems
Science of Computer Programming 110, 2015

Mirko Viroli, Jacob Beal, Kyle Usbeck
Operational Semantics of Proto
Science of Computer Programming 78(6), June 2013

Mirko Viroli
On competitive self-composition in pervasive services
Science of Computer Programming 78(5), May 2013

Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Science of Computer Programming 78(6), June 2013

Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Multi-agent Oriented Programming with JaCaMo
Science of Computer Programming 78(6), June 2013

Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Multi-agent Oriented Programming with JaCaMo
Science of Computer Programming 78(6), June 2013

Mirko Viroli
On competitive self-composition in pervasive services
Science of Computer Programming 78(5), May 2013

Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Science of Computer Programming 78(6), June 2013

Elena Nardini, Andrea Omicini, Mirko Viroli
Semantic Tuple Centres
Science of Computer Programming 78(5), May 2013

Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 76(1), May 2011

Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
Science of Computer Programming 76(1), January 2011

Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
Science of Computer Programming 76(1), January 2011

Matteo Casadei, Mirko Viroli, Luca Gardelli
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009

Maurizio Cimadamore, Mirko Viroli
On the reification of Java wildcards
Science of Computer Programming 73(2-3), October 2008

Mirko Viroli, Enrico Denti, Alessandro Ricci
Engineering a BPEL Orchestration Engine as a Multi-agent System
Science of Computer Programming 66(3), may 2007

Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 66(3), may 2007

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Science of Computer Programming 63(1), November 2006

Enrico Denti, Andrea Omicini, Alessandro Ricci
Multi-paradigm Java-Prolog Integration in tuProlog
Science of Computer Programming 57(2), August 2005

Andrea Omicini, Enrico Denti
From Tuple Spaces to Tuple Centres
Science of Computer Programming 41(3), November 2001

Jean-Pierre Banătre, Daniel Le Métayer
The GAMMA Model and its Discipline of Programming
Science of Computer Programming 15(1), November 1990
Tags:
    

Journals & Series

Data

https://www.scimagojr.com/journal_img.php?id=28416

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY