Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Advanced Programming Methodologies -

Advanced Programming Methodologies (eBook)

eBook Download: PDF
2014 | 1. Auflage
382 Seiten
Elsevier Science (Verlag)
978-1-4832-6545-2 (ISBN)
Systemvoraussetzungen
54,95 inkl. MwSt
(CHF 53,65)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
Advanced Programming Methodologies consists of lecture demos and practical experiments from the Summer School on Advanced Programming Methodologies which took place in Rome, Italy, on September 17-24, 1987. The school focused on tools of advanced programming as well as theoretical foundations for software engineering. Problems connected with implementation and application of high-level programming languages are highlighted. Comprised of 11 chapters, this volume first looks at two software development projects at the Institute of Informatics of the University of Warsaw in Poland, with emphasis on the methodologies used in programming and implementation. The reader is then introduced to flexible specification environments; object-oriented programming; and Paragon's type hierarchies for data abstraction. Subsequent chapters focus on the inheritance rule in object-oriented programming; a functional programming approach to modularity in large software systems; database management systems; and relational algebra and fixpoint computation for logic programming implementation. The book also examines modules in high-level programming languages before concluding with a chapter devoted to storage management. This book is intended for computer programmers, undergraduate students taking various courses in programming, and advanced students of computer science.
Advanced Programming Methodologies consists of lecture demos and practical experiments from the Summer School on Advanced Programming Methodologies which took place in Rome, Italy, on September 17-24, 1987. The school focused on tools of advanced programming as well as theoretical foundations for software engineering. Problems connected with implementation and application of high-level programming languages are highlighted. Comprised of 11 chapters, this volume first looks at two software development projects at the Institute of Informatics of the University of Warsaw in Poland, with emphasis on the methodologies used in programming and implementation. The reader is then introduced to flexible specification environments; object-oriented programming; and Paragon's type hierarchies for data abstraction. Subsequent chapters focus on the inheritance rule in object-oriented programming; a functional programming approach to modularity in large software systems; database management systems; and relational algebra and fixpoint computation for logic programming implementation. The book also examines modules in high-level programming languages before concluding with a chapter devoted to storage management. This book is intended for computer programmers, undergraduate students taking various courses in programming, and advanced students of computer science.

Front Cover 1
Advanced Programming Methodologies 4
Copyright Page 5
Table 
10 
Preface 6
Contributors 8
Part One 12
Chapter 1. Development of Software from Algorithmic Specifications 12
1. Introduction 12
2 . Methodology of Programming 14
3. Specific Features of Loglan'82 25
4. Methodology of Implementation 29
5. Algorithmic Logic 32
6. An example of algorithmic methodology 41
7. The present and the future of Loglan project 49
Literature 49
Chapter 2. TOWARD FLEXIBLE SPECIFICATION ENVIRONMENTS 52
Abstract 52
Keywords and phrases 52
1. Introduction: Why are rigorous specification needed? 53
2. Why is specification difficult? 55
3. An example based on Data Flow Diagrams 57
4. An Object Oriented architecture for FDFD 76
5. Conclusions 83
Acknoledgements 84
References 84
Chapter 3. OBJECT ORIENTED PROGRAMMING: A SPECIALIZATION OF SMALLTALK? 88
1. Introduction 88
2. Communication 91
3. Classification 95
6. Conclusions 117
References 118
Chapter 4. Description and Evaluation of PARAGON'S Type Hierarchies for Data Abstraction 122
1. Goals of Paragon 122
2. Introduction to Paragon 125
3. Supporting Data Abstraction 128
4. A Retrospective 143
5. Summary 146
Bibliography 147
Chapter 5. On Inheritance Rule in Object Oriented Programming 152
1. Preface 152
2. Inheritance 158
3. One-level, Multi-level and Multiple Inheritance 163
References 174
CHAPTER 6. DERIVATION OF PROGRAMS WHICH TRAVERSE THEIR INPUT DATA ONLY ONCE 176
1. INTRODUCnON 176
2. AVOIDING MULTIPLE TRAVERSALS OF INPUT DATA: AN EXTENDED EXAMPLE 179
3. SYNERGISM BETWEEN LAMBDA ABSTRACTION AND TUPLING 188
4. CONCLUSIONS 193
5. ACKNOWLEDGEMENTS 194
6. REFERENCES 194
Chapter 7. Functional Programming Approach to Modularity in Large Software Systems 196
1. Introduction 196
2. LISP = I 198
3. Procedural Abstraction 204
4. Data Abstraction 209
Bibliography 215
CHAPTER 8. 
216 
1. Introduction 216
2. Database languages: Basic notions 218
3. Languages for record oriented models 220
4. Languages for the relational model 225
5. Current research issues 231
References 232
CHAPTER 9. RELATIONAL ALGEBRA AND FIXPOINT COMPUTATION FOR LOGIC PROGRAMMING IMPLEMENTATION 234
1. Introduction 234
2. Logic Programs 235
3. Implementation of logic programs 240
4. Rule Rewriting for Semi-Naive Fixpoint Computation 247
5. References 255
Part Two 234
Chapter 10. 
258 
1. Introduction 258
2. Module structure 261
3. Blocks 264
4. Procedures and Functions 273
5. Parameters 281
6. Formal Procedures 287
7. Addressable Modules 293
8. Packages 304
9. 
308 
10. Inheritance rule 320
11. Virtual operations 338
12. Signals and Handlers 342
Conclusions 348
References 349
Chapter 11. Storage Management 352
1. Introduction 352
2. Static allocation 354
3. Stack implementable Lan^ages 356
4. Heap 360
5. Garbage Handling 364
6. Conclusions 376
References 376
Index 378

Erscheint lt. Verlag 10.5.2014
Sprache englisch
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Software Entwicklung Objektorientierung
ISBN-10 1-4832-6545-5 / 1483265455
ISBN-13 978-1-4832-6545-2 / 9781483265452
Haben Sie eine Frage zum Produkt?
PDFPDF (Adobe DRM)
Größe: 15,6 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 Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
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 Adobe-ID sowie eine kostenlose App.
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.

Mehr entdecken
aus dem Bereich
Grundlagen, Objektorientierung und fortgeschrittene Konzepte

von Christian Kohls; Alexander Dobrynin

eBook Download (2023)
Carl Hanser Verlag GmbH & Co. KG
CHF 38,95
Entwicklung von GUIs für verschiedene Betriebssysteme

von Achim Lingott

eBook Download (2023)
Carl Hanser Verlag GmbH & Co. KG
CHF 38,95