Paper Info
Title
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation
Abstract
To enhance the quality of software, e.g. in safety-critical environments, we propose the introduction of a style checking phase into the software development cycle. Style checking in this case is to be understood as anything that normally goes beyond the capabilities of an ordinary compiler. An implementation of a style checking framework written in Ada95 and using the GNAT ASIS implementation is presented. This framework also allows to specify what is being checked.
Year
DOI
Venue
2000
10.1007/10722060_15
Ada-Europe
Keywords
Field
DocType
style checker,gnat asis implementation,ada95 programming,software development
Programming language,Software engineering,Computer science,Gnat,Programming style,Compiler,Software,Software development process,Software verification and validation,Software quality,Software development
Conference
Volume
ISSN
ISBN
1845
0302-9743
3-540-67669-4
Citations 
PageRank 
References 
0
0.34
5
Authors
2
Name
Order
Citations
PageRank
Patrick Closhen141.27
Hans-Jürgen Hoffmann23812.04