Is an Ada Lint Necessary? (English)
- New search for: Kallberg, B.
- New search for: Kallberg, B.
- New search for: Keller, H. B.
- New search for: Plodereder, E.
In:
Ada-Europe international conference on reliable software technologies
;
29-40
;
2000
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Is an Ada Lint Necessary?
-
Contributors:
-
Conference:5th, Ada-Europe international conference on reliable software technologies ; 2000 ; Potsdam, Germany
-
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2000-01-01
-
Size:12 pages
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Support of Technology Development in the Information SocietyZimmermann, R. et al. | 2000
- 2
-
Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and JavaWeiss, R. et al. | 2000
- 4
-
Ada after 10 Years of Usage - Is There a Commercial Future?Pflug, B. et al. | 2000
- 5
-
An Open Ravenscar Real-Time Kernel for GNATde la Puente, J. A. / Ruiz, J. F. / Zamorano, J. et al. | 2000
- 16
-
Object-Oriented Programming and Protected Objects in Ada 95Wellings, A. J. / Johnson, B. / Sanden, B. / Kienzle, J. / Wolf, T. / Michell, S. et al. | 2000
- 29
-
Is an Ada Lint Necessary?Kallberg, B. et al. | 2000
- 41
-
Using Java™ APIs with Native Ada CompilersFlint, S. / Dobbing, B. et al. | 2000
- 56
-
Static Worst-Case Execution Time Analysis of Synchronous ProgramsRingler, T. et al. | 2000
- 69
-
A Supporting Tool for Development of Self-Measurement Ada ProgramsNonaka, Y. / Cheng, J. / Ushijima, K. et al. | 2000
- 82
-
On Persistent and Reliable Streaming in AdaKienzle, J. / Romanovsky, A. et al. | 2000
- 96
-
Reengineering the Booch Component LibraryMarco, J. / Franch, X. et al. | 2000
- 112
-
GtkAda: Design and Implementation of a High Level Binding in AdaBriot, E. / Brobecker, J. / Charlet, A. et al. | 2000
- 125
-
ASIS-for-GNAT: A Report of Practical ExperiencesRybin, S. / Strohmeier, A. / Fofanov, V. / Kuchumov, A. et al. | 2000
- 138
-
Generation of Interface Design Description Documents Using ASISHovater, S. V. / Marksteiner, W. / Butturini, A. et al. | 2000
- 149
-
An Ada95 Programming Style Checker Using the GNAT ASIS ImplementationCloshen, P. / Hoffmann, H.-J. et al. | 2000
- 161
-
Enhancements in Software Project Risk ManagementWieland, P. / Hogberg, F. / Stromseng, K. et al. | 2000
- 173
-
Constructing Reliable Embedded Systems Using the Results of System Safety AnalysisMauri, G. / Scheer, S. et al. | 2000
- 185
-
An Application of the Chains-of-Rare-Events Model to Software Development Failure PredictionBarraza, N. R. / Pfefferman, J. D. / Cernuschi-Frias, B. / Cernuschi, F. et al. | 2000
- 196
-
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95Schmitt, D. et al. | 2000
- 211
-
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software ProjectLacomme, T. / Carles, S. / Canals, A. / Normend, F. et al. | 2000
- 225
-
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking ProgramsBlieberger, J. / Burgstaller, B. / Scholz, B. et al. | 2000
- 238
-
Exceptions in OO Languages: Using Them and Reasoning about ThemSoundarajan, N. / Fridella, S. et al. | 2000
- 252
-
(True) Polymorphism in SPARK2000Lin, T.-M. / McDermid, J. A. et al. | 2000
- 266
-
Improving the Reliability of Object-Oriented Software through Object-Level Behavioral SimulationDeshpande, M. / Coyle, F. / Tian, J. et al. | 2000
- 280
-
Results of an Investigation into Software Integration Testing AutomationKiteley, S. / Draper, J. et al. | 2000
- 291
-
On the Minimal Essential Subsets and Minimal Representative SetsChen, T. Y. / Lau, M. F. et al. | 2000