... goal of improving how computer science is taught, Niklaus Wirth created some of the field's most influential ... Wel2b93LjhY. In it, he discusses his interview with Niklaus Wirth, creator of some of the fieldís integral programming ... Modula, Pascal, and Oberon. A video interview with Niklaus Wirth is available at http://youtu.be/BJIqHIYSDrk. Wirth ...
Tópico(s): Teaching and Learning Programming
2012 - IEEE Computer Society | Computer
Dieses von Niklaus Wirth, dem berühmten Entwickler von Pascal und Modula-2 geschriebene Buch, gibt eine Einführung in die universelle Programmiersprache Modula- ...
Tópico(s): Model-Driven Software Engineering Techniques
1991 - Springer Nature | Springer compass
... On the Composition of Well-Structured Programs Author: Niklaus Wirth Federal Institute of Technology (ETH) Zurich, Switzerland Federal ...
Tópico(s): Logic, Reasoning, and Knowledge
1974 - Association for Computing Machinery | ACM Computing Surveys
... Share on Program development by stepwise refinement Author: Niklaus Wirth Eidgenössische Technische Hochschule, Zürich, Switzerland Eidgenössische Technische Hochschule, ...
Tópico(s): Software Engineering Techniques and Practices
1971 - Association for Computing Machinery | Communications of the ACM
Niklaus Wirth, C. A. R. Hoare,
... A contribution to the development of ALGOL Authors: Niklaus Wirth Stanford Univ., Stanford, CA Stanford Univ., Stanford, CAView ...
Tópico(s): DNA and Biological Computing
1966 - Association for Computing Machinery | Communications of the ACM
... ALGOL and it formal definition: Part 1 Authors: Niklaus Wirth Stanford Univ., Stanford, CA Stanford Univ., Stanford, CAView ...
Tópico(s): semigroups and automata theory
1966 - Association for Computing Machinery | Communications of the ACM
George E. Forsythe, Niklaus Wirth,
... Univ., Stanford, CA Stanford Univ., Stanford, CAView Profile , Niklaus Wirth Stanford Univ., Stanford, CA Stanford Univ., Stanford, CAView ...
Tópico(s): Machine Learning and Algorithms
1965 - Association for Computing Machinery | Communications of the ACM
... Access Share on A generalization of ALGOL Author: Niklaus Wirth Univ. of California, Berkeley Univ. of California, BerkeleyView ...
Tópico(s): Advanced Database Systems and Queries
1963 - Association for Computing Machinery | Communications of the ACM
Harry D. Huskey, Ralph Edwin Love, Niklaus Wirth,
... Berkeley, CA Univ. of California, Berkeley, CAView Profile , Niklaus Wirth Univ. of California, Berkeley, CA Univ. of California, ...
Tópico(s): Logic, programming, and type systems
1963 - Association for Computing Machinery | Communications of the ACM
Tópico(s): Persona Design and Applications
2008 - University of Southern California | Information Technologies and International Development
This personal perspective on the art of programming begins with a look at the state of programming from about 1960, and it follows programming's development through the present day. The article examines key contributions to the field of software engineering and identifies major obstacles, which persist even today.
Tópico(s): Software Engineering Research
2008 - Institute of Electrical and Electronics Engineers | IEEE Annals of the History of Computing
... view, when we focus on the algorithm? Using Niklaus Wirth's 1975 formulation that “algorithms + data structures = programs” ...
Tópico(s): Art, Technology, and Culture
2016 - SAGE Publishing | Big Data & Society
Computing's history has been driven by many good and original ideas, but a few turned out to be less brilliant than they first appeared. In many cases, changes in the technological environment reduced their importance. Often, commercial factors also influenced a good idea's importance. Some ideas simply turned out to be less effective and glorious when reviewed in retrospect or after proper analysis. Others were reincarnations of ideas invented earlier and then forgotten, perhaps because they were ...
Tópico(s): History of Computing Technologies
2006 - IEEE Computer Society | Computer
Automatically translating a program specified in a programming language into a digital circuit is an idea of long standing interest. Thus far, the concept has appeared to be an uneconomical method of largely academic, but hardly practical interest. It has therefore not been pursued with vigor and consequently has remained an idealist's dream. With the increasing use of hardware description languages, however, it has become evident that hardware and software design share several traits. Hardware ...
Tópico(s): Parallel Computing and Optimization Techniques
1998 - IEEE Computer Society | Computer
Software's girth has surpassed its functionality, largely because hardware advances make this possible. The way to streamline software lies in disciplined methodologies and a return to the essentials. The paper discusses some causes of "fat software" and considers the Oberon system whose primary goal was to show that software can be developed with a fraction of the memory capacity and processor power usually required, without sacrificing flexibility, functionality, or user convenience. >
Tópico(s): Distributed and Parallel Computing Systems
1995 - IEEE Computer Society | Computer
D Barstow, W Brauer, P Brinch, Hansen Gries, D Luckham, C Moler, A Pnueli, G Seegm jller, Josef Stoer, Niklaus Wirth, D. Sriram, Robert D. Logcher, Shuichi Fukuda, Teresa De Fazio, A. C. Edsall, R. E. Gustavson, J Hernandez, Peter W. Hutchins, H.-W. Leung, Stephen P. Luby, R. W. Metzinger, Jane Nevins, Ka Kit Tung, Daniel E. Whitney,
This volume contains a selection of papers presented at the MIT-JSME Workshop on Cooperative Product Development held at the Massachusetts Institute of Technology, Cambridge, MA, USA, November 20/21,
Tópico(s): Manufacturing Process and Optimization
1991 - Springer Science+Business Media | Lecture notes in computer science
D Barstow, W Brauer, R Brinch, Hansen Gries, D Luckham, C Moler, Amir Pnueli, G Seegm ller, Josef Stoer, Niklaus Wirth, Irène Guessarian,
Tópico(s): Business Process Modeling and Analysis
1990 - Springer Science+Business Media | Lecture notes in computer science
D Barstow, W Brauer, R Brinch, Gries Luckham, C Moler, A Pnueii, G Seegmqiler, Josef Stoer, Niklaus Wirth, Frangois Bancilhon, Costantino Thanos, Santa Maria, Corina van den Berg, Catherine Berrut, J Bertrandias, Marie-France Bruandet, Stefan Brass, Alan Brown, H Buikhardt, G Cayres, M. Collet, Richard Connor, Mariano P. Consens, Bruno Defude, Alejandro Dearie, Candice Delcourt, Claude Delobel, Uwe Deppisch, Dorothy DeWitt, N.A. Erol, Thibault Estier, Gilles Falquet, Marie-Christine Fauvet, Michael Freeston, Jean-Pierre Giraudin, O. Gruber, Ralf Hartmut Güting, Martin Hofmann‐Apitius, Großbeeren Hulin, Yannis Ioannidis, Manfred A. Jeusfeld, P Kipelainen, T Kabas, Manolis Koubarakis, P. Lavency, C L cluse, Eliezer Levy, Christophe de Maindreville, Robert Manthey, Heather Martin, F Mc, Cabe Moss, H Pane, Maurizio Rafanelli, Dominique Rieu, André Rifaut, Thomas Rose, Jonathan B. Rosenberg, G. Saake, Michael Sadler, Fariba Sadri, Markku Sakkinen, L Sbatella, M Schotl, Arno Siebes, E. Simon, Seppo Sippu, Gregory D. Speegle, Somayajulu Sripada, Dhruv Srivastava, S. Sudarshan, Michael J. Terranova, Esko Ukkonen, M. Vanhoedenaghe, Paola Velardi, Fulton Velez, Victor Vianu, G Yon Bueltzingsloewen, Gerhard Weikum,
Database technology is currently being pushed by the needs of new applications and pulled by the oppor- tunities of novel developments in hardware and systems architecture. The invited paper, two pane
Tópico(s): Distributed and Parallel Computing Systems
1990 - Springer Science+Business Media | Lecture notes in computer science
D Barstow, W Brauer, P Brinch, Gries Luckharn, C Meter, Amir Pnueli, G Seegm tler, John Steer, Niklaus Wirth, Fred Long,
This volume gives the proceedings of an international workshop on software engineering environments and public tool interfaces. The workshop drew together the recognized experts in these fields from E
Tópico(s): Software Engineering Techniques and Practices
1990 - Springer Science+Business Media | Lecture notes in computer science
D Barstow, Brauer Brinch, Gries Luckham, Moler Pnueli, G Seegm ller, J Stoer, Niklaus Wirth, J. Bakker, Willem P. de Roever, Grzegorz Rozenberg,
Tópico(s): Mathematical Control Systems and Analysis
1990 - Springer Science+Business Media | Lecture notes in computer science
D Barstow, W Brauer, P Brinch, Hansen Gries, D Luckham, C Moler, Amir Pnueli, G Seegmliller, Josef Stoer, Niklaus Wirth, Franz Pichler, Roberto Moreno-Díaz,
Computer aided systems theory is urgently needed for the design of software for CAD. New generation workstations together with the methods and tools of artificial intelligence allow the implementation
1990 - Springer Science+Business Media | Lecture notes in computer science
D Barstow, W Brauer, P Brinch, Hansen Gries, D Luckham, C Moler, Amir Pnueli, G Seegm, Josef Stoer, Niklaus Wirth, Behnam Banieqbal, Howard Barringer,
Tópico(s): Logic, programming, and type systems
1989 - Springer Science+Business Media | Lecture notes in computer science
Niklaus Wirth, JÃ ⁄ rg Gutknecht,
Abstract In this paper we describe an operating system for a workstation designed and implemented by the authors within two and a half years. It includes memory management and module loader, a file system, a viewer system, editors for text and graphics, a compiler, a server interface and various tools. The primary motivation was to demonstrate the feasibility of a small, yet highly flexible and powerful, system, a system that is a (decimal) order of magnitude smaller than commonly used operating ...
Tópico(s): Software System Performance and Reliability
1989 - Wiley | Software Practice and Experience
... and indispensible as the original language reference by Niklaus Wirth.
Tópico(s): Parallel Computing and Optimization Techniques
1989 - Springer Nature | Springer compass international
D Barstow, W Brauer, P Brinch, Hansen Gries, D Luckham, C Moler, A Pnueli, G Seegmliller, J Stoer, Niklaus Wirth,
The volume contains the proceedings of the 16th Spring School on Theoretical Computer Science held in Ramatuelle, France, in May 1988. It is a unique combination of research level articles on various
Tópico(s): Logic, programming, and type systems
1989 - Springer Science+Business Media | Lecture notes in computer science
D Barstow, W Brauer, R Brinch, Hansen Gries, D Luckham, C Moler, A Pnueli, G Seegml ller, Josef Stoer, Niklaus Wirth, Ewing Lusk, Ross Overbeek,
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemo
Tópico(s): Neural Networks and Applications
1988 - Springer Science+Business Media | Lecture notes in computer science
Abstract The programming language Oberon is the result of a concentrated effort to increase the power of Modula‐2 and simultaneously to reduce its complexity. Several features were eliminated, and a few were added in order to increase the expressive power and flexibility of the language. This paper describes and motivates the changes. The language is defined in a concise report 1 .
Tópico(s): Logic, programming, and type systems
1988 - Wiley | Software Practice and Experience
Software systems represent a hierarchy of modules. Client modules contain sets of procedures that extend the capabilities of imported modules. This concept of extension is here applied to data types. Extended types are related to their ancestor in terms of a hierarchy. Variables of an extended type are compatible with variables of the ancestor type. This scheme is expressed by three language constructs only: the declaration of extended record types, the type test, and the type guard. The facility ...
Tópico(s): Software Testing and Debugging Techniques
1988 - Association for Computing Machinery | ACM Transactions on Programming Languages and Systems
D Barstow, Wolfram Brauer, P Brinch, Hansen Gries, D Luckham, C Moler, Amir Pnueli, G Seegmeller, J Stoer, Niklaus Wirth, Joachim Schmidt, Fachbereich Tnformatik, Johann Goethe-Universit t, Stefano Ceri,
This volume represents the outcome of the International Conference on "Extending Database Technology", held in Venice, Italy, in March 1988. It contains the major dimensions into which database techno
Tópico(s): Advanced Computational Techniques and Applications
1988 - Springer Science+Business Media | Lecture notes in computer science
D Barstow, W Brauer, R Brinch, Hansen Gries, D Luckham, C Moler, A Pnueli, G Seegm er, J Stoer, Niklaus Wirth, Editor Mathai,
Tópico(s): Embedded Systems Design Techniques
1988 - Springer Science+Business Media | Lecture notes in computer science