Deakin University
Browse
ibrahim-requirementsformality-2021.pdf (390.3 kB)

Requirements formality levels analysis and transformation of formal notations into semi-formal and informal notations

Download (390.3 kB)
conference contribution
posted on 2021-01-01, 00:00 authored by Aya Zaki Ismail, M Osama, Mohamed AbdelrazekMohamed Abdelrazek, J Grundy, Amani Ibrahim
Requirements formality levels analysis and transformation of formal notations into semi-formal and informal notations

History

Event

Software Engineering and Knowledge Engineering. Conference (2021 : Redwood City, California)

Volume

2021-July

Pagination

303 - 308

Publisher

KSI Research

Location

Redwood City, California

Place of publication

Pittsburgh, Pa.

Start date

2021-07-01

End date

2021-07-10

ISSN

2325-9000

eISSN

2325-9086

ISBN-10

1891706527

Language

eng

Publication classification

E1 Full written paper - refereed

Title of proceedings

SEKE 2021 : Proceedings of the International Conference on Software Engineering and Knowledge Engineering

Usage metrics

    Research Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC