UnSCom: A Standardized Framework for the Specification of Software Components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3263, Issue , 2004, Pages 169-184

  Overhage, Sven ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); INTERNET; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

COMMERCIAL INFORMATION; COMPONENT-BASED SOFTWARE ENGINEERING; DESIGN BY CONTRACTS; IT SUPPORTS; SOFTWARE COMPONENT; UNIFIED SPECIFICATION; WHITE PAGES; YELLOW PAGES;

SPECIFICATIONS;

EID: 34447261986     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30196-7_13     Document Type: Article

References (37)

1. Szyperski, C., Gruntz, D., Murer, S.: Component Software. Beyond Object-Oriented Programming. 2. edn. Addison-Wesley, Harlow (2002)
2. D'Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML. The Catalysis Approach. Addison-Wesley, Upper Saddle River, NJ (1999)
3. Brown, A.W.: Large-Scale, Component-Based Development. Prentice Hall, Upper Saddle River, NJ (2000)
4. Garlan, D., Allan, R., Ockerbloom, J.: Architectural Mismatch: Why Reuse Is So Hard. IEEE Software 12 (1995) 17-26
5. Weyuker, E.J.: The Trouble with Testing Components. In Heineman, G.T., Councill, W.T., eds.: Component-Based Software Engineering. Putting the Pieces Together, Upper Saddle River, NJ, Addison-Wesley (2001) 499-512
6. Wallnau, K.C.: A Technology for Predictable Assembly from Certifiable Components. Technical Report CMU/SEI-2003-TR-009, Software Engineering Institue (2003)
7. Zaremski, A.M., Wing, J.M.: Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology 6 (1997) 333-369
8. Crnkovic, I.: Component-Based Software Engineering - New Challenges in Software Development. Software Focus 2 (2002) 127-133
9. Meyer, B.: Object-Oriented Software Construction. 2. edn. Prentice Hall, Englewood Cliffs, NJ (1997)
10. Ackermann, J., Brinkop, F., Fettke, P., Frick, A., Glistau, E., Jaekel, H., Kotlar, O., Loos, P., Mrech, H., Ortner, E., Overhage, S., Raape, U., Sahm, S., Schmietendorf, A., Teschke, T., Turowski, K.: Standardized Specification of Business Components. Technical Report, German Society of Informatics (GI) (2002)
11. Cheesman, J., Daniels, J.: UML Components. A Simple Process for Specifying Component-Based Software. Addison-Wesley, Upper Saddle River, NJ (2001)
12. Reussner, R.H., Schmidt, H.W.: Using Parameterised Contracts to Predict Properties of Component-Based Software Architectures. In Crnkovic, I., Larsson, S., Stafford, J., eds.: Workshop on Component-Based Software Engineering, Lund (2002)
13. Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, Englewood Cliffs, NJ (1996)
14. Beugnard, A., Jezequel, J.M., Plouzeau, N., Watkins, D.: Making Components Contract Aware. IEEE Computer 32 (1999) 38-45
15. Cook, S., Daniels, J.: Designing Object Systems. Object-Oriented Modelling with Syntropy. Prentice Hall, Englewood Cliffs, NJ (1994)
16. Davis, A.M.: Software Requirements. Objects, Functions, and States. Prentice Hall, Englewood Cliffs, NJ (1993)
17. Graham, I.: Migrating to Object Technology. Addison-Wesley, Wokingham (1994)
18. Olle, T.W., Hagelstein, J., MacDonald, LG., Rolland, C.: Information Systems Methodologies. A Framework for Understanding. Addison-Wesley, Wokingham (1991)
19. Ortner, E., Schienmann, B.: Normative Language Approach: A Framework for Understanding. In Thalheim, B., ed.: Conceptual Modeling. ER '96, 15th International Conference on Conceptual Modeling, Berlin, Heidelberg, Springer (1996) 261-276
20. OMG: CORBA Components. OMG Specification, Version 3.0 02-06-65, Object Management Group (2002)
21. ISO/IEC: Software Engineering - Product Quality - Quality Model. ISO Standard 9126-1, International Organization for Standardization (2001)
22. ISO/IEC: Software Engineering - Product Quality - External Metrics. ISO Standard 9126-2, International Organization for Standardization (2003)
23. Cerami, E.: Web Services Essentials. O'Reilly, Sebastopol, CA (2002)
24. OMG: UML 2.0 Superstructure Specification. Adopted Specification ptc/03-08-02, Object Management Group (2003)
25. Overhage, S., Thomas, P.: WS-Specification: Specifying Web Services Using UDDI Improvements. In Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R., eds.: Web, Web Services, and Database Systems. NODe 2002 Web- and Database-Related Workshops. Volume 2593 of Lecture Notes in Computer Science., Berlin, Heidelberg, Springer (2003) 100-118
26. OMG: General Ledger Specification. OMG Specification, Version 1.0, Object Management Group (2001)
27. Prieto-Diaz, R.: Implementing Faceted Classification for Software Reuse. Communications of the ACM 34 (1991) 89-97
28. Vitharana, P., Zahedi, F., Jain, H.: Knowledge-Based Repository Scheme for Storing and Retrieving Business Components: A Theoretical Design and an Empirical Analysis. IEEE Transactions on Software Engineering 29 (2003) 649-664
29. Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Upper Saddle River, NJ (2000)
30. Zaremski, A.M., Wing, J.M.: Signature Matching: A Tool for Using Software Libraries. ACM Transactions on Software Engineering and Methodology 4 (1995) 146-170
31. OMG: Object Constraint Language. OMG Specification, Version 1.1 97-08-08, Object Management Group (1997)
32. Yellin, D., Strom, R.: Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems 19 (1997) 292-333
33. Nierstrasz, O.: Regular Types for Active Objects. In: Proceedings of the 8th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 93). Volume 28 No. 10 of ACM SIGPLAN Notices. (1993) 1-15
34. Petri, C.A.: Fundamentals of a Theory of Asynchronous Information Flow. In: Information Processing 62, IFIP (1962) 386-391
35. Frolund, S., Koistinen, J.: QML: A Language for Quality of Service Specification. Technical Report HPL-98-10, Hewlett-Packard Laboratories (1998)
36. Kontio, J.: A Case Study in Applying a Systematic Method for COTS Selection. In: Proceedings of the 18th International Conference on Software Engineering (ICSE), Los Alamitos, CA, IEEE Computer Society Press (1996) 201-209
37. Kiniry, J.R.: Leading to a Kind Description Language: Thoughts on Component Specification. Caltech Technical Report CS-TR-99-04, California Institute of Technology (1999)