Reset
Showing 20 of 9,045 academic articles

One roof, two thermal modes

Ningning Cao, Changqing Ye, Yifan Zhang, Xudong Xiang et al. • DeCarbon (2026)

While seasonally fixed passive coolers provide thermal relief during heat-stress periods, their intrinsic mechanism of continuous heat dissipation renders them inherently thermally penalizing during the heating season. Here, we report and h...

DOAJ Open Access (DOAJ) DOI: 10.1016/j.decarb.2026.100191

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

Experimental study on start-up and steady-state heat transfer performance of heat pipe with liquid bypass line for accelerating working fluid

Youngmi Baek, Euiguk Jung • Case Studies in Thermal Engineering (2022)

This study investigates the start-up and steady-state heat transfer performance of a heat pipe with a bypass line for accelerating a working fluid. The interface resistance by the counterflow of vapor and liquid under the operation of a hea...

DOAJ Open Access (DOAJ) DOI: 10.1016/j.csite.2021.101708

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

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

Software Engineering Project Management

• Institute of Electrical and Electronics Engineers eBooks (2011)

From the Publisher: The 2nd edition of Thayer's popular, bestselling book presents a top-down practical view of managing a successful software engineering project. The book builds on a framework for project managements activities based on ...

OPENALEX DOI: https://doi.org/10.1109/9781118156629.ch13

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

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

Cleanroom Software Engineering

Harlan D. Mills, Michael Dyer, R.C. Linger • IEEE Software (1987)

Software quality can be engineered under statistical quality control and delivered with better quality. The Cleanroom process gives management an engineering approach to release reliable products....

OPENALEX Open Access DOI: https://doi.org/10.1109/ms.1987.231413

Agent-based software engineering

Michael Wooldridge • IEE Proceedings - Software Engineering (1997)

The technology of intelligent agents and multi-agent systems is expected to alter radically the way in which complex, distributed, open systems are conceptualised and implemented. The paper considers the problem of building a multi-agent sy...

OPENALEX DOI: https://doi.org/10.1049/ip-sen:19971026