Concern-driven design for a specification language supporting component-based software engineerin

Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996

Volumn , Issue , 1996, Pages 150-154

  Kozaczynski, W Voytek ^a   Ning, Jim Q ^a  

^a ACCENTURE   (United States)

Author keywords

Architecture Specification Language; ASL; CBSE; CBSE activities; component based software engineering; computer aided software engineering; concern driven design; customizable components; engineering discipline; formal specification; language design choices; software development; software development process; specification language; specification languages

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL METHODS; FORMAL SPECIFICATION; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ARCHITECTURE SPECIFICATION; CBSE; CBSE ACTIVITIES; COMPONENT-BASED SOFTWARE ENGINEERING; CUSTOMIZABLE; ENGINEERING DISCIPLINES; LANGUAGE DESIGN; SOFTWARE DEVELOPMENT PROCESS;

SOFTWARE DESIGN;

EID: 84874050535     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Allen, R., and Garlan, D., "Formalizing Architectural Connection," Proceedings of 16th International Conference on Software Engineering, SorrentoI,t aly, 1994.
2. Callahan, J. R., "Software Packaging," Technical Report CS-TR-3093, U. of Maryland, 1993.
3. Expersoft Corporation, XShelZ User's Manual, Release 3.0, March 1994.
4. Kozaczynski, W., Liongosari, E., Ning, J. Q., and Olafsson, A., "Architecture Specification Support for Component Integration," Proceedings of the Seventh International Workshop on CASE, Toronto, Ontario,C anadaJ, uly 1995.
5. Luckham, D. C., Kenney, J. J., Augustin, L. M., Vera, J., Bryan, D., and Mann, W., "Specification and Analysis of System Architecture Using Rapide," IEEE Transactions on Software Engineering, Vol. 21, No. 4, April 1995.
6. Magee, J., Dulay, N., and Kramer, J., "A Constructive Development Environment for Parallel and Distributed Programs," Proceedings of the Second International Workshop on Configurable Distributed Systems, Pittsburgh, PA, March 1994.
7. Microsoft Corporation, "Object Linking and Embedding (OLE) Today and Tomorrow," Technology Overview, November 1993
8. Object Database Management Group, The Object Database Standard: ODMG-93, Cattell, R. G. G., ed., 1993.
9. Object Management Group, The Common Object Request Broker: Architecture and Spec@cation, OMG Do& Number 91.12.1., 1991.
10. Perry, D. E., "The Inscape Environment," Proceedings of the 11th International Conference on Software Engineering, Pittsburgh PA, May 1989.
11. Purtilo, J., "The Polylith Software Bus," Technical Report TR-2469, U. of Maryland, 199 1.
12. Shaw, M., DeLine, R., Klein, D. V., Ross, T. L., Young, D. M., and Zelesnik, G., "Abstractions for Software Architecture and Tools to Support Them," IEEE Transactions on Sofhyare Engineering, Vol. 21, No. 4, April 1995.
13. Yellin, D. M. and Strom, R. E., "Interfaces, Protocols, and the Semi-Automatic Construction of Software," Proceedings of the OOPSLA'94, Portland, Oregon, October 1994.