UML; State Diagrams; Equivalence Relations; Formal Methods; Z notation; Validation and Verification - Articles

A Structural and Generative Approach to Multilayered Software Architectures (Articles)

Georges Edouard Kouamou, Willy Kengne Kungne

Journal of Software Engineering and Applications Vol.10 No.8, July 11, 2017

DOI: 10.4236/jsea.2017.108037 1,657 Downloads 4,105 Views Citations
Design and Implementation of Baccalaureate Grade Processing Web Application for Niger (Articles)

Ali Hassan Kachalo, Oumarou Abdou Arbi, Ibrahim Mamane Souley

Journal of Software Engineering and Applications Vol.11 No.3, March 27, 2018

DOI: 10.4236/jsea.2018.113007 1,161 Downloads 2,563 Views Citations
A Metamodel-Driven Business Process Modeling Methodology and Its Integrated Environment for Reusing Business Processes (Articles)

Rieko Yamamoto, Kouji Yamamoto, Kyoko Ohashi, Junji Inomata, Mikio Aoyama

Journal of Software Engineering and Applications Vol.11 No.8, August 6, 2018

DOI: 10.4236/jsea.2018.118023 1,555 Downloads 4,847 Views Citations
This article belongs to the Special Issue on Enterprise Software Technology
Implementation of an Intelligent System of Audit Recommendations in Congolese Public Companies (Articles)

Lukusa Muvuala Vicky, Bertin Mazunze, Kabango Dyuba Desiré

Open Access Library Journal Vol.12 No.5, May 22, 2025

DOI: 10.4236/oalib.1113277 78 Downloads 433 Views Citations
UML Class Diagram Classification Using Category Theory (Articles)

Alexey Tazin, Mieczyslaw M. Kokar

Journal of Software Engineering and Applications Vol.18 No.7, July 18, 2025

DOI: 10.4236/jsea.2025.187014 125 Downloads 1,117 Views Citations
Rapid Simultaneous Determination of Olmesartan, —Amlodipine and Hydrochlorothiazide in Combined Pharmaceutical Dosage form by Stability-Indicating Ultra Performance Liquid Chromatography (Articles)

Kakumani Kishore Kumar, Chimalakonda Kameswara Rao, G. Madhusudan, Khagga Mukkanti

American Journal of Analytical Chemistry Vol.3 No.1, January 5, 2012

DOI: 10.4236/ajac.2012.31008 6,235 Downloads 13,289 Views Citations
A Validated Rapid Stability-Indicating Method for the Determination of Related Substances in Vardenafil Hydrochloride by Ultra-Performance Liquid Chromatography (Articles)

Kishore Kumar Kakumani, Kameswara Rao Chimalakonda, Rama Koti Reddy Yarram, Mukkanti Khagga

American Journal of Analytical Chemistry Vol.3 No.1, January 5, 2012

DOI: 10.4236/ajac.2012.31009 6,705 Downloads 13,373 Views Citations
Simple Estimation of Bosentan in Tablet Formulation by RP-HPLC (Articles)

Selvadurai Muralidharan, Jaya Raja Kumar

American Journal of Analytical Chemistry Vol.3 No.11, November 16, 2012

DOI: 10.4236/ajac.2012.311095 6,286 Downloads 10,412 Views Citations
Mapping Cropland in Ethiopia Using Crowdsourcing (Articles)

Linda See, Ian McCallum, Steffen Fritz, Christoph Perger, Florian Kraxner, Michael Obersteiner, Ujjal Deka Baruah, Nitashree Mili, Nripen Ram Kalita

International Journal of Geosciences Vol.4 No.6A, August 8, 2013

DOI: 10.4236/ijg.2013.46A1002 5,273 Downloads 8,213 Views Citations
This article belongs to the Special Issue on Surveying and Mapping
Response of rice cultivation to biofertilizers in Campeche, Mexico (Articles)

Fermín Orona-Castro, Mónica Guadalupe Lozano-Contreras, Martín Tucuch-Cauich, Oscar A. Grageda-Cabrera, Juan Medina-Mendez, Arturo Díaz-Franco, Esaú Ruiz-Sánchez, Jesús Soto-Rocha

Agricultural Sciences Vol.4 No.12, December 25, 2013

DOI: 10.4236/as.2013.412097 4,983 Downloads 7,309 Views Citations
Italian Validation of the Psychosocial Impact of Dental Aesthetics Questionnaire (PIDAQ) (Articles)

Salvatore Settineri, Amelia Rizzo, Marco Liotta, Carmela Mento

Health Vol.6 No.16, September 4, 2014

DOI: 10.4236/health.2014.616243 7,146 Downloads 9,955 Views Citations
This article belongs to the Special Issue on Advances in Dental Health
Method Development and Validation for Simultaneous Estimation of Montelukast Sodium and Desloratadine by RP-HPLC (Articles)

Bonthu Mohan Gandhi, Atmakuri Lakshmana Rao, Jangala Venkateswara Rao

American Journal of Analytical Chemistry Vol.6 No.8, July 13, 2015

DOI: 10.4236/ajac.2015.68063 4,226 Downloads 7,307 Views Citations
Validation of General Climate Models (GCMs) over Upper Blue Nile River Basin, Ethiopia (Articles)

Andualem Shigute Bokke, Meron Teferi Taye, Patrick Willems, Shimelis Asefu Siyoum

Atmospheric and Climate Sciences Vol.7 No.1, January 19, 2017

DOI: 10.4236/acs.2017.71006 1,959 Downloads 3,876 Views Citations
Calibration and Validation of Decision Support System for Agro-Technology Transfer Model for Simulating Growth and Yield of Maize in Bangladesh (Articles)

F. Ahmed, Apurba K. Choudhury, S. Akhter, M. A. Aziz, Jatish C. Biswas, M. Maniruzzaman, M. Main Uddin Miah, M. M. Rahman, M. A. H. S. Jahan, Imrul Mosaddek Ahmed, R. Sen, S. Ishtiaque, A. F. M. Tariqul Islam, M. M. Haque, M. Belal Hossain, Naveen Kalra, M. Hafijur Rahman

American Journal of Plant Sciences Vol.8 No.7, June 23, 2017

DOI: 10.4236/ajps.2017.87113 2,177 Downloads 5,562 Views Citations
Analysis of Various Quality Attributes of Sunflower and Soybean Plants by Near Infrared Reflectance Spectroscopy: Development and Validation Calibration Models (Articles)

Uttam Saha, Dinku Endale, P. Glynn Tillman, W. Carroll Johnson, Julia Gaskin, Leticia Sonon, Harry Schomberg, Yuangen Yang

American Journal of Analytical Chemistry Vol.8 No.7, July 7, 2017

DOI: 10.4236/ajac.2017.87035 1,913 Downloads 4,863 Views Citations
Validation of an Analytical Method Based on High-Performance Liquid Chromatography for the Determination of Retinol in Chicken Liver (Articles)

Rodrigo Albert Baracho Rüegg, Roberto Dimenstein

Open Access Library Journal Vol.7 No.7, July 21, 2020

DOI: 10.4236/oalib.1106181 587 Downloads 2,848 Views Citations
Development and Validation Analysis of Redeemer’s University Alexithymia Scale (RUNAS) (Articles)

Ibukunoluwa Busayo Bello, Ebenezer Olutope Akinnawo, Bede Chinonye Akpunne, Abayomi Olubanjo Olusa

Psychology Vol.13 No.3, March 31, 2022

DOI: 10.4236/psych.2022.133031 351 Downloads 1,407 Views Citations
Translation and Validation of Malay Version 5-Items Brief Illness Perception Questionnaire, BIP-Q5 towards COVID-19 among Malaysian Nurses (Articles)

Hafizah Pasi, Nor Azam Kamaruzaman, Nadzirah Ahmad Basri, Nur Hakimah A. Manan, Hashima E. Nasreen

Advances in Infectious Diseases Vol.12 No.3, July 27, 2022

DOI: 10.4236/aid.2022.123030 286 Downloads 1,380 Views Citations
Validation of a Stability-Indicating Assay Method for the Determination of Ibuprofen in a Tablet Formulation (Articles)

Adjoa Marcelle Yao, Djedjro Franck Meless, Sawa Andre Kpaibe, Linda Hé, Eyou Florent Missa, Awa Nakognon Tuo, Jean Simon Yao, Nina Ablé, N’cho Christophe Amin

American Journal of Analytical Chemistry Vol.16 No.12, December 12, 2025

DOI: 10.4236/ajac.2025.1612017 99 Downloads 770 Views Citations
Probabilistic Verification over GF(2m) Using Mod2-OBDDs (Articles)

J.L. Imana

Intelligent Information Management Vol.2 No.2, March 16, 2010

DOI: 10.4236/iim.2010.22012 3,844 Downloads 7,320 Views Citations

First <...91011 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies