A formal model for component-based software

2001 IEEE Symposium on Human-Centric Computing

Volumn , Issue , 2001, Pages 304-311

  Cox, Philip T ^a   Song, Baoming ^b  

^a DALHOUSIE UNIVERSITY   (Canada)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SPREADSHEETS;

VISUAL LANGUAGES;

SOFTWARE ENGINEERING;

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

References (19)

1. Allen R., Garlan D., (1997), A Formal Basis for Architectural Connection, ACM Trans. on Software Engineering and Methodology, v6, n3, 213-249.
2. Apple Computer Inc., (1993), OpenDoc - Shaping Tomorrow's Software White paper.
3. Carrel-Billiard, M.; Akerley J., (1998), Programming with VisualAge for Java, IBM redbook.
4. Drossopoulou S. and Eisenbach S., (1998), Towards an Operational Semantics and Proof of Type Soundness in Java [online]. Available: http://www-dse.doc.ic.ac.uk/projects/slurp/pubs.html#towards
5. D'Souza D.F. and Wills A.C., (1997). Objects, Components, And Frameworks with UML - the Catalysis Approach, Addison-Wesley, Reading, Mass.
6. Gamma E., Helm R., Johnson R. and Vlissides J., (1994). Design Patterns - Elements of Resuable Object-Oriented Software, Addison-Wesley, Reading, MA.
7. Ibrahim R. and Szyperski C., (1998). Formalization of Component Object Model (COM) - The COMEL Language, Proc. 8th PhD Workshop, ECOOP'98
8. Jacobson I., Griss M., and Jonsson P., (1997). Software Reuse, Architecture Process and Organization for Business Success, ACM Press, Addison-Wesley Longman, NJ.
9. Leach R. J., (1997). Software Reuse - method, models, and costs, McGraw-Hill, NJ.
10. Lewis T., Rosenstein L., Pree W., Weinand A., Gamma E., Caulder P., Andert G., Vlissides J. and Schmucker K., (1995). Object Oriented Application Frameworks, Manning Publications Co., Greenwich, CT.
11. Magee J.,Dulay N., Eisenbach S., Kramer J., (1995), Specifying Distributed Software Architectures, Proc. 5th European Software Engineering Conf., Spain, Springer-Verlag, Berlin, 137-153.
12. Microsoft Corporation, (1995). The Component Object Model Specification, Version 0.9 [online]. Available http://www.microsoft.com/Com/resources/comdocs.asp〉.
13. Prieto-Diaz R., Neighbours J., (1986), Module Interconnection Languages, Journal of Systems and Software 6, 4, 307-334.
14. Risley, C.C., JGraph: A Java Compatible Visual Language, MCOmpSci Thesis, Dalhousie University.
15. Shaw M., Garlan D., (1996), Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall., NJ.
16. Spivey J.M., (1989), The Z Notation, a Reference Manual, Prentice Hall, Englewood Cliffs, NJ.
17. Sullivan K. J., Socha J., and Marchukov M., (1997). Using Formal Methods to Reason about Architectural Standards, Proceedings of 19th International Conference on Software Engineering, Boston, USA
18. Sun Microsystems, (1997). JavaBeans for Java Studio: Architecture and API, White paper.
19. Szyperski C., (1998). Component Software, Beyond Object-Oriented Programming, ACM Press, Addison-Wesley, NJ.