-
1
-
-
0031193084
-
A Formal Basis for Architectural Connection
-
R.J. Allen and D. Garlan, "A Formal Basis for Architectural Connection", ACM Transactions on Software Engineering and Methodology, vol. 6, no. 3, pp. 213-249, 1997.
-
(1997)
ACM Transactions on Software Engineering and Methodology
, vol.6
, Issue.3
, pp. 213-249
-
-
Allen, R.J.1
Garlan, D.2
-
3
-
-
0031251544
-
Modeling Formalism for Dynamic Structure Systems
-
F.J. Barros, "Modeling Formalism for Dynamic Structure Systems", ACM Transactions on Modeling and Computer Simulation, vol. 7, no. 12, pp. 505-515, 1997.
-
(1997)
ACM Transactions on Modeling and Computer Simulation
, vol.7
, Issue.12
, pp. 505-515
-
-
Barros, F.J.1
-
4
-
-
70349111224
-
System and Method for Programming using Independent and Reusable Software Units
-
US Patent 6, 851, 104 B1, 2005
-
F.J. Barros, "System and Method for Programming using Independent and Reusable Software Units", US Patent 6, 851, 104 B1, 2005.
-
-
-
Barros, F.J.1
-
5
-
-
36248943955
-
A Formal Definition of Hybrid Mobile Components
-
F.J. Barros, "A Formal Definition of Hybrid Mobile Components", Simulation: Transactions of the SCS, vol. 78, no. 1, pp. 18-27, 2005.
-
(2005)
Simulation: Transactions of the SCS
, vol.78
, Issue.1
, pp. 18-27
-
-
Barros, F.J.1
-
6
-
-
0002243670
-
Specification and Refinement of Dynamic Software Architectures
-
C. Canal, E. Pimentel and J.M. Troya, "Specification and Refinement of Dynamic Software Architectures", In Software Architectures, pp. 107-126, 1999.
-
(1999)
Software Architectures
, pp. 107-126
-
-
Canal, C.1
Pimentel, E.2
Troya, J.M.3
-
7
-
-
84947249485
-
-
CE. Cuesta, P. Fonte and M.B.-Solórzano, Dynamic Coordination Architecture through the use of Reflection, 16' ACM Symposium on Applied Computing, pp. 134-140, 2001.
-
CE. Cuesta, P. Fonte and M.B.-Solórzano, "Dynamic Coordination Architecture through the use of Reflection", 16' ACM Symposium on Applied Computing, pp. 134-140, 2001.
-
-
-
-
8
-
-
4544373958
-
Understanding Code Mobility
-
A. Fuggetta, G.P. Picco and G. Vigna, "Understanding Code Mobility", IEEE Transactions on Software Engineering, vol. 24, no. 5, pp. 342-361, 1998.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.5
, pp. 342-361
-
-
Fuggetta, A.1
Picco, G.P.2
Vigna, G.3
-
9
-
-
36249003238
-
-
D. Garlan, M. Shaw, An Introduction to Software Architecture, TR CMU-CS-96-166, 1994.
-
D. Garlan, M. Shaw, "An Introduction to Software Architecture", TR CMU-CS-96-166, 1994.
-
-
-
-
10
-
-
0029292854
-
Specification and Analysis of System Architecture using Rapide
-
D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan and W. Mann, "Specification and Analysis of System Architecture using Rapide", IEEE Transactions on Software Engineering, vol. 21, no. 4, pp. 336-355, 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.4
, pp. 336-355
-
-
Luckham, D.C.1
Kenney, J.J.2
Augustin, L.M.3
Vera, J.4
Bryan, D.5
Mann, W.6
-
13
-
-
36249008925
-
-
R. Monroe, Capturing Software Architecture Design Expertise with Armani, TR-CMU-CS-98-163, 2000.
-
R. Monroe, "Capturing Software Architecture Design Expertise with Armani", TR-CMU-CS-98-163, 2000.
-
-
-
-
14
-
-
0029288831
-
Correct Architecture Refinement
-
M. Moriconi and R.A. Riemenschneider, "Correct Architecture Refinement", IEEE Transactions on Software Engineering, vol. 21, no. 4, pp 356-372, 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.4
, pp. 356-372
-
-
Moriconi, M.1
Riemenschneider, R.A.2
-
16
-
-
0031189708
-
Mobile Unity: Reasoning and Specification in Mobile Computing
-
G.-C. Roman, P.J. McCann, J.Y. Plun, "Mobile Unity: Reasoning and Specification in Mobile Computing", ACM Transactions on Software Engineering and Methodology, vol. 6, no. 3, pp. 250-282, 1997.
-
(1997)
ACM Transactions on Software Engineering and Methodology
, vol.6
, Issue.3
, pp. 250-282
-
-
Roman, G.-C.1
McCann, P.J.2
Plun, J.Y.3
|