Wyniki wyszukiwania:

ETAPS 99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The...

Dieses Buch entstand aus Skripten, die zur Lehrveranstaltung OBERSETZERBAU im Fachbereich Infonnatik der Technischen Universitat Berlin angefertigt wurden. Die Lehrveranstaltung wird seit 1972 durchgeflihrt und wurde als ein Beitrag zur Neuordnung des Informatik Studiums (NORIS) konzipiert. Sie basiert auf dem im Rahmen dieses Konzeptes entwickelten Grundstudium Infonnatik und ist fur Studenten im Hauptstudium gedacht, die Interesse an Programmiersprachen und ihren Obersetzern haben. Der Konzeption der Lehrveranstaltung OBERSETZERBAU liegt das Ziel zugrunde, die wesentlichen Methoden des...

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance.
The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface...