By Topic

# IET Software

## Filter Results

Displaying Results 1 - 6 of 6
• ### Iterative criteria-based approach to engineering the requirements of software development methodologies

Publication Year: 2010, Page(s):91 - 104
Cited by:  Papers (2)
| | PDF (492 KB)

Software engineering endeavours are typically based on and governed by the requirements of the target software; requirements identification is therefore an integral part of software development methodologies. Similarly, engineering a software development methodology (SDM) involves the identification of the requirements of the target methodology. Methodology engineering approaches pay special atten... View full abstract»

• ### Framework for high-quality software design and development: a systematic approach

Publication Year: 2010, Page(s):105 - 118
| | PDF (668 KB)

Software design and development coexist and co-evolve with quality provision, assessment and enforcement. However, most and also modern research provides only bread-and-butter lists of useful properties without giving a systematic structure for evaluating them. Software engineers have been putting forward several three-score quantities of metrics for software products, processes and resources wh... View full abstract»

• ### Design tool to express failure detection protocols

Publication Year: 2010, Page(s):119 - 133
Cited by:  Papers (1)
| | PDF (1154 KB)

Failure detection protocols - a fundamental building block for crafting fault-tolerant distributed systems - are in many cases described by their authors making use of informal pseudo-codes of their conception. Often these pseudo-codes use syntactical constructs that are not available in COTS programming languages such as C or C++. This translates into informal descriptions that call for ad hoc in... View full abstract»

• ### Assessing communication media richness in requirements negotiation

Publication Year: 2010, Page(s):134 - 148
Cited by:  Papers (2)
| | PDF (579 KB)

A critical claim in software requirements negotiation regards the assertion that group performances improve when a medium with different richness level is used. Accordingly, the authors have conducted a study to compare traditional face-to-face communication, the richest medium and two less rich communication media, namely a distributed three-dimensional virtual environment and a text-based struct... View full abstract»

• ### Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements

Publication Year: 2010, Page(s):149 - 160
Cited by:  Papers (1)
| | PDF (505 KB)

Formal methods have long been advocated for the development of provably secure software. However, the lack of formal requirements elaboration and the limited scalability afforded by such methods have led to employing informal or semi-formal methods for large-scale software development. In our effort to produce highly secure software in a systematic, provable and cost-effective manner, the authors ... View full abstract»

• ### Understanding the complexity embedded in large routine call traces with a focus on program comprehension tasks

Publication Year: 2010, Page(s):161 - 177
Cited by:  Papers (1)
| | PDF (263 KB)

The analysis of execution traces has been shown to be useful in many software maintenance activities that require a certain understanding of the systems' behaviour. Traces, however, are extremely large, hence are difficult for humans to analyse without effective tools. These tools usually support some sort of trace abstraction techniques that can help users understand the essence of a trace despit... View full abstract»

## Aims & Scope

IET Software publishes papers on all aspects of the software lifecycle, including design, development, implementation and maintenance.

Full Aims & Scope

## Meet Our Editors

Publisher
IET Research Journals
iet_sen@theiet.org