Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Broy, Manfred"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Verifying of interface assertions for infinite state Mealy machines
Manfred Broy
Journal of Computer and System Sciences
80
(7), 2014, pp. 1298-1322
The role and impact of distribution in software and systems engineering
Manfred Broy
HNI-Verlagsschriftenreihe
181
, 2006, pp. 13-21
From the stack principle to ALGOL
Friedrich L Bauer
Software Pioneers - Contributions to Software Engineering, 2002, pp. 26-42
Verfahren zur automatischen Verarbeitung von kodierten Daten und Rechenmaschinen zur Ausübung des Verfahrens
Friedrich L. Bauer
Software Pioneers - Contributions to Software Engineering, 2002, pp. 67-77
Organization and maintenance of large ordered indexes
Rudolf Bayer
,
E. McCreight
Software Pioneers - Contributions to Software Engineering, 2002, pp. 245-262
B-trees and databases, past and future
Rudolf Bayer
Software Pioneers - Contributions to Software Engineering, 2002, pp. 232-244
Early experiences in software economics
Barry Boehm
Software Pioneers - Contributions to Software Engineering, 2002, pp. 632-640
Software engineering economics
Barry Boehm
Software Pioneers - Contributions to Software Engineering, 2002, pp. 641-686
The IBM Operating System/360
Frederick P. Brooks
Software Pioneers - Contributions to Software Engineering, 2002, pp. 170-178
Software engineering - From auxiliary to key technology
Manfred Broy
Software Pioneers - Contributions to Software Engineering, 2002, pp. 10-13
Entitiy-relationship modeling: Historical events, future trends, and lessons learned
Peter Chen
Software Pioneers - Contributions to Software Engineering, 2002, pp. 296-310
The entitiy relationship model - Toward a unified view of data
Peter Chen
Software Pioneers - Contributions to Software Engineering, 2002, pp. 311-339
A relational model of data for large shared data banks
E.F. Codd
Software Pioneers - Contributions to Software Engineering, 2002, pp. 263-294
Class and subclass declarations
Ole-Johan Dahl
,
Kristen Nygaard
Software Pioneers - Contributions to Software Engineering, 2002, pp. 91-107
The roots of object orientation: The Simula language
Ole-Johan Dahl
Software Pioneers - Contributions to Software Engineering, 2002, pp. 78-90
Structured analysis: Beginnings of a new discipline
Tom DeMarco
Software Pioneers - Contributions to Software Engineering, 2002, pp. 520-527
Structured analysis and system specification
Tom DeMarco
Software Pioneers - Contributions to Software Engineering, 2002, pp. 529-560
The relevance of the software pioneers for sd&m
Ernst Denert
Software Pioneers - Contributions to Software Engineering, 2002, pp. 14-24
EWD 1 308: Waht led to ``Notes on Structured Programming''
Edsger W. Dijkstra
Software Pioneers - Contributions to Software Engineering, 2002, pp. 340-346
Solution of a problem in concurrent programming control
Edsger W. Dijkstra
Software Pioneers - Contributions to Software Engineering, 2002, pp. 347-350
Go to statement considered harmful
Edsger W. Dijkstra
Software Pioneers - Contributions to Software Engineering, 2002, pp. 351-355
A history of software inspections
Michael Fagan
Software Pioneers - Contributions to Software Engineering, 2002, pp. 562-573
Design and code inspections to reduce errors in program development
Michael Fagan
Software Pioneers - Contributions to Software Engineering, 2002, pp. 575-607
Advances in software inspections
Michael Fagan
Software Pioneers - Contributions to Software Engineering, 2002, pp. 609-630
Design patterns: Abstraction and reuse of object-oriented design
Erich Gamma
,
Richard Helm
,
Ralph Johnson
,
John Vlissides
Software Pioneers - Contributions to Software Engineering, 2002, pp. 701-727
Seiten 1
2
3
4
>