Design and Implementation of Automated Visualization for Input/Output for Processes in SOFL Formal Specifications

Yu Chen, Shaoying Liu

Open source

DOI: 10.5121/ijsea.2018.9409
Published: 2018-07-30
Container: International Journal of Software Engineering & Applications
Publisher: Academy and Industry Research Collaboration Center (AIRCC)
Open access: unknown

Credibility signals

uncertain Score 64/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

supportingDOI registered: A matching record was returned by Crossref. Source: Crossref; license: CC0 metadata
supportingDOI resolves: A matching record was returned by Crossref. Source: Crossref; license: CC0 metadata
not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

Cite this work

BibTeX

@article{allodium:10.5121/ijsea.2018.9409,
  title = {Design and Implementation of Automated Visualization for Input/Output for Processes in SOFL Formal Specifications},
  author = {Yu Chen and Shaoying Liu},
  year = {2018},
  journal = {International Journal of Software Engineering \&amp; Applications},
  doi = {10.5121/ijsea.2018.9409},
  url = {https://doi.org/10.5121/ijsea.2018.9409}
}

RIS

TY  - JOUR
TI  - Design and Implementation of Automated Visualization for Input/Output for Processes in SOFL Formal Specifications
AU  - Yu Chen
AU  - Shaoying Liu
PY  - 2018
JO  - International Journal of Software Engineering &amp; Applications
DO  - 10.5121/ijsea.2018.9409
UR  - https://doi.org/10.5121/ijsea.2018.9409
ER  -

APA

Chen, Y., & Liu, S. (2018). Design and Implementation of Automated Visualization for Input/Output for Processes in SOFL Formal Specifications. International Journal of Software Engineering & Applications. https://doi.org/10.5121/ijsea.2018.9409

Source records

crossref · retrieved 2026-09-26T16:23:51.022Z