Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
WARNUNG preliminary lecture notes Dieser Text beschreibt in komprimierter Form die Inhalte der Vorlesung "Grundlagen der Programmentwurfstechnik 1" wie sie regelmäßig an der Universität Duisburg-Essen für Studierende in den Bachelor Studiengängen der Abteilung Elektrotechnik-und Informationstechnik gelesen wird. Die überwiegend ausländischen Studierenden haben immer wieder den Wunsch nach englischsprachigen Vorlesungsunterlagen geäußert. Aus diesem Grund wird seit 1999 der vorliegende Text den Studierenden zur Verfügung gestellt. Es wird dringend zur kritischen Verwendung des Textes geraten, da die abschließende Korrektur noch aussteht und einige Bilder noch nicht ins Englische übersetzt sind. Außerdem sind inhaltliche Anpassungen des Stoffes in den letzten Jahres erfolgt, die sich noch nicht im Text wiederfinden. Daher soll der Text in erster Linie vorlesungsbegleitend eingesetzt werden und die eigenen Vorlesungsmitschriften ergänzen, diese aber auf keinen Fall ersetzen.
Václav.Rajlich is professor and former chair of computer science at Wayne State University. Before that, he taught at the University of Michigan and worked at the Research Institute for Mathematical Machines in Prague, Czech Republic. He received a PhD in mathematics from Case Western Reserve University and has been practicing and teaching software engineering since 1975. His research centers on software evolution and comprehension. He has published approximately 90 refereed papers in journals and conferences, was a keynote speaker at five conferences, has graduated 12 PhDs, and has supervised approximately 40 MS student theses. He is a member of the editorial board of the Journal of Software Maintenance and Evolution. He is also the founder and permanent steering committee member of the IEEE International Conference on Program Comprehension (ICPC) and was a program chair, general chair, and steering committee chair of the IEEE International Conference on Software Maintenance (ICSM).
Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one-or two-semester course. The texts are all authored by established experts in their fields, reviewed by an international advisory board, and contain numerous examples and problems. Many include fully worked solutions.
Abstract From 18.01. 07 to 23.02. 07, the Dagstuhl Seminar 07081``End-User Software Engineering''was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general.
Electronic Notes in Theoretical Computer Science, 1999
This document is one of the parts of the electronic version of the PhD thesis by S.F.M. van Vlijmen 69]. The goal of the PhD project was to get a better understanding of the problems with the integration of formal speci cation technique in the day t o day s o f t ware practice. The approach followed was to execute a n umber of projects in cooperation with industry on realistic cases. This document gives an abstract presentation of engineering in general, then focuses on e orts, goals, ideas and techniques with respect to the engineering of software. Next a comprehensive overview of formal specifation technique is given. Finally, s e v en hypotheses are presented about the role of formal speci cation technique in software engineering.
Communications in computer and information science, 2011
The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.
Computer, 2000
ACM Sigsoft Software Engineering Notes, 1993
The intent of the workshop was to bring together leading scientists for identifying promising directions for future research in Software Engineering. The motivation for the workshop was the realization that Software Engineering research was not in good shape, with the present emphasis on management and risk control diverting attention from hard, technical subjects.After week-long, intensive discussions of a great number
Computing and Informatics, 2021
1999
Abstract: Software engineering, both as a discipline and as a profession, is at a pivotal point in its evolution. Although software has become critical in the development of most new human created systems, the concepts, principles, and methods for engineering software are still neither well defined nor uniformly agreed upon.
1970
Note for the current edition: The version of this report that you are reading was prepared by scanning the original edition, conversion to text through OCR, and then reformatting. Every effort has been made to do this as accurately as possible. However, it is almost certain that some errors have crept in despite best efforts. One of the problems was that the OCR software used kept trying to convert the original British spellings of words like 'realise' to the American spelling 'realize' and made other stupid mistakes. Whenever the OCR program was unsure of a reading, it called it to the attention of the operator, but there were a number of occasions in which it was sure, but wrong. Not all of these instances are guaranteed to have been caught.
Undergraduate Topics in Computer Science, 2008
Undergraduate Topics in Computer Science Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one-or two-semester course. The texts are all authored by established experts in their fields, reviewed by an international advisory board, and contain numerous examples and problems. Many include fully worked solutions.
I SIMOS tO *w at f-foristoni ft c.Outttn eat MOMat"WAu v ti M Su M GM ofi Jeus AD-A217 765 ~am.t .REOTTP z 1 z o | U .to *va~i nstOaq "*6l~dusft S41 KNL~ OffeClfie for Itomm"M o om No fts I aI S JsffwwmlS ,Offict of k~lb"8 ,R I ~m. pao-ant stecton-~own (07 0 weflt. wvmo. 04 OU-CRT DATE 99 If 31 SP~lORiT TYPE[ AND OATES COVEREIID
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.