Annotated bibliography of Software Engineering Laboratory literature

An annotated bibliography of technical papers, documents, and memorandums produced by or related to the Software Engineering Laboratory is given. More than 100 publications are summarized. These publications cover many areas of software engineering and range from research reports to software documentation. All materials have been grouped into eight general subject areas for easy reference: The Software Engineering Laboratory; The Software Engineering Laboratory: Software Development Documents; Software Tools; Software Models; Software Measurement; Technology Evaluations; Ada Technology; and Data Collection. Subject and author indexes further classify these documents by specific topic and individual author

A research review of quality assessment for software

Measures were recommended to assess the quality of software submitted to the AdaNet program. The quality factors that are important to software reuse are explored and methods of evaluating those factors are discussed. Quality factors important to software reuse are: correctness, reliability, verifiability, understandability, modifiability, and certifiability. Certifiability is included because the documentation of many factors about a software component such as its efficiency, portability, and development history, constitute a class for factors important to some users, not important at all to other, and impossible for AdaNet to distinguish between a priori. The quality factors may be assessed in different ways. There are a few quantitative measures which have been shown to indicate software quality. However, it is believed that there exists many factors that indicate quality and have not been empirically validated due to their subjective nature. These subjective factors are characterized by the way in which they support the software engineering principles of abstraction, information hiding, modularity, localization, confirmability, uniformity, and completeness

Methodological study on technology integration for sustainable manufacturing in the surface finishing industry

Today, industries explore advanced techniques to enhance their development efforts to meet the goals of sustainability due to various challenges which is caused by industrial globalization, high energy and raw material costs, increased environmental regulations and social pressures, and new technological innovations. In order for an industrial process to become sustainable, it is essential to improve the process inputs efficiency from raw materials and energy while maintaining highest productivity and quality; in addition to, minimizing waste generation and the impact on the environment. Engaging in industrial sustainability requires major efforts from decision makers to implement advanced technologies to satisfy each triple bottom line of sustainability. Due to the complexity of industrial systems and lack of quantifiable mechanisms to assess sustainability triple bottom lines, decision makers are facing a very difficult task to solve. In this research a holistic methodology for sustainability assessment and decision-making is developed, which will assist in improving the sustainability level through implementing and integrating sustainable technologies in manufacturing systems through case studies, particularly on the electroplating industry. The methodology is general but our intent is to apply it to electroplating metal substrate processes. This research is valuable in its methodological contribution for sustainability assessment, decision-making, and technology quantification via known and well established sustainability metrics to assist decision makers to identify desired technologies needed for improving overall industrial sustainability development. This methodology is applicable for any type of industrial system of any complexity, and its efficacy is demonstrated in a case study identifying desired technologies and their implementation for achieving an overall sustainable level enhancement. Moreover, a computer aided computational tool is developed for industry forecasters to assess their current industrial sustainability and determine future sustainability goals in a quantitative manner using an interactive graphical user interface. To the best of our knowledge the introduced concept of technology integrated sustainability enhancement (TISE) holistic approach is the first to be used to effectively enhance the overall industrial system sustainability by evaluating each technology or suite of technologies based on strategically selected indicators and combined benefits methodology assessment. Furthermore, an optimization based approach was introduced for a proficient sustainability assessment of industrial systems via technology integration. Another major contribution in this research is the development of an industrial sustainability assessment program using LabView software and Matlab programming tools to assess the sustainability of various technology options. The assessment results from this program provide different technology integration options and alternatives which can be compared in terms of sustainability triple bottom lines, overall sustainability performance, and the optimum solution can be identified as the one yielding to the highest sustainability value depending on budget cost limitation to implement those technologies

Engineering simulations for cancer systems biology

Computer simulation can be used to inform in vivo and in vitro experimentation, enabling rapid, low-cost hypothesis generation and directing experimental design in order to test those hypotheses. In this way, in silico models become a scientific instrument for investigation, and so should be developed to high standards, be carefully calibrated and their findings presented in such that they may be reproduced. Here, we outline a framework that supports developing simulations as scientific instruments, and we select cancer systems biology as an exemplar domain, with a particular focus on cellular signalling models. We consider the challenges of lack of data, incomplete knowledge and modelling in the context of a rapidly changing knowledge base. Our framework comprises a process to clearly separate scientific and engineering concerns in model and simulation development, and an argumentation approach to documenting models for rigorous way of recording assumptions and knowledge gaps. We propose interactive, dynamic visualisation tools to enable the biological community to interact with cellular signalling models directly for experimental design. There is a mismatch in scale between these cellular models and tissue structures that are affected by tumours, and bridging this gap requires substantial computational resource. We present concurrent programming as a technology to link scales without losing important details through model simplification. We discuss the value of combining this technology, interactive visualisation, argumentation and model separation to support development of multi-scale models that represent biologically plausible cells arranged in biologically plausible structures that model cell behaviour, interactions and response to therapeutic interventions

Wastewater irrigation and health: assessing and mitigating risk in low-income countries

Wastewater irrigation / Public health / Health hazards / Risk assessment / Epidemiology / Sewage sludge / Excreta / Diseases / Vegetables / Leaf vegetables / Economic impact / Wastewater treatment / Irrigation methods / Developing countries

C to O-O Translation: Beyond the Easy Stuff

Can we reuse some of the huge code-base developed in C to take advantage of modern programming language features such as type safety, object-orientation, and contracts? This paper presents a source-to-source translation of C code into Eiffel, a modern object-oriented programming language, and the supporting tool C2Eif. The translation is completely automatic and supports the entire C language (ANSI, as well as many GNU C Compiler extensions, through CIL) as used in practice, including its usage of native system libraries and inlined assembly code. Our experiments show that C2Eif can handle C applications and libraries of significant size (such as vim and libgsl), as well as challenging benchmarks such as the GCC torture tests. The produced Eiffel code is functionally equivalent to the original C code, and takes advantage of some of Eiffel's object-oriented features to produce safe and easy-to-debug translations

Early aspects: aspect-oriented requirements engineering and architecture design

This paper reports on the third Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, which has been held in Lancaster, UK, on March 21, 2004. The workshop included a presentation session and working sessions in which the particular topics on early aspects were discussed. The primary goal of the workshop was to focus on challenges to defining methodical software development processes for aspects from early on in the software life cycle and explore the potential of proposed methods and techniques to scale up to industrial applications