This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process
March 1989 (vol. 15 no. 3)
pp. 250-263

The AdaPIC tool set, an important component of an Ada software development environment, is discussed. The AdaPIC tool set is one particular instantiation, specifically adapted for use with Ada, of the more general collection of language features and analysis capabilities that constitute the PIC approach to describing and analyzing relationships among software system components. This tool set is being tailored to support an incremental approach to the interface control aspects of the software development process. Following a discussion of the PIC interface control and incremental development concepts, the AdaPIC tool set is described, concentrating on its analysis tools and support for incremental development and demonstrating how it contributes to the technology for developing large Ada software systems.

[1] P. Baker and C. Youngblut,Survey of Ada-Based PDLs, Naval Avionics Center, Indianapolis, IN, Jan. 1985.
[2] L. A. Clarke, J. C. Wileden, and A. L. Wolf, "Nesting in Ada programs is for the birds," inProc. ACM-SIGPLAN Symp. on the Ada Program. Language, 1980, pp. 139-145 (also published inSIGPLAN Notices, vol. 15, no. 11, 1980).
[3] F. DeRemer and H. Kron, "Programming-in-the-large versus programming-in-the-small,"IEEE Trans. Software Eng., vol. SE-2, no. 2, pp. 80-86, June 1976.
[4] J. D. Ichbiahet al., "Rationale for the design of the Ada programming language,"SIGPLAN Notices, vol. 14, (Tech. Rep. 6), pt. B, June 1979.
[5] M. R. Levy, "Type checking, separate compilation and reusability," inProc. ACM SIGPLAN '84 Symp. Compiler Construction (SIGPLAN Notices, vol. 19, no. 6, pp. 285-289, June 1984).
[6] B. Liskovet al., CLU Reference Manual(Lecture Notes in Computer Sci., vol. 114). Berlin: Springer-Verlag, 1981.
[7] D. C. Luckham and F. W. von Henke, "An overview of Anna, a specification language for Ada,"IEEE Software, vol. 2, no. 2, pp. 9-22, Mar. 1985.
[8] N. H. Minsky, "Locality in software systems," inConf Rec. Tenth Ann. ACM Symp. Principles of Programming Languages, Austin, TX, Jan. 1983, pp. 299-312.
[9] N. Minsky and A. Borgida, "The Darwin software evolution environment," inProc. SIGSOFT/SIGPLAN Software Engineering Symp. Practical Software Development, Pittsburgh, PA, 1984.
[10] J. G. Mitchell, W. Maybury, and R. Sweet,Mesa Language Manual Version 5.0, Xerox PARC, Palo Alto, CA, Tech. Rep. CSL-79-3, Apr. 1979.
[11] L. J. Osterweil, "Toolpack--An experimental software development environment research project,"IEEE Trans. Software Eng., vol. SE- 9, no. 6, pp. 673-685, Nov. 1983.
[12] D. E. Perry, "The Inscape program construction and evolution environment," Tech. Rep., Computer Technology Research Lab., AT&T Bell Lab., Murray Hill, NJ, Aug. 1986.
[13] R.N. Taylor, R. W. Selby, M. Young, F. C. BeIz, L. A. Clarke, J. C. Wileden, L. Osterweil, and A. L. Wolf, "Foundations for the Arcadia environment architecture," inACM SIGSOFT '88: Third Symp. Software Development Environments, Boston, MA, Nov. 1988, pp. 1-13; see alsoSIGSOFT Software Eng. Notes, vol. 13, no. 5, Nov. 1988; see alsoSIGPLAN Notices, vol. 24, no. 2, Feb. 1989.
[14] W. F. Tichy, "Software development based on module interconnection," in4th Int. Conf. Software Engineering, Munich, Germany, Sept. 1979, pp. 29-41.
[15] W. F. Tichy, "Smart recompilation,"Ass. Comput. Mach. Trans. Programming Languages Syst., vol. 8, no. 3, pp. 273-291, July 1986.
[16] J. D. Ullman,Principles of Databases Systems. Rockville, MD: Computer Science Press, 1982.
[17] J. C. Wileden and L. A. Clarke, "Feedback-directed development of complex software systems," inProc. Software Process Workshop, Egham, Surrey, England, Feb. 1984, pp. 89-93.
[18] N. Wirth,Programming in Modula-2, 3rd ed. Berlin: Springer-Verlag, 1985.
[19] A. L. Wolf, "Language and tool support for precise interface control," Ph.D. dissertation. Dep. COINS. Univ. Massachusetts, Amherst, Tech. Rep. 85-23, Sept. 1985.
[20] A. L. Wolf, L. A. Clarke, and J. C. Wileden, "Ada-based support for programming-in-the-large,"IEEE Software, vol. 2, no. 2, pp. 58-71, Mar. 1985.
[21] A. L. Wolf, L. A. Clarke, and J. C. Wileden, "A model of visibility control,"IEEE Trans. Software Eng., vol. 14, no. 4, pp. 512-520, Apr. 1988.

Index Terms:
AdaPIC tool set; interface control; software development; software development environment; language features; software system components; analysis tools; Ada; programming environments; software tools.
Citation:
A.L. Wolf, L.A. Clarke, J.C. Wileden, "The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process," IEEE Transactions on Software Engineering, vol. 15, no. 3, pp. 250-263, March 1989, doi:10.1109/32.21753
Usage of this product signifies your acceptance of the Terms of Use.