Abstract MARK HARMAN and ROBERT HIERONS review three semantic paradigms for slicing — static, dynamic and conditioned; and two syntactic paradigms — syntax‐preserving and amorphous. Slicing has been applied to many software development problems including testing, reuse, maintenance and evolution. This paper describes the main forms of program slice and some of the applications to…
Software Focus Template
Write in a clean editor, then format for Software Focus in one click — DocuGuru applies the official Wiley template with author–year references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
About the Software Focus format
Software Focus is a peer-reviewed journal published by Wiley, covering Software Engineering Research, Software Reliability and Analysis Research, Software Testing and Debugging Techniques.
| Publisher | Wiley |
|---|---|
| Reference style | Author–year (Chicago) Author–year — (Smith, 2023) in the text Smith, Ada, Ben Jones, and Cara Lee. 2023. "A Representative Article Title." Software Focus 12 (3): 45–58.
Formats any DOI in Software Focus style. No sign-up. |
| Publishes research in | Software Engineering Research Software Reliability and Analysis Research Software Testing and Debugging Techniques Software Engineering Techniques and Practices Distributed and Parallel Computing Systems |
| ISSN | 1529-7942 |
| h-index | 10 |
| i10-index | 11 |
| Total citations | 552 |
| Top institutions publishing here | École Polytechnique Fédérale de Lausanne |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Papers published in Software Focus per year
Citation impact of Software Focus by publication year
Citations each year’s papers have accumulated so far — the most recent years are still building up.
Most-cited papers in Software Focus
Abstract The primary role of component‐based software engineering is to address the development of systems as an assembly of parts (components), the development of parts as reusable entities, and the maintenance and upgrading of systems by customising and replacing such parts. This requires established methodologies and tool support covering the entire component and system lifecycle…
Abstract This paper provides an overview of the Foundation for Intelligent Physical Agents (FIPA) standardisation effort in the area of specifying standards for heterogeneous, interoperating agent‐based systems. JONATHAN DALE and EBRAHIM MAMDANI describe the types of software agents which are of interest to FIPA, the methods by which FIPA members collaborate and produce specifications and…
Abstract With an increasing number of companies and research centers producing Virtual Characters aimed specifically for the Internet, the Web may soon become very much alive with all sorts of interesting and useful creatures guiding us, giving information or simply trying to sell us something. IGOR PANDZIC tries to predict the possible applications for Virtual…
A number of attacks on cryptographic systems depend on measuring physical characteristics of such systems while a given cryptographic operation is carried out. Such measurements could include the time needed to perform certain operations, the power consumed or any electromagnetic radiation produced. As such the physical measurement is producing a side-channel for the cryptographic system…