Formal Definition of the Chiron-2 Software Architectural Style
暂无分享,去创建一个
[1] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[2] Jeannette M. Wing. A specifier's introduction to formal methods , 1990, Computer.
[3] Nasa,et al. A metamodel for the runtime architecture of an interactive system: the UIMS tool developers workshop , 1992, SGCH.
[4] Richard N. Taylor,et al. Software Environment Architectures and User Interface Facilities , 1988, IEEE Trans. Software Eng..
[5] David Garlan,et al. A Formal Approach to Software Architectures , 1992, IFIP Congress.
[6] Nenad Medvidovic,et al. Software Architecture: Foundation of a Software Component Marketplace , 1997 .
[7] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[8] Richard N. Taylor,et al. A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.
[9] Richard N. Taylor,et al. Separations of concerns in the Chiron-1 user interface development and management system , 1993, INTERCHI.
[10] Bent Dandanell,et al. Rigorous development using RAISE , 1991, SIGSOFT '91.
[11] Gregory D. Abowd,et al. Using style to understand descriptions of software architecture , 1993, SIGSOFT '93.
[12] Don S. Batory,et al. The design and implementation of hierarchical software systems with reusable components , 1992, TSEM.