Formal Methods in Software Engineering - Articles - Scientific Research Publishing

A Mathematical Comparison of the Schwarzschild and Kerr Metrics (Articles)

J.-F. Pommaret

Journal of Modern Physics Vol.11 No.10，October 26, 2020

DOI: 10.4236/jmp.2020.1110104 488 Downloads 1,243 Views Citations
Can Social Donation Increase the R&D Investment of Enterprises?—Analysis from the Perspective of Institutional Environment (Articles)

Mu Xing, Hongmei Zhang

Open Journal of Social Sciences Vol.8 No.12，December 31, 2020

DOI: 10.4236/jss.2020.812035 460 Downloads 1,057 Views Citations
Contributions of the Science Museums for Teacher Education in Brazil (Articles)

Daniela Franco Carvalho

Creative Education Vol.12 No.5，May 28, 2021

DOI: 10.4236/ce.2021.125080 329 Downloads 1,549 Views Citations
This article belongs to the Special Issue on Culture and Education
Inequality in Imagination amongst Marginalised Learners: Teachers Pounding Away with a Hammer (Articles)

Wade Cafun, Labby Ramrathan

Open Journal of Social Sciences Vol.9 No.12，December 21, 2021

DOI: 10.4236/jss.2021.912024 162 Downloads 858 Views Citations
This article belongs to the Special Issue on Learning and Education
A Systematic Review of Perception of E-Learning Users in Formal Education during COVID-19 Pandemic (Articles)

Wendy Kulan Anak Igai, Melor Md. Yunus

Creative Education Vol.13 No.6，June 27, 2022

DOI: 10.4236/ce.2022.136123 411 Downloads 1,805 Views Citations
Application and Popularization of Formal Calculation (Articles)

Ji Peng

Open Access Library Journal Vol.9 No.11，November 28, 2022

DOI: 10.4236/oalib.1109483 47 Downloads 475 Views Citations
Relative Ding Projective Modules over Formal Triangular Matrix Rings (Articles)

Hongyan Fan, Xi Tang

Journal of Applied Mathematics and Physics Vol.11 No.6，June 28, 2023

DOI: 10.4236/jamp.2023.116105 126 Downloads 414 Views Citations
A Generic Intelligent Agent Design Approach Based on Artificial Neural Networks (Articles)

Thierry Noulamo, Alain Djimeli-Tsajio, Roger Kameugne, Jean-Pierre Lienou

World Journal of Engineering and Technology Vol.11 No.4，October 7, 2023

DOI: 10.4236/wjet.2023.114046 163 Downloads 848 Views Citations
On the Non-Observational Character of Practical Knowledge (Articles)

Guxing Chen

Open Journal of Social Sciences Vol.12 No.3，March 7, 2024

DOI: 10.4236/jss.2024.123001 454 Downloads 1,039 Views Citations
The “Lost Cause Myth” and Its Representation in Cinema (Articles)

Colin K. Touhy

Open Journal of Social Sciences Vol.12 No.3，March 13, 2024

DOI: 10.4236/jss.2024.123007 157 Downloads 1,045 Views Citations
Food Hygiene and Safety Practices amongst Food Vendors in the Western Area, Sierra Leone (Articles)

Philip John Kanu, Hamid Turay

Food and Nutrition Sciences Vol.15 No.6，June 26, 2024

DOI: 10.4236/fns.2024.156028 237 Downloads 2,772 Views Citations
Formal and Informal Social Support and Teacher’s Growth after Being Exposed to Violence Against Them (Articles)

Shiran German Ben-Hayun, Leehu Zysberg

Psychology Vol.15 No.11，November 29, 2024

DOI: 10.4236/psych.2024.1511104 78 Downloads 429 Views Citations
Collective Strength: The Role of Self-Help Groups in Enhancing the Livelihoods of Women Waste Pickers. Case Study: “Recyclage Solidaire” Douala, Cameroon (Articles)

Sophie Ebot Agborabang, Akemi Ori

Open Journal of Social Sciences Vol.13 No.1，January 26, 2025

DOI: 10.4236/jss.2025.131021 37 Downloads 188 Views Citations
Research on Software Production Support Structure (Articles)

Jiangping WAN

Journal of Software Engineering and Applications Vol.2 No.3，October 23, 2009

DOI: 10.4236/jsea.2009.23025 8,455 Downloads 13,740 Views Citations
A Bivariate Software Reliability Model with Change-Point and Its Applications (Articles)

Shinji Inoue, Shigeru Yamada

American Journal of Operations Research Vol.1 No.1，March 25, 2011

DOI: 10.4236/ajor.2011.11001 7,004 Downloads 13,210 Views Citations
The Analysis and Proposed Modifications to ISO/IEC 25030—Software Engineering—Software Quality Requirements and Evaluation—Quality Requirements (Articles)

Karen Mou Kui, Khaled Ben Ali, Witold Suryn

Journal of Software Engineering and Applications Vol.9 No.4，April 22, 2016

DOI: 10.4236/jsea.2016.94010 3,313 Downloads 6,050 Views Citations
Call for Implementation: A New Software Development Mode for Leveraging the Resources of Open Community (Articles)

Weiping Li, Weijie Chu, Ying Liu

Journal of Software Engineering and Applications Vol.2 No.1，April 16, 2009

DOI: 10.4236/jsea.2009.21005 5,626 Downloads 9,688 Views Citations
Research on LFS Algorithm in Software Network (Articles)

Wei Wang, Hai Zhao, Hui Li, Jun Zhang, Peng Li, Zheng Liu, Naiming Guo, Jian Zhu, Bo Li, Shuang Yu, Hong Liu, Kunzhan Yang

Journal of Software Engineering and Applications Vol.3 No.2，March 2, 2010

DOI: 10.4236/jsea.2010.32023 5,766 Downloads 9,895 Views Citations
Deriving Software Acquisition Process from Maturity Models—An Experience Report (Articles)

Hussain Alfaraj, Shaowen Qin

Journal of Software Engineering and Applications Vol.3 No.3，April 8, 2010

DOI: 10.4236/jsea.2010.33034 6,982 Downloads 11,620 Views Citations
An Interactive Method for Validating Stage Configuration (Articles)

Abdelrahman Osman Elfaki, Somnuk Phon-Amnuaisuk, Chin Kuan Ho

Journal of Software Engineering and Applications Vol.3 No.6，June 24, 2010

DOI: 10.4236/jsea.2010.36072 4,629 Downloads 8,307 Views Citations

<...141516 ...>

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

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

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

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies