Conformity Test; Security Test; Constraints Resolution; Formal Specification; Inheritance - Articles

A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming (Articles)

Khalid Benlhachmi, Mohammed Benattou

Journal of Information Security Vol.4 No.2，April 23, 2013

DOI: 10.4236/jis.2013.42013 4,449 Downloads 7,052 Views Citations
Industrial Elaboration by Extrusion of PVC Tubes Loaded with Micronized Dura Palm Kernel Shell Powder (Articles)

Rolland Djomi, Christian Mbopda Fokam, Florent Biyeme, Chantal Marguerite Mveh, Roland Olembé, Hypolyte Ntede, Ateba Atangana

Journal of Materials Science and Chemical Engineering Vol.9 No.10，October 29, 2021

DOI: 10.4236/msce.2021.910004 333 Downloads 1,011 Views Citations
Incorporating the Multinomial Logistic Regression in Vehicle Crash Severity Modeling: A Detailed Overview (Articles)

Azad Abdulhafedh

Journal of Transportation Technologies Vol.7 No.3，July 4, 2017

DOI: 10.4236/jtts.2017.73019 4,398 Downloads 9,164 Views Citations
Integrating Formal Methods in XP—A Conceptual Solution (Articles)

Shagufta Shafiq, Nasir Mehmood Minhas

Journal of Software Engineering and Applications Vol.7 No.4，April 17, 2014

DOI: 10.4236/jsea.2014.74029 5,469 Downloads 7,776 Views Citations
Improving Laboratory Test-Ordering with Information Technology (Articles)

Adnan Ali Baddour, Anas Serag Dablool, Saeed Saeed Al-Ghamdi

International Journal of Clinical Medicine Vol.3 No.6，November 15, 2012

DOI: 10.4236/ijcm.2012.36083 4,290 Downloads 6,392 Views Citations
A Conflicts Detection Approach for Merging Formal Specification Views (Articles)

Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam

Journal of Software Engineering and Applications Vol.3 No.5，May 24, 2010

DOI: 10.4236/jsea.2010.35052 5,051 Downloads 8,523 Views Citations
The Differences of Interstitial Lung Diseases in High-Resolution Computerized Tomography and Pulmonary Function Test among Different Connective Tissue Diseases, and the Correlated Factors (Articles)

Zhen Jiang, Wenyou Pan, Jinhui Tao, Xiangpei Li

Open Journal of Rheumatology and Autoimmune Diseases Vol.8 No.2，May 21, 2018

DOI: 10.4236/ojra.2018.82005 957 Downloads 2,287 Views Citations
Preliminary Model Study for Forecasting a Hot Weather Process in Guangdong Province Using CMA-TRAMS (Articles)

Wenfan Wang, Jiemin Zhan, Dehui Chen, Zitong Chen, Yanxia Zhang, Qing Fan, Guangfeng Dai, Yingying Luo, Aifen Ye

Atmospheric and Climate Sciences Vol.14 No.1，January 17, 2024

DOI: 10.4236/acs.2024.141006 86 Downloads 309 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

Int'l J. of Communications, Network and System Sciences Vol.3 No.10，October 27, 2010

DOI: 10.4236/ijcns.2010.310104 7,785 Downloads 16,148 Views Citations
Applications of Normality Test in Statistical Analysis (Articles)

Nasrin Khatun

Open Journal of Statistics Vol.11 No.1，February 4, 2021

DOI: 10.4236/ojs.2021.111006 11,556 Downloads 23,989 Views Citations
Impact of Inheritance and Housing Wealth on Retirement Decision (Articles)

Sid Ali Amedah, Maxime Fougère

Open Journal of Social Sciences Vol.5 No.7，July 3, 2017

DOI: 10.4236/jss.2017.57001 1,021 Downloads 1,812 Views Citations
This article belongs to the Special Issue on Population Ageing
Design of Secure and Traceable Requirement Engineering Process for Security-Sensitive Projects (Articles)

Abdul Ahad, Luqman Tariq, Saba Niaz, Muhammad Inam

Journal of Software Engineering and Applications Vol.10 No.12，November 13, 2017

DOI: 10.4236/jsea.2017.1012049 1,865 Downloads 3,266 Views Citations
TUP: A New eCK-Secure AKE Protocol under the CDH Assumption (Articles)

Qinglei Zhou, Zengfu Yang

Int'l J. of Communications, Network and System Sciences Vol.5 No.6，June 12, 2012

DOI: 10.4236/ijcns.2012.56043 3,484 Downloads 6,046 Views Citations
Formalization of Federated Schema Architectural Style Variability (Articles)

Wilhelm Hasselbring

Journal of Software Engineering and Applications Vol.8 No.2，February 15, 2015

DOI: 10.4236/jsea.2015.82009 3,259 Downloads 4,161 Views Citations
Pairwise comparisons in the analysis of carcinogenicity data (Articles)

Mohammad A. Rahman, Ram C. Tiwari

Health Vol.4 No.10，November 1, 2012

DOI: 10.4236/health.2012.410139 5,458 Downloads 8,060 Views Citations
Quality Evaluation of Carnitine for Proper Use of Supplement (Articles)

Yuka Miyachi, Chika Nakayama, Taeyuki Oshima

Pharmacology & Pharmacy Vol.12 No.2，February 26, 2021

DOI: 10.4236/pp.2021.122005 352 Downloads 1,052 Views Citations
Assessment of Test Validity in the Context of the Duolingo English Test (Articles)

Chenxi Chen

Open Journal of Modern Linguistics Vol.14 No.1，January 29, 2024

DOI: 10.4236/ojml.2024.141001 176 Downloads 832 Views Citations
Adjustments for Kurtosis and Continuity on the Prentice Test (Articles)

Lily Gebhart, John Kolassa

Advances in Pure Mathematics Vol.14 No.2，February 29, 2024

DOI: 10.4236/apm.2024.142005 129 Downloads 434 Views Citations
Establishing a Measure of Educational Attainment: Using the Zambia Neurobehavioural Test Battery (Articles)

Edina Simwinga, Daniel L. Mpolomoka, Moono Muvombo, Rose Chikopela

Open Access Library Journal Vol.11 No.8，August 14, 2024

DOI: 10.4236/oalib.1111870 22 Downloads 158 Views Citations
A Consideration of the Decision to Reallocate Educational Resources on the Basis of a Comparison of Academic Area Test Scores across Schools (Articles)

Melvin V. Borland, Roy M. Howsen

Creative Education Vol.1 No.3，December 27, 2010

DOI: 10.4236/ce.2010.13025 4,050 Downloads 7,420 Views Citations

<12 3 ...>

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies