-
1
-
-
0002791719
-
DisCo toolset - The new generation
-
T. Aaltonen, M. Katara, and R. Pitkänen. DisCo toolset - the new generation. Journal of Universal Computer Science, 7(1):3-18, 2001.
-
(2001)
Journal of Universal Computer Science
, vol.7
, Issue.1
, pp. 3-18
-
-
Aaltonen, T.1
Katara, M.2
Pitkänen, R.3
-
3
-
-
0036642741
-
Extending standard UML with model composition semantics
-
July
-
S. Clarke. Extending standard UML with model composition semantics. Science of Computer Programming, 44(1):71-100, July 2002.
-
(2002)
Science of Computer Programming
, vol.44
, Issue.1
, pp. 71-100
-
-
Clarke, S.1
-
4
-
-
0006029493
-
-
Addison-Wesley
-
P. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers, R. Little, R. Nord, and J. Stafford. Documenting Software Architectures: Views and Beyond. Addison-Wesley, 2002.
-
(2002)
Documenting Software Architectures: Views and Beyond
-
-
Clements, P.1
Bachmann, F.2
Bass, L.3
Garlan, D.4
Ivers, J.5
Little, R.6
Nord, R.7
Stafford, J.8
-
5
-
-
84982876650
-
Termination detection for diffusing computations
-
Aug.
-
E. W. Dijkstra and C. S. Scholten. Termination detection for diffusing computations. Information Processing Letters, 11 (4): 1-4, Aug. 1980.
-
(1980)
Information Processing Letters
, vol.11
, Issue.4
, pp. 1-4
-
-
Dijkstra, E.W.1
Scholten, C.S.2
-
6
-
-
0034472289
-
Multi-perspective specification, design and implementation of software components using aspects
-
J. Grundy. Multi-perspective specification, design and implementation of software components using aspects. International Journal of Software Engineering and Knowledge Engineering, 10(6):713-734, 2000.
-
(2000)
International Journal of Software Engineering and Knowledge Engineering
, vol.10
, Issue.6
, pp. 713-734
-
-
Grundy, J.1
-
7
-
-
0141554401
-
Developing software components with the UML, Enterprise Java Beans and aspects
-
Canberra, Australia. IEEE CS Press
-
J. Grundy and R. Patel. Developing software components with the UML, Enterprise Java Beans and aspects. In Proc. 2001 Australian Software Engineering Conference, pages 127-136, Canberra, Australia, 2001. IEEE CS Press.
-
(2001)
Proc. 2001 Australian Software Engineering Conference
, pp. 127-136
-
-
Grundy, J.1
Patel, R.2
-
8
-
-
0141665873
-
A position on considerations in UML design of aspects
-
Enschede, The Netherlands, Apr.
-
W. Harrison, P. Tarr, and H. Ossher. A position on considerations in UML design of aspects. Position paper in Workshop on Aspect-Oriented Modelling with UML in conjunction with AOSD 2002, Enschede, The Netherlands, Apr. 2002.
-
(2002)
Position Paper in Workshop on Aspect-Oriented Modelling with UML in Conjunction with AOSD 2002
-
-
Harrison, W.1
Tarr, P.2
Ossher, H.3
-
10
-
-
0025085104
-
Object-oriented specification of reactive systems
-
IEEE CS Press
-
H.-M, Järvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systä, Object-oriented specification of reactive systems. In Proc, 12th International Conference on Software Engineering, pages 63-71. IEEE CS Press, 1990.
-
(1990)
Proc, 12th International Conference on Software Engineering
, pp. 63-71
-
-
Järvinen, H.-M.1
Kurki-Suonio, R.2
Sakkinen, M.3
Systä, K.4
-
11
-
-
0027577162
-
A superimposition control construct for distributed systems
-
Apr.
-
S. Katz. A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems, 15(2):337-356, Apr. 1993.
-
(1993)
ACM Transactions on Programming Languages and Systems
, vol.15
, Issue.2
, pp. 337-356
-
-
Katz, S.1
-
13
-
-
84949502758
-
A structural embedding of Ocsid in PVS
-
number 2152 in LNCS. Springer-Verlag
-
P. Kellomäki, A structural embedding of Ocsid in PVS. In Theorem Proving in Higher Order Logics, number 2152 in LNCS, pages 281-296. Springer-Verlag, 2001.
-
(2001)
Theorem Proving in Higher Order Logics
, pp. 281-296
-
-
Kellomäki, P.1
-
14
-
-
35048892058
-
Separating product variance and domain concepts in the specification of software product lines
-
Sophia Antipolis and Cannes, France, June
-
P. Kellomäki and T. Mikkonen. Separating product variance and domain concepts in the specification of software product lines. Position paper in ECOOP 2000 workshop on Aspects and Dimensions of Concerns, Sophia Antipolis and Cannes, France, June 2000.
-
(2000)
Position Paper in ECOOP 2000 Workshop on Aspects and Dimensions of Concerns
-
-
Kellomäki, P.1
Mikkonen, T.2
-
15
-
-
0141777784
-
Multi-dimensional separation of concerns and the Hyperspace approach
-
M. Aksit, editor. Kluwer Academic Publishers
-
H. Ossher and P. Tarr. Multi-dimensional separation of concerns and the Hyperspace approach. In M. Aksit, editor, Software Architectures and Component Technology. Kluwer Academic Publishers, 2001.
-
(2001)
Software Architectures and Component Technology
-
-
Ossher, H.1
Tarr, P.2
-
16
-
-
0003654334
-
Digital sound recorder: A case study on designing embedded systems using the UML notation
-
TUCS Turku Centre for Computer Science
-
I. Porres Paltor and J. Lilius. Digital sound recorder: A case study on designing embedded systems using the UML notation. Technical Report 234, TUCS Turku Centre for Computer Science, 1999.
-
(1999)
Technical Report
, vol.234
-
-
Porres Paltor, I.1
Lilius, J.2
-
17
-
-
0036392098
-
Open reuse of component designs in OPM/Web
-
Oxford, England, Aug. IEEE CS Press
-
I. Reinhartz-Berger, D. Dori, and S. Katz. Open reuse of component designs in OPM/Web. In Proc. COMPSAC 8002, pages 19-24, Oxford, England, Aug. 2002. IEEE CS Press.
-
(2002)
Proc. COMPSAC 8002
, pp. 19-24
-
-
Reinhartz-Berger, I.1
Dori, D.2
Katz, S.3
-
20
-
-
0141649314
-
Modeling of software concerns in Cosmos
-
Enschede, The Netherlands, Apr.
-
S. M. Sutton, Jr. and I. Rouvellou. Modeling of software concerns in Cosmos. In Proc. 1st International Conference on Aspect-Oriented Software Development, pages 127-133, Enschede, The Netherlands, Apr. 2002.
-
(2002)
Proc. 1st International Conference on Aspect-Oriented Software Development
, pp. 127-133
-
-
Sutton S.M., Jr.1
Rouvellou, I.2
-
22
-
-
0032643249
-
N degrees of separation: Multi-dimensional separation of concerns
-
Los Angeles, CA, USA, May. ACM Press
-
P. Tarr, H. Ossher, W. Harrison, and S. M. Sutton, Jr. N degrees of separation: Multi-dimensional separation of concerns. In Proc. 21st International Conference on Software Engineering, pages 107-119, Los Angeles, CA, USA, May 1999. ACM Press.
-
(1999)
Proc. 21st International Conference on Software Engineering
, pp. 107-119
-
-
Tarr, P.1
Ossher, H.2
Harrison, W.3
Sutton S.M., Jr.4
-
23
-
-
26744441409
-
Eliminating cycles from composed class hierarchies
-
Dept. Comp. Sci., Univ. of British Columbia, Canada
-
R. J. Walker. Eliminating cycles from composed class hierarchies. Technical Report TR-2000-07, Dept. Comp. Sci., Univ. of British Columbia, Canada, 2000.
-
(2000)
Technical Report
, vol.TR-2000-07
-
-
Walker, R.J.1
-
24
-
-
0141442810
-
-
DisCo WWW site. At http://disco.cs.tut.fi.
-
-
-
|