Click to open the HelpDesk interface
AECE - Front page banner

Menu:


FACTS & FIGURES

JCR Impact Factor: 0.825
JCR 5-Year IF: 0.752
SCOPUS CiteScore: 2.5
Issues per year: 4
Current issue: Aug 2022
Next issue: Nov 2022
Avg review time: 76 days
Avg accept to publ: 48 days
APC: 300 EUR


PUBLISHER

Stefan cel Mare
University of Suceava
Faculty of Electrical Engineering and
Computer Science
13, Universitatii Street
Suceava - 720229
ROMANIA

Print ISSN: 1582-7445
Online ISSN: 1844-7600
WorldCat: 643243560
doi: 10.4316/AECE


TRAFFIC STATS

1,972,843 unique visits
787,577 downloads
Since November 1, 2009



Robots online now
PetalBot


SCOPUS CiteScore

SCOPUS CiteScore


SJR SCImago RANK

SCImago Journal & Country Rank




TEXT LINKS

Anycast DNS Hosting
MOST RECENT ISSUES

 Volume 22 (2022)
 
     »   Issue 3 / 2022
 
     »   Issue 2 / 2022
 
     »   Issue 1 / 2022
 
 
 Volume 21 (2021)
 
     »   Issue 4 / 2021
 
     »   Issue 3 / 2021
 
     »   Issue 2 / 2021
 
     »   Issue 1 / 2021
 
 
 Volume 20 (2020)
 
     »   Issue 4 / 2020
 
     »   Issue 3 / 2020
 
     »   Issue 2 / 2020
 
     »   Issue 1 / 2020
 
 
 Volume 19 (2019)
 
     »   Issue 4 / 2019
 
     »   Issue 3 / 2019
 
     »   Issue 2 / 2019
 
     »   Issue 1 / 2019
 
 
  View all issues  








LATEST NEWS

2022-Jun-28
Clarivate Analytics published the InCites Journal Citations Report for 2021. The InCites JCR Impact Factor of Advances in Electrical and Computer Engineering is 0.825 (0.722 without Journal self-cites), and the InCites JCR 5-Year Impact Factor is 0.752.

2022-Jun-16
SCOPUS published the CiteScore for 2021, computed by using an improved methodology, counting the citations received in 2018-2021 and dividing the sum by the number of papers published in the same time frame. The CiteScore of Advances in Electrical and Computer Engineering in 2021 is 2.5, the same as for 2020 but better than all our previous results.

2021-Jun-30
Clarivate Analytics published the InCites Journal Citations Report for 2020. The InCites JCR Impact Factor of Advances in Electrical and Computer Engineering is 1.221 (1.053 without Journal self-cites), and the InCites JCR 5-Year Impact Factor is 0.961.

2021-Jun-06
SCOPUS published the CiteScore for 2020, computed by using an improved methodology, counting the citations received in 2017-2020 and dividing the sum by the number of papers published in the same time frame. The CiteScore of Advances in Electrical and Computer Engineering in 2020 is 2.5, better than all our previous results.

2021-Apr-15
Release of the v3 version of AECE Journal website. We moved to a new server and implemented the latest cryptographic protocols to assure better compatibility with the most recent browsers. Our website accepts now only TLS 1.2 and TLS 1.3 secure connections.

Read More »


    
 

  3/2021 - 2

Simple Framework for Efficient Development of the Functional Requirement Verification-specific Language

POPIC, S. See more information about POPIC, S. on SCOPUS See more information about POPIC, S. on IEEExplore See more information about POPIC, S. on Web of Science, TESLIC, N. See more information about  TESLIC, N. on SCOPUS See more information about  TESLIC, N. on SCOPUS See more information about TESLIC, N. on Web of Science, BJELICA, M. Z. See more information about BJELICA, M. Z. on SCOPUS See more information about BJELICA, M. Z. on SCOPUS See more information about BJELICA, M. Z. on Web of Science
 
View the paper record and citations in View the paper record and citations in Google Scholar
Click to see author's profile in See more information about the author on SCOPUS SCOPUS, See more information about the author on IEEE Xplore IEEE Xplore, See more information about the author on Web of Science Web of Science

Download PDF pdficon (1,990 KB) | Citation | Downloads: 667 | Views: 476

Author keywords
computer languages, formal verification, formal languages, requirement engineering, programming environments

