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,646 Downloads 7,543 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 585 Downloads 1,614 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 5,073 Downloads 10,630 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,683 Downloads 8,372 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,475 Downloads 6,963 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,296 Downloads 9,103 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 1,073 Downloads 2,786 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 206 Downloads 719 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

International Journal of Communications, Network and System Sciences Vol.3 No.10, October 27, 2010

DOI: 10.4236/ijcns.2010.310104 8,218 Downloads 17,111 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 16,720 Downloads 30,867 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,153 Downloads 2,276 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 2,001 Downloads 3,707 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,427 Downloads 4,776 Views Citations
TUP: A New eCK-Secure AKE Protocol under the CDH Assumption (Articles)

Qinglei Zhou, Zengfu Yang

International Journal of Communications, Network and System Sciences Vol.5 No.6, June 12, 2012

DOI: 10.4236/ijcns.2012.56043 3,646 Downloads 6,443 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,999 Downloads 8,886 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 524 Downloads 1,718 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 369 Downloads 1,870 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 282 Downloads 990 Views Citations
Establishing a Measure of Educational Attainment: Using the Zambia Neurobehavioural Test Battery (Articles)

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

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

DOI: 10.4236/oalib.1111870 77 Downloads 590 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,243 Downloads 7,931 Views Citations

First <12 3 ...>Last

	customer@scirp.org
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies