Science of Computer Programming is dedicated to the distribution of research

results in the areas of software systemsdevelopment, 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.

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 for social interaction, software for social
computing;
• Cyber physical systems, and software for the interaction between the physical and
the machine;
• Software aspects of infrastructure services, system administration, and network
management.

Special emphasis is given to recent trends in software development, such as

software architecture, component-based software development and web-based
software engineering. SCP is divided into four tracks. These are: (1) Concepts and
methodology, (2) Formal techniques, (3) Experimental software technology, (4)
Descriptive software technology.
1) The conceptual track is open for methodological, philosophical and sociological
studies on all aspects of computer software production and usage, including ethics.
Also short papers are allowed here, called viewpoints.
2) The formal track emphasizes the development and the pragmatic application of
formal and semiformal techniques. Submissions which the editors consider mainly
mathematical or theoretical in nature, with the preliminary consent of the authors,
will formally be forwarded to the sister journal TCS.
3) The experimental track is open for expositions on implementations of and
experiments with novel programming languages, systems and methods. It must be
emphasized that papers describing new software tools of relevance to SCP are
welcome under the strict condition that the source code of the tools is open.
Moreover, the results should be reproducible and show general applicability. By
means of the article type of original Software Publications also versioned software
product, corpora and datasets can enter the review process and get published.
4) The descriptive track deals with observational studies of current software
development practices, reporting on new languages,systems and methods,
including survey reports on the various themes.

Special Issues:
Science of Computer Programming welcomes Special Issues within its Scope either
resulting from conferences or workshops or from dedicated editorial efforts.
Análisis y resumen del Articulo de Science of Computer Programming.

Mauricio Andres Blanco Zúñiga

Ing. Electrónica

Science of Computer Programming se dedica a la distribución de resultados de

investigación en las áreas de desarrollo, uso y mantenimiento de sistemas de
software, incluyendo los aspectos de software del diseño de hardware.

La revista tiene un amplio alcance que abarca desde las múltiples facetas de los
fundamentos metodológicos hasta los detalles de cuestiones técnicas y los aspectos
de la práctica industrial.

Los temas de interés para SCP cubren todo el espectro de métodos para todo el
ciclo de vida de los sistemas de software, incluyendo

- Requisitos, especificación, diseño, validación, verificación, codificación, pruebas,

mantenimiento, métricas y renovación de software;

- Diseño, implementación y evaluación de lenguajes de programación;

- Entornos de programación, herramientas de desarrollo, visualización y

animación;

- Gestión del proceso de desarrollo;

- Factores humanos en software, software para la interacción social, software para

la computación social;

- Sistemas físicos cibernéticos, y software para la interacción entre el físico y la

máquina;

- Aspectos de software de los servicios de infraestructura, administración de

sistemas y gestión de redes.

Se hace especial hincapié en las tendencias recientes en el desarrollo de software,

como la arquitectura de software, el desarrollo de software basado en componentes
y la ingeniería de software basada en la web. SCP se divide en cuatro vías. Estos
son: (1) Conceptos y metodología, (2) Técnicas formales, (3) Tecnología de software
experimental, (4) Tecnología de software descriptivo.
1) El tema conceptual está abierto a estudios metodológicos, filosóficos y
sociológicos sobre todos los aspectos de la producción y utilización de programas
informáticos, incluida la ética. También se permiten artículos cortos aquí, llamados
puntos de vista.

2) La vía formal enfatiza el desarrollo y la aplicación pragmática de técnicas

formales y semiformales. Las contribuciones que los editores consideren
principalmente de naturaleza matemática o teórica, con el consentimiento previo
de los autores, se enviarán formalmente a la revista hermana TCS.

3) La pista experimental está abierta para exposiciones sobre implementaciones y

experimentos con nuevos lenguajes de programación, sistemas y métodos. Debe
enfatizarse que los documentos que describen nuevas herramientas de software de
relevancia para SCP son bienvenidos bajo la estricta condición de que el código
fuente de las herramientas sea abierto. Además, los resultados deben ser
reproducibles y mostrar una aplicabilidad general. Por medio del tipo de artículo de
las Publicaciones de Software originales también el producto de software
versionado, los corpus y los conjuntos de datos pueden entrar en el proceso de
revisión y ser publicados.

4) La sección descriptiva trata de estudios observacionales de las prácticas actuales

de desarrollo de software, informando sobre nuevos lenguajes, sistemas y métodos,
incluyendo informes de encuestas sobre los diversos temas.