-
1
-
-
0026882379
-
The SURE approach to reliability analysis
-
June
-
Butler, R. The SURE approach to reliability analysis. IEEE Transact. Reliab. 41, 2 (June 1992), 210-218.
-
(1992)
IEEE Transact. Reliab.
, vol.41
, Issue.2
, pp. 210-218
-
-
Butler, R.1
-
2
-
-
0042176546
-
Reliability analysis of large complex systems using ASSIST
-
(San Jose, CA, Oct.). IEEE Press, Los Alamitos, CA
-
Johnson, S. Reliability analysis of large complex systems using ASSIST. In Proceedings of the 8th AIAA/IEEE Digital Avionics Systems Conference (San Jose, CA, Oct.). IEEE Press, Los Alamitos, CA, 1988, 227-234.
-
(1988)
Proceedings of the 8th AIAA/IEEE Digital Avionics Systems Conference
, pp. 227-234
-
-
Johnson, S.1
-
3
-
-
0042689501
-
Toward a discipline of scenario-based architectural engineering
-
Kazman, R., Carriere, S., and Woods, S. Toward a discipline of scenario-based architectural engineering. Annals Software Engin. 9 (2000), 5-33.
-
(2000)
Annals Software Engin.
, vol.9
, pp. 5-33
-
-
Kazman, R.1
Carriere, S.2
Woods, S.3
-
4
-
-
0001042407
-
Attribute-based architectural styles
-
(San Antonio, TX, Feb. 22-24). Kluwer Academic Publishers, Boston
-
Klein, M., Kazman, R., Bass, L., Carriere, S., Barbacci, M., and Lipson, H. Attribute-based architectural styles. In Proceedings of the 1st IFIP Working Conference on Software Architecture (San Antonio, TX, Feb. 22-24). Kluwer Academic Publishers, Boston, 1999, 225-243.
-
(1999)
Proceedings of the 1st IFIP Working Conference on Software Architecture
, pp. 225-243
-
-
Klein, M.1
Kazman, R.2
Bass, L.3
Carriere, S.4
Barbacci, M.5
Lipson, H.6
-
5
-
-
15244358300
-
Automating the composition of middleware configurations
-
(Grenoble, France, Sept. 11-15). IEEE Press, Los Alamitos, CA
-
Kloukinas, C. and Issarny, V. Automating the composition of middleware configurations. In Proceedings of the 15th IEEE International Conference on Automated Software Engineering (Grenoble, France, Sept. 11-15). IEEE Press, Los Alamitos, CA, 2000, 241-244.
-
(2000)
Proceedings of the 15th IEEE International Conference on Automated Software Engineering
, pp. 241-244
-
-
Kloukinas, C.1
Issarny, V.2
-
6
-
-
0043178708
-
SPIN-ing software architectures: A method for exploring complex systems
-
(Amsterdam, The Netherlands, Aug. 28-31). IEEE Press, Los Alamitos, CA
-
Kloukinas, C. and Issarny, V. SPIN-ing software architectures: A method for exploring complex systems. In Proceedings of the 2nd IEEE/IFIP Working Conference on Software Architecture (Amsterdam, The Netherlands, Aug. 28-31). IEEE Press, Los Alamitos, CA, 2001, 67-76.
-
(2001)
Proceedings of the 2nd IEEE/IFIP Working Conference on Software Architecture
, pp. 67-76
-
-
Kloukinas, C.1
Issarny, V.2
-
7
-
-
18944364117
-
Automatic synthesis of linear process models from temporal constraints: An incremental approach
-
(Paris, Jan.). ACM Press, New York
-
Margaria, T., Steffen, B., and von der Beec, M. Automatic synthesis of linear process models from temporal constraints: An incremental approach. In Proceedings of the ACM-SIGPLAN International Workshop on Automated Analysis of Software (Paris, Jan.). ACM Press, New York, 1997, 127-141.
-
(1997)
Proceedings of the ACM-SIGPLAN International Workshop on Automated Analysis of Software
, pp. 127-141
-
-
Margaria, T.1
Steffen, B.2
Von Der Beec, M.3
-
8
-
-
0033892696
-
A classification and comparison framework for software architecture description languages
-
Jan.
-
Medvidovic, N. and Taylor, R. A classification and comparison framework for software architecture description languages. IEEE Transact. Software Engin. 26, 1 (Jan. 2000), 70-93.
-
(2000)
IEEE Transact. Software Engin.
, vol.26
, Issue.1
, pp. 70-93
-
-
Medvidovic, N.1
Taylor, R.2
-
9
-
-
0029288831
-
Correct architecture refinement
-
Qian, X., Moriconi, M., and Riemenschneider, R. Correct architecture refinement. IEEE Transact. Software Engin. 21, 4 (1995), 356-372.
-
(1995)
IEEE Transact. Software Engin.
, vol.21
, Issue.4
, pp. 356-372
-
-
Qian, X.1
Moriconi, M.2
Riemenschneider, R.3
-
10
-
-
84954067177
-
A compositional approach for constructing connectors
-
(Amsterdam, The Netherlands, Aug. 28-31). IEEE Press, Los Alamitos, CA
-
Spitznagel, B. and Garlan, D. A compositional approach for constructing connectors. In Proceedings of the 2nd IEEE/IFIP Working Conference on Software Architecture (Amsterdam, The Netherlands, Aug. 28-31). IEEE Press, Los Alamitos, CA, 2001, 148-157.
-
(2001)
Proceedings of the 2nd IEEE/IFIP Working Conference on Software Architecture
, pp. 148-157
-
-
Spitznagel, B.1
Garlan, D.2
-
11
-
-
0042677711
-
Concurrency in dependable systems
-
Chapt. 7 A. Romanovsky and P. Ezhilchelvan, Eds. Kluwer Editions
-
Zarras, A. and Issarny, V. Concurrency in dependable systems. Chapt. 7 in Quality Analysis of Enterprise Information Systems, A. Romanovsky and P. Ezhilchelvan, Eds. Kluwer Editions, 2002, 127-146.
-
(2002)
Quality Analysis of Enterprise Information Systems
, pp. 127-146
-
-
Zarras, A.1
Issarny, V.2
|