Reset
Showing 20 of 7,048 academic articles

An automated qualitative analysis of real-time systems using Timed Petri net and SPIN

Tanuja Shailesh, Ashalatha Nayak, Devi Prasad • Cogent Engineering (2024)

Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is...

DOAJ Open Access (DOAJ) DOI: 10.1080/23311916.2024.2375100

Model Optimasi SVM Dengan PSO-GA dan SMOTE Dalam Menangani High Dimensional dan Imbalance Data Banjir

Raenald Syaputra, Taghfirul Azhima Yoga Siswa, Wawan Joko Pranoto • Teknika (2024)

Banjir merupakan salah satu bencana alam yang sering terjadi di Indonesia, termasuk di Kota Samarinda dengan 18-33 titik desa terdampak dari tahun 2018-2021. Penggunaan machine learning dalam mengklasifikasi bencana banjir sangat penting un...

DOAJ Open Access (DOAJ) DOI: 10.34148/teknika.v13i2.876

A deep learning recognition model for landslide terrain based on multi-source data fusion

Jian HUANG, Xin LI, Fang CHEN, Ru CUI et al. • Zhongguo dizhi zaihai yu fangzhi xuebao (2022)

The traditional high-level remote landslide recognition efficiency which relies on the artificial discrimination of geological experts is low. In this paper, an automatic landslide terrain recognition model based on deep learning is develop...

DOAJ Open Access (DOAJ) DOI: 10.16031/j.cnki.issn.1003-8035.2022.02-05

MacroSwarm: A Field-based Compositional Framework for Swarm Programming

Gianluca Aguzzi, Roberto Casadei, Mirko Viroli • Logical Methods in Computer Science (2025)

Swarm behaviour engineering is an area of research that seeks to investigate methods and techniques for coordinating computation and action within groups of simple agents to achieve complex global goals like pattern formation, collective mo...

DOAJ Open Access (DOAJ) DOI: 10.46298/lmcs-21(3:13)2025

Non-Motorized License Plate Recognition and Localization Method Based on Semantic Alignment and Hierarchical Optimization

TAN Ruoqi, DONG Minggang, ZHAO Weixiao, WU Tianhao • Jisuanji gongcheng (2024)

Holding non-motorized vehicles accountable for legal violations effectively enhances urban traffic safety. Non-motorized vehicle license plates are characterized by small size, dense distribution, and ease of being obscured, which leads to ...

DOAJ Open Access (DOAJ) DOI: 10.19678/j.issn.1000-3428.0068590

A Novel Construction Method of Bayesian Neural Networks Based on Multi-type Engineering Knowledge

Wenbin Ye, YanZhou Duan, Jun Yuan, Jixu Wang et al. • International Journal of Computational Intelligence Systems (2026)

Abstract In the field of engineering, the utilization of surrogate models to replace computationally intensive simulation software has become a widely adopted approach. However, when addressing complex engineering problems, the costs of sim...

DOAJ Open Access (DOAJ) DOI: 10.1007/s44196-026-01214-1

Empirical studies of software engineering

Dewayne E. Perry, Adam Porter, Lawrence G. Votta • Future of Software Engineering (FOSE) (2000)

PointersEmpirical study play a fundamental role in modern science, helping us understand how and why things work, and allowing us to use this understanding to materially alter our world.Defining and executing studies that change how softwar...

OPENALEX Open Access DOI: https://doi.org/10.1145/336512.336586

Beginning Software Engineering

Rod Stephens • Wiley eBooks (2012)

Beginning Software Engineering demystifies the software engineering methodologies and techniques that professional developers use to design and build robust, efficient, and consistently reliable software. Free of jargon and assuming no prev...

OPENALEX DOI: https://doi.org/10.1002/9781119209515

Collaboration in Software Engineering: A Roadmap

Jim Whitehead • Future of Software Engineering (FOSE) (2007)

Software engineering projects are inherently cooperative, requiring many software engineers to coordinate their efforts to produce a large software system. Integral to this effort is developing shared understanding surrounding multiple arti...

OPENALEX DOI: https://doi.org/10.1109/fose.2007.4

Software engineering: Theory and practice

Rodolfo Alfredo Bertone • Journal of Computer Science and Technology (2005)

A book that describes and applies Software Engineering methods according to the state of the art of the subject matter; it is integrated with a proper exemplification and evolves as each topic is introduced. The material is designed for und...

OPENALEX cc-by-nc-sa

Software engineering for security

Prémkumar Dévanbu, Stuart G. Stubblebine • Future of Software Engineering (FOSE) (2000)

Integrating Security Considerations smoothly into early life-cycle activities: uniform application of cost-benefit analyses to both functional, and security requrements; unified modeling approaches to integrate the engineering of both funct...

OPENALEX Open Access DOI: https://doi.org/10.1145/336512.336559