New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT 06

✍ Scribed by H. Fujita and M. Mejri, Editors

• Publisher: IOS Press
• Year: 2006
• Tongue: English
• Leaves: 493
• Series: Frontiers in Artificial Intelligence and Applications 147
• Category: Library

✦ Synopsis

Software is the essential enabler for the new economy and science. It creates new markets and new directions for a more reliable, flexible, and robust society. It empowers the exploration of our world in ever more depth. However, software often falls short behind our expectations. Current software methodologies, tools and techniques remain expensive and not yet reliable for a highly changeable and evolutionary market. Many approaches have been proven only as case-by-case oriented methods. This book presents a number of new trends and theories in the direction in which we believe software science and engineering may develop to transform the role of software and science in tomorrow's information society. This publication is an attempt to capture the essence of a new state-of-art in software science and its supporting technology. Is also aims at identifying the challenges such a technology has to master.

✦ Table of Contents

Title page......Page 2
Preface......Page 6
SoMeT Organization......Page 10
Contents......Page 12
Software Specification and Comprehension Models......Page 16
Component Interface Documentation: What Do We Need and Why Do We Need It?......Page 18
Visualization Techniques for Program Comprehension: A Literature Review......Page 37
Supporting Program Comprehension for Refactoring Operations with Annotations......Page 63
Software Development and Related Methodologies......Page 84
On Specifying Systems that Connect to the Physical World......Page 86
A Framework to Support Non-Fragile Agile Agent-Oriented Software Development......Page 99
Information Processing and the Recovery of Argument Structure Asymmetries......Page 116
System Development Life-Cycle Support for Service-Oriented Applications......Page 131
How to Create the Magic Wand? Currently Implementable Formulation of the Problem......Page 142
Transforming a Non-Software Company to a Software Company by Exploiting the LYEE Methodology......Page 148
Comparing Approaches in AORE Through ISO/IEC 9126......Page 161
Network Security and Applications......Page 172
A Formal Approach for the Forensic Analysis of Logs......Page 174
Common Criteria Approach to J2ME CLDC Security Requirements......Page 192
Enforcing Security Policies on Programs......Page 210
Software Security and Program Bugs......Page 224
Software Profiling for Deterministic Replay Debugging of User Code......Page 226
Source Code Verification Tools for Software Security Bugs......Page 246
Validation and Diagnosis and Practical Artefacts on Software Security......Page 258
Theory on Software Diagnosis for Program Code Validation......Page 260
A Decision Procedure for Structured Cryptographic Protocols......Page 287
Unified OTP Cryptosystem with Authentication and Secrecy......Page 302
A Calculus for Distributed Firewall Specification and Verification......Page 316
Program Conversion and Related Software Validation......Page 332
A Formal Translation from an Imperative Language with Array to a Declarative Language......Page 334
Verification of the Lyee Requirement......Page 355
Intelligent Software Design and Maintenance......Page 378
Enhancing and Parallelizing Legacy Software for Medical Imaging - A Case Study......Page 380
Towards Autonomic Computing: Injecting Self-Organizing and Self-Healing Properties into Java Programs......Page 399
A New Way of Automatic Design of Software (Simulating Human Intentional Activity)......Page 422
End User Requirement Engineering and Testing......Page 436
Towards Developing Adjustable Software: A Case Study with the Lyee Approach......Page 438
A Framework for Predicting Person-Effort on Requirements Changes......Page 454
FOOD: An Intermediate Model for Automated Refactoring......Page 467
Improving Software Test Processes......Page 477
Author Index......Page 490