New Trends in Software Methodologies, Tools and Techniques

by Fujita, Hamido; INTERNATIONAL WORKSHOP ON LYEE METHODOLO; Fujita, Hamido; Johannesson, Paul

• ISBN13: 9781586033743
• ISBN10: 1586033743
• Format: Hardcover
• Copyright: 2003-12-01
• Publisher: Ios Pr Inc

Summary

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 book is an attempt to capture the essence of a new state of art in software science and its supporting technology. The book also aims at identifying the challenges such a technology has to master. One example that is challenged is Lyee methodology as a new Japanese emerged software methodology that has been patented in several countries in Europe, Asia, and America. But it is still in its early stage of emerging as a new software style. This series will also contribute to elaborate on such new trends and related academic research studies and development.

Table of Contents

Preface	p. v
Conference Organisation	p. vii
Invited Presentation
Ontology Development	p. 3
Ontology and Software Requirement
Some Philosophical Observations on the Nature of Software and their Implications for Requirement Engineering	p. 29
Vademecum for the Requirements Designer	p. 39
An Ontology of Descriptions and Situations for Lyee's Hypothetical World	p. 53
Ontology, Step by Step	p. 60
A Logical Representation of the Emergence of Intention	p. 71
Gesture and Intuition	p. 78
Conceptual Software Models
The Logic of Planning for Real Applications and Software Development	p. 87
Studying Autonomy of Lyee Program	p. 101
Some Applications of a Linguistics Method Related to Lyee	p. 112
Software Engineering and Applications
"Getting the Right Words" - A User Integrated Approach	p. 123
A User Requirement Acquisition Method Based on Word-Units for a User Development Environment	p. 137
Information System Design with Lyee as a Persistent Multi-Viewpoints Requirements Elicitation Process	p. 145
Boundary Software and Software Architecture
A Framework for User Accessible Boundary Software	p. 157
Some Considerations on Interfaces for Users and System Components	p. 167
Component based Programming with the Lyee Methodology	p. 180
Automatic Software Generation and Requirement Verification
Generalised Inductive Proving of Design Correctness	p. 189
Ambiguity Hidden in Traditional Programs and Meaning of Vectors of LYEE	p. 200
The Lyee Programming Model: Analysis and Correctness in a Fixed-Point Setting	p. 214
Briging High-Level Enterprise Models to Implementation-Oriented Models	p. 225
Software Analysis and Legacy Systems
Lyee Methodology: A Formalization Using Process Algebra	p. 235
Legacy System Program Transformation by Lyee Methodology	p. 262
Requirement Engineering and Meta Models
Representation and Coverage Characteristics of WYSIWYT for Lyee	p. 287
L'E-Lyee: Coupling L'Ecritoire and Lyee	p. 303
Process of Mapping between User Centric Concepts and Lyee Internal Concepts	p. 320
Software Configuration Management and Tools
Aspects of Lyee Configuration Management	p. 339
Application Fields of the Lyee Technology - Comparison of Lyee and Catalysis	p. 353
Some Principal Limitations of the LyeeAll Technology	p. 365
Author Index	p. 373
Table of Contents provided by Rittenhouse. All Rights Reserved.