Reset
Showing 20 of 12,051 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 database of experimentally measured lithium solid electrolyte conductivities evaluated with machine learning

Cameron J. Hargreaves, Michael W. Gaultois, Luke M. Daniels, Emma J. Watts et al. • npj Computational Materials (2023)

Abstract The application of machine learning models to predict material properties is determined by the availability of high-quality data. We present an expert-curated dataset of lithium ion conductors and associated lithium ion conductivit...

DOAJ Open Access (DOAJ) DOI: 10.1038/s41524-022-00951-z

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

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

Preliminary guidelines for empirical research in software engineering

Barbara Ann Kitchenham, Shari Lawrence Pfleeger, Lesley M. Pickard, Peter W. Jones et al. • IEEE Transactions on Software Engineering (2002)

Empirical software engineering research needs research guidelines to improve the research and reporting processes. We propose a preliminary set of research guidelines aimed at stimulating discussion among software researchers. They are base...

OPENALEX Open Access DOI: https://doi.org/10.1109/tse.2002.1027796

Software engineering education

Mary Shaw • Future of Software Engineering (FOSE) (2000)

Article Free Access Share on Software engineering education: a roadmap Author: Mary Shaw Institute for Software Research, International, Carnegie Mellon University, Pittsburgh, Pa Institute for Software Research, International, Carnegie Mel...

OPENALEX DOI: https://doi.org/10.1145/336512.336592

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

Rethinking Productivity in Software Engineering

Caitlin Sadowski, Thomas Zimmermann • Apress eBooks (2019)

This open access book collects the wisdom of the 2017 Dagstuhl seminar on productivity in software engineering. It includes chapters on definitions and core concepts related to guidelines for measuring productivity in specific contexts, bes...

OPENALEX cc-by-nc-nd DOI: https://doi.org/10.1007/978-1-4842-4221-6

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

Case Study Research in Software Engineering

Per Runeson, Martin Höst, Austen Rainer, Björn Regnell • Wiley eBooks (2012)

Based on their own experiences of in-depth case studies of software projects in international corporations, in this book the authors present detailed practical guidelines on the preparation, conduct, design and reporting of case studies of ...

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

Introduction to Software Engineering

Ronald J. Leach • Chapman & Hall/CRC eBooks (2018)

Practical Guidance on the Efficient Development of High-Quality Software Introduction to Software Engineering, Second Edition equips students with the fundamentals to prepare them for satisfying careers as software engineers regardless of f...

OPENALEX DOI: https://doi.org/10.1201/9781315371665