Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
(Articles)
Nadeem Akhtar
,
Muhammad Nauman
Journal of Software Engineering and Applications
Vol.8 No.2
,February 12, 2015
DOI:
10.4236/jsea.2015.82006
3,054
Downloads
3,948
Views
Citations
Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes
(Articles)
Ednah Olubunmi Aliyu
Journal of Software Engineering and Applications
Vol.16 No.6
,June 28, 2023
DOI:
10.4236/jsea.2023.166010
132
Downloads
622
Views
Citations
A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification
(Articles)
Tim Warnecke
Engineering
Vol.7 No.10
,October 26, 2015
DOI:
10.4236/eng.2015.710056
2,786
Downloads
3,381
Views
Citations
White Noise Analysis: A Measure of Time Series Model Adequacy
(Articles)
Imoh Udo Moffat
,
Emmanuel Alphonsus Akpan
Applied Mathematics
Vol.10 No.11
,November 21, 2019
DOI:
10.4236/am.2019.1011069
1,350
Downloads
6,411
Views
Citations
PLC Modeling and Checking Based on Formal Method
(Articles)
Yueshan Zheng
,
Guiming Luo
,
Junbo Sun
,
Junjie Zhang
,
Zhenfeng Wang
Journal of Software Engineering and Applications
Vol.3 No.11
,November 29, 2010
DOI:
10.4236/jsea.2010.311124
8,174
Downloads
16,019
Views
Citations
Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs
(Articles)
Trinh Cong Duy
,
Nguyen Thanh Binh
,
Ioannis Parissis
Journal of Software Engineering and Applications
Vol.6 No.10A
,October 4, 2013
DOI:
10.4236/jsea.2013.610A004
4,526
Downloads
7,055
Views
Citations
This article belongs to the Special Issue on
Software Testing
Analysis of Security of Quantum Key Distribution Based on Entangled Photon Pairs by Model Checking
(Articles)
Surapol Rochanapratishtha
,
Wanchai Pijitrojana
Journal of Quantum Information Science
Vol.5 No.3
,September 16, 2015
DOI:
10.4236/jqis.2015.53012
3,830
Downloads
4,857
Views
Citations
Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks
(Articles)
Koichi Kobayashi
,
Kunihiko Hiraishi
Applied Mathematics
Vol.7 No.15
,September 16, 2016
DOI:
10.4236/am.2016.715146
1,431
Downloads
2,280
Views
Citations
Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study
(Articles)
Koki Hamaya
,
Satoshi Yamane
Journal of Software Engineering and Applications
Vol.10 No.2
,February 21, 2017
DOI:
10.4236/jsea.2017.102009
1,625
Downloads
3,380
Views
Citations
Formal Modeling and Analysis of AADL Threads in Real Time Maude
(Articles)
F. Belala
,
M. Benammar
,
K. Barkaoui
,
A. Hicheur
Journal of Software Engineering and Applications
Vol.5 No.12B
,January 25, 2013
DOI:
10.4236/jsea.2012.512B036
3,721
Downloads
5,178
Views
Citations
A Quantitative Analysis of Collision Resolution Protocol for Wireless Sensor Network
(Articles)
Reema Patel
,
Dhiren Patel
Journal of Software Engineering and Applications
Vol.8 No.8
,August 13, 2015
DOI:
10.4236/jsea.2015.88036
3,977
Downloads
4,818
Views
Citations
Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata
(Articles)
Ryo Yanase
,
Tatsunori Sakai
,
Makoto Sakai
,
Satoshi Yamane
Journal of Software Engineering and Applications
Vol.9 No.9
,September 30, 2016
DOI:
10.4236/jsea.2016.99030
1,554
Downloads
2,343
Views
Citations
This article belongs to the Special Issue on
Formal Methods
Mathematical Modeling and Software Application of Blood Flow for Therapeutic Management of Stroke
(Articles)
Babagana Gutti
,
Alfred A. Susu
,
Olufemi A. Fasanmade
Engineering
Vol.4 No.4
,April 26, 2012
DOI:
10.4236/eng.2012.44030
4,115
Downloads
6,729
Views
Citations
A Model for Software Product Quality Prediction
(Articles)
Brijendra Singh
,
Suresh Prasad Kannojia
Journal of Software Engineering and Applications
Vol.5 No.6
,June 19, 2012
DOI:
10.4236/jsea.2012.56046
6,225
Downloads
10,661
Views
Citations
Developing a Scoring Model to Evaluate Project Management Software Packages Based on ISO/IEC Software Evaluation Criterion
(Articles)
Hani M. Gharaibeh
Journal of Software Engineering and Applications
Vol.7 No.1
,January 17, 2014
DOI:
10.4236/jsea.2014.71004
8,760
Downloads
11,818
Views
Citations
A Framework for Software Defect Prediction Using Neural Networks
(Articles)
Vipul Vashisht
,
Manohar Lal
,
G. S. Sureshchandar
Journal of Software Engineering and Applications
Vol.8 No.8
,August 24, 2015
DOI:
10.4236/jsea.2015.88038
4,673
Downloads
6,434
Views
Citations
Software Measurement Methods: An Analysis of Two Designs
(Articles)
Jean-Marc Desharnais
,
Alain Abran
Journal of Software Engineering and Applications
Vol.5 No.10
,October 31, 2012
DOI:
10.4236/jsea.2012.510092
6,304
Downloads
9,786
Views
Citations
Quantifying Reusability of Object Oriented Design: A Testability Perspective
(Articles)
Mahfuzul Huda
,
Yagya Dutt Sharma Arya
,
Mahmoodul Hasan Khan
Journal of Software Engineering and Applications
Vol.8 No.4
,April 14, 2015
DOI:
10.4236/jsea.2015.84018
4,516
Downloads
5,842
Views
Citations
A Reference Model for the Analysis and Comparison of MDE Approaches for Web-Application Development
(Articles)
João de Sousa Saraiva
,
Alberto Rodrigues da Silva
Journal of Software Engineering and Applications
Vol.3 No.5
,May 24, 2010
DOI:
10.4236/jsea.2010.35047
6,135
Downloads
10,483
Views
Citations
FOTool: Modelling Indigenous Community Cultures in Sarawak
(Articles)
Edwin Mit
,
Ng Bong Ding
,
Cheah Wai Shiang
Journal of Software Engineering and Applications
Vol.7 No.8
,July 25, 2014
DOI:
10.4236/jsea.2014.78067
2,909
Downloads
3,767
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top