Integrated Project Support Environments (eBook)
304 Seiten
Elsevier Science (Verlag)
978-1-4832-8825-3 (ISBN)
Survey of integrated project support environments for more efficient software engineering**Description of a large scale IPSE--ASPECT**Evaluation of formal methods in IPSE development (using the Z specification)
A major part of software engineering developments involve the use of computing tools which facilitate the management, maintenance, security, and building of long-scale software engineer projects. Consequently, there have been a proliferation of CASE tools and IPSES. This book looks at IPSES in general and the ASPECT project in particular, providing design and implementation details, as well as locating ASPECT in IPSE developments.Survey of integrated project support environments for more efficient software engineering**Description of a large scale IPSE--ASPECT**Evaluation of formal methods in IPSE development (using the Z specification)
Front Cover 1
Integrated Project Support Environments: The Aspect Project 4
Copyright Page 5
Table of Contents 6
Foreword 10
Preface 12
List of Contributors 16
Chapter 1. Introduction 18
1.1 Project History 18
1.2 The Aim of the Aspect Project 19
1.3 Achievements of the Aspect Project 20
Chapter 2. Basic IPSE Principles 22
2.1 Introduction 22
2.2 History and Development of IPSEs 23
2.3 Architectural Principles 26
2.4 Summary 30
Chapter 3. An Overview of Aspect 32
3.1 Introduction 32
3.2 The Aspect Infrastructure Services 33
3.3 The Information Base Facilities 34
3.4 The Human-Computer Interaction Facilities 35
3.5 The Target Development Facilities 36
3.6 IPSE Customisation 36
3.7 The Aspect Process Model 38
3.8 Summary 52
Chapter 4. Demonstrating Aspect 54
4.1 Introduction 54
4.2 The Design and Development of the Demonstration 55
4.3 Brief Overview of the Scenario 57
4.4 Summary 74
Chapter 5. The Information Base Engine 76
5.1 Introduction 76
5.2 Differences between RM/T and RM/T++ 84
5.3 Implementation of RM/T++ 86
5.4 Building a prototype implementation 91
5.5 Distribution 97
Chapter 6. The Information Base Superstructure 106
6.1 Introduction 106
6.2 An Overview of the IBS 107
6.3 Tasks and Bindings 111
6.4 People and Roles 126
6.5 Versions and Configuration Management 129
6.6 Concurrency Control 144
6.7 Rules 157
6.8 Views 167
6.9 Summary 175
Chapter 7. HCl Perspectives 176
7.1 Introduction 176
7.2 Computer Graphics - an Historical Perspective 177
7.3 User-Interface Design Perspective 178
7.4 User-Interfaces in the Future 179
7.5 Graphical Interface Implications 180
7.6 Designing Graphical User-Interfaces 180
Chapter 8. Constructs for Interface Generation and Management 182
8.1 Basic Requirements 182
8.2 Options for Interface Constructs 183
8.3 Presenter 185
8.4 The Window Manager Model 185
8.5 The Presenter Model 187
8.6 Presenter Control 193
8.7 Discussion 193
8.8 Conclusion 195
Chapter 9. Doubleview - A User Interface Design Tool 196
9.1 Introduction 196
9.2 Design and Development of Doubleview 199
9.3 Designing with Doubleview 207
Chapter 10. Programming and Debugging Distributed Target Systems 214
10.1 Introduction 214
10.2 Designing and Programming Distributed Target Systems 215
10.3 Distributed Debugging 230
10.4 Tool Support for Ada in a Distributed Environment 242
10.5 Issues and Lessons in Supporting Distributed Ada 248
10.6 Performance 251
10.7 Integration into Aspect 255
10.8 Concluding Remarks 255
Chapter 11. A Comparison of Aspect with Other IPSEs 258
11.1 Introduction 258
11.2 Aspect 258
11.3 PCTE 259
11.4 Common APSE Interface Set 262
11.5 ATIS 264
11.6 Summary 266
Chapter 12. Summary and Conclusions 268
12.1 Introduction 268
12.2 Aspect and the Alvey Programme 268
12.3 Achievements of the Aspect Project 278
12.4 Summary 281
References 282
Index 290
Erscheint lt. Verlag | 22.10.2013 |
---|---|
Sprache | englisch |
Themenwelt | Informatik ► Office Programme ► Project |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Wirtschaft ► Volkswirtschaftslehre ► Mikroökonomie | |
ISBN-10 | 1-4832-8825-0 / 1483288250 |
ISBN-13 | 978-1-4832-8825-3 / 9781483288253 |
Haben Sie eine Frage zum Produkt? |
![PDF](/img/icon_pdf_big.jpg)
Größe: 36,3 MB
Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich