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.

Articles & Issues

Coordination in Socio-technical Systems: Where are we now? Where do we go next? (article in journal, 2019) — Stefano Mariani
Optimal single-path information propagation in gradient-based algorithms (article in journal, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms (article in journal, 2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
A type-sound calculus of computational fields (article in journal, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
A coordination model of pervasive service ecosystems (article in journal, 2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Multi-agent Oriented Programming with JaCaMo (article in journal, 2013) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (article in journal, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Semantic Tuple Centres (article in journal, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
On competitive self-composition in pervasive services (article in journal, 2013) — Mirko Viroli
Operational Semantics of Proto (article in journal, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Preface (article in journal, 2011) — Carlos Canal, Mirko Viroli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (article in journal, 2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
On the Collective Sort Problem for Distributed Tuple Spaces (article in journal, 2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
On the reification of Java wildcards (article in journal, 2008) — Maurizio Cimadamore, Mirko Viroli
Preface (article in journal, 2007) — Carlos Canal, Mirko Viroli
Engineering a BPEL Orchestration Engine as a Multi-agent System (article in journal, 2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (article in journal, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
From Tuple Spaces to Tuple Centres (article in journal, 2001) — Andrea Omicini, Enrico Denti
The GAMMA Model and its Discipline of Programming (article in journal, 1990) — Jean-Pierre Banâtre, Daniel Le Métayer

Tags:

Journals & Series

Home
Search
All

Journals & Series / Views

Clouds
• tags

Journal

Science of Computer Programming

— acronym

SCP

— publisher

Elsevier B.V.

URLs

— Scopus

IDs

— ISSN

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY

Powered by XWiki 14.10.3