default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 184

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 184, October 2019

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/SaadatjooB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SaadatjooB19
Mohammad Ali Saadatjoo, Seyed Morteza Babamir:
Test-data generation directed by program path coverage through imperialist competitive algorithm.
- view
  authority control:
- export record
  dblp key:
  - journals/scp/FerrarottiGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FerrarottiGS19
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe:
BSP abstract state machines capture bulk synchronous parallel computations.
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangBBHJKW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangBBHJKW19
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs:
Dependency safety for Java - Implementing and testing failboxes.

Special section on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/Mariani19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Mariani19
Stefano Mariani:
Coordination in Socio-technical Systems: Where are we now? Where do we go next?

Special section on FSEN 2017

- view
  authority control:
- export record
  dblp key:
  - journals/scp/AccattoliG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AccattoliG19
Beniamino Accattoli, Giulio Guerrieri:
Abstract machines for Open Call-by-Value.

Special section on Software-Intensive Systems of Systems

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChaabaneRPGJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChaabaneRPGJ19
Mariam Chaabane, Ismael Bouassida Rodriguez, Ricardo Colomo Palacios, Walid Gaaloul, Mohamed Jmaiel:
A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric.

Special section on The 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/WinterSD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WinterSD19
Kirsten Winter, Graeme Smith, John Derrick:
Modelling concurrent objects running on the TSO and ARMv8 memory models.

Special section on Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2016)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/BeierleS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeierleS19
Christoph Beierle, Klaus-Dieter Schewe:
Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic.

Short communication

- view
  authority control:
- export record
  dblp key:
  - journals/scp/EmaraH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/EmaraH19
Tamer Z. Emara, Joshua Zhexue Huang:
RRPlib: A spark library for representing HDFS blocks as a set of random sample data blocks.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.