References keywords
language(14), software(12), requirements(12), testing(8), specific(8), domain(8), systems(7), verification(6), formal(6), controlled(6)
Blue keywords are present in both the references section and the paper title.

About this article
Date of Publication: 2021-08-31
Volume 21, Issue 3, Year 2021, On page(s): 11 - 20
ISSN: 1582-7445, e-ISSN: 1844-7600
Digital Object Identifier: 10.4316/AECE.2021.03002
Web of Science Accession Number: 000691632000002
SCOPUS ID: 85115213462

Abstract
Quick view
Full text preview
This paper presents the framework for the creation of various domain-specific languages for verification of the functional requirements. When it comes to Requirement Engineering and the process of Validation and Verification of the requirements, there are plenty of tools for modeling, analyzing, and validating the requirements. It comes as a full-blown set of applications for validation of the requirements. But the set of the verification tools is either too complex or usable in a narrow domain. From the customers' point of view, there is a need for another independent requirement verification. This tool enables the creation of the custom verification in a way that allows users (either clients or developers) to verify requirements. It follows the IEEE guides, standards, and best practices to check all aspects of the software requirements that are neither implemented nor checked by the validation process: correctness, completeness, traceability, dependency, importance, and uniqueness. Tool implements design patterns specific to the verification process, thus enabling the faster implementation of the language. The concept can be used for development of the verification-specific language with any type of requirement representation, which will be shown by a few examples.


References | Cited By  «-- Click to see who has cited this paper

[1] "IEEE Standard for System and Software Verification and Validation," in IEEE Std 1012-2012 (Revision of IEEE Std 1012-2004) , vol., no., pp.1-223, 25 May 2012,
[CrossRef]


[2] "IEEE Draft Guide: Adoption of the Project Management Institute (PMI) Standard: A Guide to the Project Management Body of Knowledge (PMBOK Guide)-2008 (4th edition)," in IEEE P1490/D1, May 2011 , vol., no., pp. 1-505, 30 June 2011,
[CrossRef]


[3] B. Nuseibeh, and S. Easterbrook, "Requirements Engineering: A Roadmap," in Proc. of the Conf. on the Future of Software Engineering, Limerick, Ireland, 2000, pp. 35-46,
[CrossRef] [SCOPUS Times Cited 1307]


[4] A. Morkevicius and N. Jankevicius, "An approach: SysML-based automated requirements verification," 2015 IEEE Int. Symp. on Systems Engineering (ISSE), 2015, pp. 92-97,
[CrossRef] [SCOPUS Times Cited 11]


[5] "IEEE Recommended Practice for Software Requirements Specifications," in IEEE Std 830-1998, Reaffirmed 9-12-2009, vol., no., pp.1-40, 1998,
[CrossRef]


[6] L. Lengyel et al., "Quality Assured Model-Driven Requirements Engineering and Software Development," in The Computer Journal, vol. 58, no. 11, pp. 3171-3186, 2015,
[CrossRef] [Web of Science Times Cited 2] [SCOPUS Times Cited 3]


[7] Ralph Young, The Requirements Engineering Handbook, pp.130-150, Artech, 2003.

[8] P. Rempel and P. Mader, "A quality model for the systematic assessment of requirements traceability," 2015 IEEE 23rd Int. Requirements Engineering Conference (RE), 2015, pp. 176-185,
[CrossRef] [SCOPUS Times Cited 22]


[9] F. Wang et al., "An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models," in IEEE Transactions on Reliability, vol. 69, no. 1, pp. 154-173, 2020,
[CrossRef] [Web of Science Times Cited 8] [SCOPUS Times Cited 10]


[10] J. P. Tolvanen, S. Kelly, "How Domain-Specific Modeling Languages Address Variability in Product Line Development: Investigation of 23 Cases," 3rd Int. Systems and Software Product Line Conf. , 2019, pp. 155-163,
[CrossRef] [Web of Science Times Cited 1] [SCOPUS Times Cited 6]


[11] M. Fowler, "A Pedagogical Framework for Domain-Specific Languages," in IEEE Software, vol. 26, no. 4, pp. 13-14, 2009,
[CrossRef] [Web of Science Times Cited 8] [SCOPUS Times Cited 15]


[12] J.P. Tolvanen, S. Kelly, DOMAIN-SPECIFIC MODELING Enabling Full Code Generation, pp. 34-41, A Wiley-Interscience, 2008.

[13] D. Ghosh, DSLs in Action, Greenwich, pp. 220-300, Manning Co, 2011.

[14] "ITU-T, Recommendation Z.151 (10/18), User Requirements Notation (URN) - Language definition", pp.1-140, 2018.

[15] D. Amyot, L. Logrippo and M. Weiss, "Generation of test purposes from Use Case Maps," Computer Networks, vol. 49, no. 5, pp. 643-660, 2005,
[CrossRef] [Web of Science Times Cited 10] [SCOPUS Times Cited 22]


[16] D. de Almeida Ferreira and A. R. da Silva, "RSLingo: An information extraction approach toward formal requirements specifications," 2012 Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE), 2012, pp. 39-48,
[CrossRef] [SCOPUS Times Cited 33]


[17] N. A. Ali, A. A. Mirghani and A. Y. Ibrahim, "Alneelain: A formal specification language," 2017 International Conference on Communication, Control, Computing and Electronics Engineering (ICCCCEE) , 2017, pp. 1-9,
[CrossRef] [SCOPUS Times Cited 1]


[18] A. Mili and F. Tchier, Software Testing, concepts and operations, pp. 38-39, Wiley, 2015.

[19] L. C. Hong and L. T. Ming, "To enable formal verification of semi-formal requirements by using pre-defined template and mapping rules to map to Promela specification to reduce rework," 2010 Int. Symposium on Information Technology, 2010, pp. 1393-1397,
[CrossRef] [SCOPUS Times Cited 1]


[20] P. H. Feiler, B. A. Lewis and S. Vestal, "The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems," IEEE Conference on Computer Aided Control System Design, 2006, pp. 1206-1211,
[CrossRef]


[21] Z.-B.Yang et al., "From AADL to timed abstract state machines: A verified model transformation," Journal of Systems and Software, vol. 93, pp. 42-68, 2014,
[CrossRef] [Web of Science Times Cited 28] [SCOPUS Times Cited 45]


[22] G. Behrmann, A. David, K. G. Larsen, "A tutorial on Uppaal," in Formal Methods for the Design of Real-Time Systems, Berlin, Germany: Springer, vol.3185, pp. 200-236, 2004,
[CrossRef] [SCOPUS Times Cited 1078]


[23] D. Cofer, et al., "Compositional verification of architectural models," in NASA Formal Methods, vol. 7226, pp. 126-140, 2012,
[CrossRef] [SCOPUS Times Cited 76]


[24] G. Sutcliffe and C. Suttner, "The TPTP Problem Library," Journal of Automated Reasoning, vol. 21, pp. 177-203, 1998,
[CrossRef] [Web of Science Times Cited 140] [SCOPUS Times Cited 199]


[25] Z. Zuo and M. Zhou, "Web Ontology Language OWL and its description logic foundation," Proc. of the Fourth Int. Conference on Parallel and Distributed Computing, Applications and Technologies, 2003, pp. 157-160,
[CrossRef] [Web of Science Times Cited 11]


[26] C. -. Liu, K. -. Chang, J. J. -. Chen and S. -. Hung, "Ontology-Based Context Representation and Reasoning Using OWL and SWRL," 2010 8th Annual Communication Networks and Services Research Conference, 2010, pp. 215-220,
[CrossRef] [SCOPUS Times Cited 27]


[27] N. E. Fuch, "First-Order Reasoning for Attempto Controlled English," Int. Workshop on Controlled Natural Language, CNL 2010: Controlled Natural Language, Springer-Verlag Berlin, 2012, pp. 73 - 94,
[CrossRef] [SCOPUS Times Cited 11]


[28] P. Clark, W. R. Murray, P. Harrison, and J. Thompson, "Naturalness vs. Predictability: A Key Debate in Controlled Languages". Controlled Natural Language: Proc. of the Work. on Controlled Natural Language, 2009, vol. 5972, pp. 65-81,
[CrossRef] [SCOPUS Times Cited 25]


[29] S. Thummalapenta, S. Sinha, N. Singhania and S. Chandra, "Automating test automation," 2012 34th International Conference on Software Engineering, 2012, pp. 881-891,
[CrossRef] [SCOPUS Times Cited 45]


[30] A. Miller, B. Kumar and A. Singhal, "Photon: A Domain-Specific Language for Testing Converged Applications," 33rd Annual IEEE International Computer Software and Applications Conference, 2009, vol. 2, pp. 269-274,
[CrossRef] [SCOPUS Times Cited 2]


[31] M. Bernardino, A. F. Zorzo and E. M. Rodrigues, "Canopus: A Domain-Specific Language for Modeling Performance Testing," 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2016, pp. 157-167,
[CrossRef] [Web of Science Times Cited 13] [SCOPUS Times Cited 14]


[32] S. Pakin, "The Design and Implementation of a Domain-Specific Language for Network Performance Testing," in IEEE Trans. on Parallel and Distributed Systems, vol. 18, no. 10, pp. 1436-1449, 2007,
[CrossRef] [Web of Science Times Cited 22] [SCOPUS Times Cited 29]


[33] A. Dwarakanath, D. Era, A. Priyadarshi, N. Dubash and S. Podder, "Accelerating Test Automation through a Domain Specific Language," 2017 IEEE Int. Conf. on Software Testing, Verification and Validation, 2017, pp. 460-467,
[CrossRef] [Web of Science Times Cited 2] [SCOPUS Times Cited 4]


[34] C. Willcock, T. Deis, S. Tobies, S. Keil, F. Engler, S. Schulz, A. Wiles, "Basic TTCN-3," in An Introduction to TTCN-3, Wiley, 2010, pp.25-44,
[CrossRef]


[35] A. A. Giordano, A. H. Levesque, "Getting Started with Simulink," in Modeling of Digital Communication Systems Using SIMULINK, Wiley, 2015, pp.1-26,
[CrossRef]


[36] S. Popic, V. Komadina, R. Arsenovic and M. Stepanovic, "Implementation of the simple domain-specific language for system testing in V-Model development lifecycle," 2020 Zooming Innovation in Consumer Technologies Conference, 2020, pp. 290-294,
[CrossRef] [SCOPUS Times Cited 1]


[37] S. Popic, B. Pavkovic, I. Velikic and N. Teslic, "Data generators: a short survey of techniques and use cases with focus on testing," 2019 IEEE 9th Int. Conf. on Consumer Electronics (ICCE-Berlin), 2019, pp. 189-194,
[CrossRef] [SCOPUS Times Cited 10]




References Weight

Web of Science® Citations for all references: 245 TCR
SCOPUS® Citations for all references: 2,997 TCR

Web of Science® Average Citations per reference: 6 ACR
SCOPUS® Average Citations per reference: 79 ACR

TCR = Total Citations for References / ACR = Average Citations per Reference

We introduced in 2010 - for the first time in scientific publishing, the term "References Weight", as a quantitative indication of the quality ... Read more

Citations for references updated on 2022-09-28 21:22 in 203 seconds.




Note1: Web of Science® is a registered trademark of Clarivate Analytics.
Note2: SCOPUS® is a registered trademark of Elsevier B.V.
Disclaimer: All queries to the respective databases were made by using the DOI record of every reference (where available). Due to technical problems beyond our control, the information is not always accurate. Please use the CrossRef link to visit the respective publisher site.

Copyright ©2001-2022
Faculty of Electrical Engineering and Computer Science
Stefan cel Mare University of Suceava, Romania


All rights reserved: Advances in Electrical and Computer Engineering is a registered trademark of the Stefan cel Mare University of Suceava. No part of this publication may be reproduced, stored in a retrieval system, photocopied, recorded or archived, without the written permission from the Editor. When authors submit their papers for publication, they agree that the copyright for their article be transferred to the Faculty of Electrical Engineering and Computer Science, Stefan cel Mare University of Suceava, Romania, if and only if the articles are accepted for publication. The copyright covers the exclusive rights to reproduce and distribute the article, including reprints and translations.

Permission for other use: The copyright owner's consent does not extend to copying for general distribution, for promotion, for creating new works, or for resale. Specific written permission must be obtained from the Editor for such copying. Direct linking to files hosted on this website is strictly prohibited.

Disclaimer: Whilst every effort is made by the publishers and editorial board to see that no inaccurate or misleading data, opinions or statements appear in this journal, they wish to make it clear that all information and opinions formulated in the articles, as well as linguistic accuracy, are the sole responsibility of the author.




Website loading speed and performance optimization powered by: