Sold Out
Book Categories |
Preface | v | |
Conference Organisation | vii | |
Invited Presentation | ||
Ontology Development | 3 | |
Chapter 1 | Ontology and Software Requirement | |
Some Philosophical Observations on the Nature of Software and their Implications for Requirement Engineering | 29 | |
Vademecum for the Requirements Designer | 39 | |
An Ontology of Descriptions and Situations for Lyee's Hypothetical World | 53 | |
Ontology, Step by Step | 60 | |
A Logical Representation of the Emergence of Intention | 71 | |
Gesture and Intuition | 78 | |
Chapter 2 | Conceptual Software Models | |
The Logic of Planning for Real Applications and Software Development | 87 | |
Studying Autonomy of Lyee Program | 101 | |
Some Applications of a Linguistics Method Related to Lyee | 112 | |
Chapter 3 | Software Engineering and Applications | |
"Getting the Right Words" - A User Integrated Approach | 123 | |
A User Requirement Acquisition Method Based on Word-Units for a User Development Environment | 137 | |
Information System Design with Lyee as a Persistent Multi-Viewpoints Requirements Elicitation Process | 145 | |
Chapter 4 | Boundary Software and Software Architecture | |
A Framework for User Accessible Boundary Software | 157 | |
Some Considerations on Interfaces for Users and System Components | 167 | |
Component based Programming with the Lyee Methodology | 180 | |
Chapter 5 | Automatic Software Generation and Requirement Verification | |
Generalised Inductive Proving of Design Correctness | 189 | |
Ambiguity Hidden in Traditional Programs and Meaning of Vectors of LYEE | 200 | |
The Lyee Programming Model: Analysis and Correctness in a Fixed-Point Setting | 214 | |
Briging High-Level Enterprise Models to Implementation-Oriented Models | 225 | |
Chapter 6 | Software Analysis and Legacy Systems | |
Lyee Methodology: A Formalization Using Process Algebra | 235 | |
Legacy System Program Transformation by Lyee Methodology | 262 | |
Chapter 7 | Requirement Engineering and Meta Models | |
Representation and Coverage Characteristics of WYSIWYT for Lyee | 287 | |
L'E-Lyee: Coupling L'Ecritoire and Lyee | 303 | |
Process of Mapping between User Centric Concepts and Lyee Internal Concepts | 320 | |
Chapter 8 | Software Configuration Management and Tools | |
Aspects of Lyee Configuration Management | 339 | |
Application Fields of the Lyee Technology - Comparison of Lyee and Catalysis | 353 | |
Some Principal Limitations of the LyeeAll Technology | 365 | |
Author Index | 373 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionNew Trends in Software Methodologies, Tools and Techniques
X
This Item is in Your InventoryNew Trends in Software Methodologies, Tools and Techniques
X
You must be logged in to review the productsX
X
X
Add New Trends in Software Methodologies, Tools and Techniques, New Trends in Software Methodologies, Tools and Techniques, as part of the SoMeT series, contributes to new trends and theories in the direction in which the editors believe software science and engineering may develop in order to transform the role of so, New Trends in Software Methodologies, Tools and Techniques to the inventory that you are selling on WonderClubX
X
Add New Trends in Software Methodologies, Tools and Techniques, New Trends in Software Methodologies, Tools and Techniques, as part of the SoMeT series, contributes to new trends and theories in the direction in which the editors believe software science and engineering may develop in order to transform the role of so, New Trends in Software Methodologies, Tools and Techniques to your collection on WonderClub |