Science of Computer Programming

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.

works as

journal containing

Modelling and verifying BDI agents under uncertainty (2025) — Blair Archibald, Michele Sevegnani, Mengwei Xu

Coordination in Socio-technical Systems: Where are we now? Where do we go next? (2019) — Stefano Mariani

Towards attack-resistant Aggregate Computing using trust mechanisms (2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli

Optimal single-path information propagation in gradient-based algorithms (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli

A type-sound calculus of computational fields (2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal

A coordination model of pervasive service ecosystems (2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli

Simulation in Agent-Oriented Software Engineering: The SODA Case Study (2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli

Semantic Tuple Centres (2013) — Elena Nardini, Andrea Omicini, Mirko Viroli

On competitive self-composition in pervasive services (2013) — Mirko Viroli

Operational Semantics of Proto (2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck

Multi-agent Oriented Programming with JaCaMo (2013) — Olivier Boissier, Rafael H. Bordini, Jomi F. Hübner, Alessandro Ricci, Andrea Santi

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

Preface (2011) — Carlos Canal, Mirko Viroli

On the Collective Sort Problem for Distributed Tuple Spaces (2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli

On the reification of Java wildcards (2008) — Maurizio Cimadamore, Mirko Viroli

Preface (2007) — Carlos Canal, Mirko Viroli

Engineering a BPEL Orchestration Engine as a Multi-agent System (2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci

Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli

Multi-paradigm Java-Prolog Integration in tuProlog (2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci

From Tuple Spaces to Tuple Centres (2001) — Andrea Omicini, Enrico Denti

The GAMMA Model and its Discipline of Programming (1990) — Jean-Pierre Banâtre, Daniel Le Métayer