Formal Methods in Software Engineering - Articles - Scientific Research Publishing

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,488 Downloads 7,126 Views Citations
Realization of Rough Set Approximation Toplogical Operations Based on Formal Concept Analysis (Articles)

Huilai Zhi

International Journal of Intelligence Science Vol.4 No.3，July 4, 2014

DOI: 10.4236/ijis.2014.43008 2,908 Downloads 4,136 Views Citations
Diglossia in the Arab World
—Educational Implications and Future Perspectives (Articles)

Christopher Horn

Open Journal of Modern Linguistics Vol.5 No.1，February 17, 2015

DOI: 10.4236/ojml.2015.51009 7,720 Downloads 11,551 Views Citations
Formal-Informal Credit Market Interlinkage and Development Policies: A General Equilibrium Analysis (Articles)

Rakhi Banerjee, Ranjanendra Narayan Nag

Modern Economy Vol.6 No.8，August 20, 2015

DOI: 10.4236/me.2015.68086 4,021 Downloads 5,702 Views Citations
Fuzzy Semantics of Contract Language (Articles)

Hengyang Wu, Yixiang Chen

Applied Mathematics Vol.7 No.5，March 18, 2016

DOI: 10.4236/am.2016.75039 2,377 Downloads 3,443 Views Citations
This article belongs to the Special Issue on Fuzzy Mathematics and Its Applications
Architectural Composition: A Systematic Method to Define a List of Visual Attributes (Articles)

Seyed Farhad Tayyebi, Yüksel Demir

Art and Design Review Vol.7 No.3，June 11, 2019

DOI: 10.4236/adr.2019.73012 1,229 Downloads 10,249 Views Citations
Using a Low-Cost Playful Strategy to Present Sign Language on Non-Formal Educational Spaces (Articles)

Tathianna Prado Dawes, Gustavo Henrique Varela Saturnino Alves, Helena Carla Castro, Andréia Santos Silva, Lucianne Fragel-Madeira

Creative Education Vol.10 No.6，June 28, 2019

DOI: 10.4236/ce.2019.106092 730 Downloads 1,423 Views Citations
Can Graduating from a Key University Really Increase People’s Market Returns? Evidence from China’s Urban Formal Labor Market (1993-2010) (Articles)

Lan Zhang, Shengmin Pang

Open Journal of Social Sciences Vol.8 No.10，October 15, 2020

DOI: 10.4236/jss.2020.810007 348 Downloads 1,055 Views Citations
Survey of Smart Contract Technology and Application Based on Blockchain (Articles)

Somboun Tern

Open Journal of Applied Sciences Vol.11 No.10，October 29, 2021

DOI: 10.4236/ojapps.2021.1110085 671 Downloads 3,284 Views Citations
Expansion in the Retail Sector—Market Entry Strategies in Consideration of Formal and Informal Institutions: A Tesco Case Study (Articles)

Daniel Krummel

Open Access Library Journal Vol.9 No.2，February 14, 2022

DOI: 10.4236/oalib.1108377 736 Downloads 9,603 Views Citations
Emotion Work and Scale in Sociocultural Bicycle Advocacy and Transportation Literature (Articles)

Rebecca van Stokkum

Open Journal of Social Sciences Vol.10 No.12，November 29, 2022

DOI: 10.4236/jss.2022.1012039 149 Downloads 730 Views Citations
On Some Problems of Extracting the Root from a Given Finite Language (Articles)

Boris F. Melnikov, Aleksandra A. Melnikova

Journal of Applied Mathematics and Physics Vol.11 No.5，May 31, 2023

DOI: 10.4236/jamp.2023.115096 120 Downloads 357 Views Citations
Systematic Method for Constructing Lewis Representations (Articles)

Lahbib Abbas, Lahcen Bih, Khalid Yamni, Abderrahim Elyahyaouy, Abdelmalik El Attaoui, Zahra Ramzi

Open Journal of Inorganic Chemistry Vol.14 No.1，January 31, 2024

DOI: 10.4236/ojic.2024.141001 131 Downloads 439 Views Citations
Two Competing Views on Formal Principles (Articles)

Alexandre Travessoni Gomes Trivisonno, Júlio Aguiar de Oliveira

Beijing Law Review Vol.15 No.3，September 26, 2024

DOI: 10.4236/blr.2024.153091 60 Downloads 488 Views Citations
Formal Logical Arguments in Islamic Law (Articles)

Rehan Rafique

Open Journal of Philosophy Vol.15 No.1，February 13, 2025

DOI: 10.4236/ojpp.2025.151010 51 Downloads 272 Views Citations
Pathways to Formalization: Exploring Support Systems for Informal Micro-Entrepreneurs in the Metal Manufacturing Sector in Zimbabwe (Articles)

Onias Sanangura, Bupe Getrude Mutono-Mwanza

Open Journal of Business and Management Vol.13 No.3，May 14, 2025

DOI: 10.4236/ojbm.2025.133086 5 Downloads 31 Views Citations
PHYLIP-GUI-Tool (PHYGUI): adapting the functions of the graphical user interface for the PHYLIP package (Articles)

Yukinori Eguchi

Journal of Biomedical Science and Engineering Vol.4 No.2，February 25, 2011

DOI: 10.4236/jbise.2011.42012 4,529 Downloads 9,075 Views Citations
Defect Prediction Leads to High Quality Product (Articles)

Naheed Azeem, Shazia Usmani

Journal of Software Engineering and Applications Vol.4 No.11，November 21, 2011

DOI: 10.4236/jsea.2011.411075 5,993 Downloads 11,032 Views Citations
Role of Software Reliability Models in Performance Improvement and Management (Articles)

Padmanabha Aital, P. Sashikala

Journal of Software Engineering and Applications Vol.5 No.9，September 14, 2012

DOI: 10.4236/jsea.2012.59086 5,169 Downloads 8,457 Views Citations
Using the ISO 19761 COSMIC Measurement Standard to Reduce “Information Asymmetry” in Software Development Contracts and Enable Greater Competitiveness (Articles)

Francisco Valdés Souto, Alain Abran

Technology and Investment Vol.4 No.4，November 8, 2013

DOI: 10.4236/ti.2013.44031 5,129 Downloads 7,302 Views Citations

<...789 ...>

	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