Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

15 results for “formal methods”

Set a search alert
Research ArticleOpen accessPhrase in the titleRelational Contracting in the Building Sector in Jordan as a Substitute to Conventional Formal MethodsRazan Aleasawi, Sultan TarawnehThe socioeconomic policies within the Hashemite Kingdom of Jordan aim to enhance the Public-Private Partnership (PPP), one of the Relational Contracting models, to encourage investment, improve public services, upgrade infrastructure and boost financial resources, in line with Jordan 2025 Vision (Ministry of Municipal Affairs, 2014). The construction sector itself has a growth plan of 5% in order to meet this … …American Journal of Engineering and Applied Sciences, Vol. 13, Issue 1 · 25 Mar 2020 · 6,673 accessesView PDFCite
Research ArticleOpen accessIn the keywordsCSCW for Preparing Formal Software Specifications: Issues and ImplementationMohamed A. Sullabi, Zarina ShukurIn this study, we concern with how a group of rectifiers can be worked on preparing and producing correct formal software specification and how can they communicate with each other. To address these subjects, we come into view of two different issues, collaborative issues and formal specification issues. Each of these issues is taken into consideration when we propose the … …Journal of Computer Science, Vol. 4, Issue 4 · 30 Apr 2008 · 6,581 accessesView PDFCite
Research ArticleOpen accessIn the keywordsRemoving Useless Productions of a Context Free Grammar through Petri NetMansoor Al-A'ali, Ali A. KhanFollowing the proposal for a Petri Net (PN) representation of the Context Free Grammar (CFG)[1], we propose in this paper, an algorithm to eliminate the useless productions of CFG. First the CFG is represented by a PN. Then, based on the reachability, an algorithm is developed to eliminate Useless-productions. The algorithm is analyzed and implemented in Pascal using examples of … …Journal of Computer Science, Vol. 3, Issue 7 · 31 Jul 2007 · 6,670 accessesView PDFCite
Research ArticleOpen accessIn the abstractSemSimp: A Parametric Method for Evaluating the Semantic Similarity of Digital ResourcesAntonio De Nicola, Anna Formica, Ida Mele, Francesco TaglinoAbioui, H., Idarrou, A., Bouzit, A., & Mammass, D. (2018). Towards a Novel and Generic Approach for OWL Ontology Weighting. Procedia Computer Science, 127, 426–435. https://doi.org/10.1016/j.procs.2018.01.140 Adhikari, A., Dutta, B., Dutta, A., Mondal, D., & Singh, S. (2018). An intrinsic information content-based semantic similarity measure considering the disjoint common subsumers of concepts of an ontology. Journal of the Association for … …Journal of Computer Science, Vol. 20, Issue 8 · 27 May 2024 · 5,773 accessesView PDFCite
Research ArticleOpen accessIn the abstractCombining Model-Based Testing and Failure Modes and Effects Analysis for Test Case Prioritization: A Software Testing ApproachAtifi Meriem, Marzak AbdelazizDue to The complexity of modern software projects and the increasing size of software systems, it becomes difficult to manually perform tests with limited resources. Also, manual testing cannot assure that the software is tested using all possible combinations of inputs. Therefore, automate software testing activities have become primordial in the Software Development Life Cycle (SDLC). Model-based testing is a … …Journal of Computer Science, Vol. 15, Issue 4 · 4 Apr 2019 · 8,216 accessesView PDFCite
Research ArticleOpen accessIn the abstractReducing Network Bandwidth Cost on End User Resources Consumption in Cloud EnvironmentBuchanagandi Enock Nyamajeje, Huiqun YuCloud computing has been envisioned as the next generation and attributed to the increasing growth of mobile devices. Rapid increment, increase demands and bandwidth cost of access cloud resources became essential user perceive incur higher cost for utilizing cloud services. Since researchers have proposed new methods, service provider need to collaborate to ensure reasonable level of QoS. In various methods, … …Journal of Computer Science, Vol. 11, Issue 9 · 25 Nov 2015 · 7,105 accessesView PDFCite
Research ArticleOpen accessIn the abstractItalian Phrasemes as Constructions: How to Understand and Use ThemElmar SchafrothThe present article describes the objectives and methods for a learner-centered description of Italian idioms based on the theoretical principles of Construction Grammar (CxG). The aim of the underlying research project is to develop a new way of looking at idioms, taking into account all linguistic aspects that could help to fully understand and usethem in a formally and functionally … …Journal of Social Sciences, Vol. 11, Issue 3 · 3 Sep 2015 · 9,086 accessesView PDFCite
Research ArticleOpen accessIn the abstractToponym Disambiguation by Arborescent RelationshipsImene Bensalem, Mohamed-Khireddine KholladiProblem statement: The way of referring to a place in the geographical space can be formal, based on the spatial coordinates, or informal, which we use in natural language by using toponyms (place names). A toponym can represent several geographical places. This ambiguity made problematic its conversion towards a unique formal representation. Toponym disambiguation in text is the task of … …Journal of Computer Science, Vol. 6, Issue 6 · 30 Jun 2010 · 7,667 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Cost-Benefit Analysis of the Legalization of an Informal Health SectorRoger Lee MendozaProblem statement: The Philippines--a developing Southeast Asian country--exemplifies the co-existence of Western-oriented, medical science and indigenous, non-allopathic practices collectively known as Complementary and Alternative Medicine (CAM). The purpose of this study is to determine why and how the economics and politics of CAM’s integration with biomedical science could impede the achievement of health care redistribution in developing countries like the … …Journal of Social Sciences, Vol. 6, Issue 1 · 31 Mar 2010 · 10,019 accessesView PDFCite
Research ArticleOpen accessIn the abstractINVESTIGATION OF STUDENT'S PERSONALITY ON PAIR PROGRAMMING TO ENHANCE THE LEARNING ACTIVITY IN THE ACADEMIAV. Venkatesan, A. SankarAgile Software development is now a global phenomenon and is rapidly becoming organizations' most preferred IT process. Extreme Programming (XP) is one of the Agile Methods and Collaborative Pair Programming (CPP) is one of the very important practices of eXtreme Programming. Agile focuses team work which is very important in the field of software development. The software industry has practiced … …Journal of Computer Science, Vol. 10, Issue 10 · 26 Jun 2014 · 6,865 accessesView PDFCite