-
2
-
-
35248840247
-
Design support for distributed systems: DSE4DS
-
J. Finney, M. Haahr, and A. Montressor (eds), Bologna, Italy, October
-
D. H. Akehurst, B. Bordbar, J. Derrick, and A. G. Waters, "Design Support for Distributed Systems: DSE4DS, " in J. Finney, M. Haahr, and A. Montressor (eds) proceedings 7th Cabernet Radicals Workshop, Bologna, Italy, October 2002.
-
(2002)
Proceedings 7th Cabernet Radicals Workshop
-
-
Akehurst, D.H.1
Bordbar, B.2
Derrick, J.3
Waters, A.G.4
-
6
-
-
84936991869
-
The unified modeling language version 1. 4
-
OMG, Septamber
-
OMG, "The Unified Modeling Language Version 1. 4, " Object Management Group formal/01-09-67, Septamber 2001.
-
(2001)
Object Management Group formal/01-09-67
-
-
-
7
-
-
35248846242
-
A UML approach to the design of open distributed systems
-
C. George and H. Miao (eds). ICFEM 2002, Springer, Lecture Notes in Computer Science, Shanghai, China, October
-
B. Bordbar, J. Derrick, and A. G. Waters, "A UML Approach to the Design of Open Distributed Systems, " in C. George and H. Miao (eds) proceedings Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002, Springer, Lecture Notes in Computer Science, 2495, Shanghai, China, pp. 561-572, October 2002.
-
(2002)
Proceedings Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods
, vol.2495
, pp. 561-572
-
-
Bordbar, B.1
Derrick, J.2
Waters, A.G.3
-
9
-
-
2942623165
-
-
PhD thesis, Department of Informatics, Faculty of Mathematics and Natural Sciences, The University of Oslo
-
J. Ø. Aagedal, "Quality of Service Support in Development of Distributed Systems, " PhD thesis, Department of Informatics, Faculty of Mathematics and Natural Sciences, The University of Oslo, 2001
-
(2001)
Quality of Service Support in Development of Distributed Systems
-
-
Aagedal J.Ø.1
-
13
-
-
84936998323
-
-
D. H. Akehurst, B. Bordbar, J. Derrick, and A. G. Waters, "Design Support for Distributed Systems (DSE4DS) Project Home Page, " 2000, http://www. cs. ukc. ac. uk/projects/dse4ds/index. html
-
(2000)
Design Support for Distributed Systems (DSE4DS) Project Home Page
-
-
Akehurst, D.H.1
Bordbar, B.2
Derrick, J.3
Waters, A.G.4
-
14
-
-
0036722895
-
A formal framework for viewpoint consistency
-
September
-
H. Bowman, M. Steen, E. Boiten, and J. Derrick, "A formal framework for viewpoint consistency, " Formal Methods in System Design, vol. 21, pp. 111-166, September 2002.
-
(2002)
Formal Methods in System Design
, vol.21
, pp. 111-166
-
-
Bowman, H.1
Steen, M.2
Boiten, E.3
Derrick, J.4
-
15
-
-
17744390435
-
Specifying ODP computational objects in z
-
Paris, France, March
-
R. O. Sinnott and K. J. Turner, "Specifying ODP Computational Objects in Z, " in proceedings 1st International Workshop on Formal Methods for Open Object-Based Distributed Systems, Paris, France, pp. 375-390, March 1996.
-
(1996)
Proceedings 1st International Workshop on Formal Methods for Open Object-Based Distributed Systems
, pp. 375-390
-
-
Sinnott, R.O.1
Turner, K.J.2
-
18
-
-
84936989980
-
-
D. H. Akehurst, S. Kent, O. Patrascoiu, and R. Smith, "The Kent Modelling Framework, " 2002, www. cs. kent. ac. uk/kmf
-
(2002)
The Kent Modelling Framework
-
-
Akehurst, D.H.1
Kent, S.2
Patrascoiu, O.3
Smith, R.4
-
20
-
-
79955159194
-
A relational approach to defining transformations in a metamodel
-
S. Cook (eds), Dresden, Germany
-
D. H. Akehurst and S. Kent, "A Relational Approach to Defining Transformations in a Metamodel, " in S. Cook (eds) proceedings The Unified Modeling Language 5th International Conference, LNCS, 2460, Dresden, Germany, pp. 305-320, 2002.
-
(2002)
Proceedings the Unified Modeling Language 5th International Conference, LNCS 2460
, pp. 305-320
-
-
Akehurst, D.H.1
Kent, S.2
-
21
-
-
84936935199
-
Options for expressing ODP Enterprise Communities and their Policies by using UML
-
Silver Spring, September
-
P. F. Linington, "Options for expressing ODP Enterprise Communities and their Policies by using UML, " in proceedings 3rd International Conference on Enterprise Distributed Object Computing (EDOC99), IEEE, Silver Spring, pp. 72-82, September 1999.
-
(1999)
Proceedings 3rd International Conference on Enterprise Distributed Object Computing (EDOC99), IEEE
, pp. 72-82
-
-
Linington, P.F.1
-
23
-
-
0001084099
-
ODP enterprise viewpoint specification
-
September
-
M. Steen and J. Derrick, "ODP Enterprise Viewpoint Specification, " Computer Standards and Interfaces, vol. 22, pp. 165-189, September 2000.
-
(2000)
Computer Standards and Interfaces
, vol.22
, pp. 165-189
-
-
Steen, M.1
Derrick, J.2
-
25
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
D. Harel, "Statecharts: A Visual Formalism for Complex Systems, " Science of Computer Programming, vol. 8, pp. 231-274, 1987.
-
(1987)
Science of Computer Programming
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
26
-
-
84937015333
-
Synchronized multimedia integration language (SMIL) 1. 0 specification
-
June
-
P. Hoschka, "Synchronized Multimedia Integration Language (SMIL) 1. 0 Specification, " WC3 REC-smil-19980615, June 1998.
-
(1998)
WC3 REC-smil-19980615
-
-
Hoschka, P.1
-
27
-
-
84936999501
-
-
TINA, TINA Consortium Document No. TR-NM. 002-1. 3-95, June
-
TINA, "TINA Object Definition Language (TINA-ODL) Manual, " TINA Consortium Document No. TR-NM. 002-1. 3-95, June 1995.
-
(1995)
TINA Object Definition Language (TINA-ODL) Manual
-
-
-
28
-
-
0006872609
-
A specification architecture for multimedia systems in open distributed processing
-
G. Blair, L. Blair, and J.-B. Stefani, "A Specification Architecture for Multimedia Systems in Open Distributed Processing, " Computer Networks and ISDN Systems, Special Issue on Specification Architecture, vol. 29, pp. 473-500, 1997.
-
(1997)
Computer Networks and ISDN Systems, Special Issue on Specification Architecture
, vol.29
, pp. 473-500
-
-
Blair, G.1
Blair, L.2
Stefani, J.-B.3
-
29
-
-
84946229162
-
Specifying and measuring quality of service in distributed object systems
-
J. P. Loyall, R. E. Schantz, J. A. Zinky, and D. E. Bakken, "Specifying and Measuring Quality of Service in Distributed Object Systems, " in proceedings First International Symposium on Object-Oriented Real-time Distributed Computing (ISORC 98), pp. 43-52.
-
Proceedings First International Symposium on Object-Oriented Real-time Distributed Computing (ISORC 98)
, pp. 43-52
-
-
Loyall, J.P.1
Schantz, R.E.2
Zinky, J.A.3
Bakken, D.E.4
-
30
-
-
79955154312
-
Modelling QoS: Towards a UML Profile
-
J.-M. Jezequel, H. Hussmann, and S. Cook (eds). Springer, LNCS, LNCS 2460, Dresden, Germany, October
-
J. Ø. Aagedal and E. F. Ecklund, "Modelling QoS: Towards a UML Profile, " in J.-M. Jezequel, H. Hussmann, and S. Cook (eds) proceedings UML 2002 The Unified Modeling Language: Model Engineering, Concepts, and Tools, Springer, LNCS, LNCS 2460, Dresden, Germany, pp. 275-289, October 2002.
-
(2002)
Proceedings UML 2002 the Unified Modeling Language: Model Engineering, Concepts, and Tools
, pp. 275-289
-
-
Aagedal J.Ø.1
Ecklund, E.F.2
-
33
-
-
0037037406
-
Using UML to specify QoS constraints in ODP
-
B. Bordbar, J. Derrick, and A. G. Waters, "Using UML to specify QoS constraints in ODP, " Computer Networks, vol. 40, pp. 279-304, 2002.
-
(2002)
Computer Networks
, vol.40
, pp. 279-304
-
-
Bordbar, B.1
Derrick, J.2
Waters, A.G.3
-
34
-
-
0034500552
-
A method for the design and development of distributed applications using UML
-
Sydney, Australia, November
-
M. Born, M. Holz, and M. Kath, "A Method for the Design and Development of Distributed Applications using UML, " in proceedings International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific), IEEE Computer Society Press, Sydney, Australia, November 2000.
-
(2000)
Proceedings International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific), IEEE Computer Society Press
-
-
Born, M.1
Holz, M.2
Kath, M.3
-
36
-
-
11744269353
-
A survey of QoS architectures
-
C. Aurrecoechea, A. T. Campbell, and L. Hauw, "A survey of QoS architectures, " Multimedia Systems, vol. 6, pp. 138-151, 1998.
-
(1998)
Multimedia Systems
, vol.6
, pp. 138-151
-
-
Aurrecoechea, C.1
Campbell, A.T.2
Hauw, L.3
-
37
-
-
84947916764
-
Specifying QoS for multimedia communications within distributed programming environments
-
G. Ventre, J. Domingo-Pascual, and A. Dantine (eds), Springer, Lecture Notes in Computer Science, Barcelona, Spain, November
-
D. G. Waddington, G. Coulson, and D. Hutchison, "Specifying QoS for Multimedia Communications within Distributed Programming Environments, " in G. Ventre, J. Domingo-Pascual, and A. Dantine (eds) proceedings Multimedia Telecommunications and Applications, Third International COST 237 Workshop, Springer, Lecture Notes in Computer Science, 1185, Barcelona, Spain, pp. 75-103, November 1996.
-
(1996)
Proceedings Multimedia Telecommunications and Applications, Third International COST 237 Workshop
, vol.1185
, pp. 75-103
-
-
Waddington, D.G.1
Coulson, G.2
Hutchison, D.3
-
39
-
-
84949450629
-
ODP view on quality of service for open distributed multimedia environments
-
A. Vogel and J. d. Meer (eds), Paris, France, March
-
P. Leydekkers and V. Gay, "ODP View on Quality of Service for Open Distributed Multimedia Environments, " in A. Vogel and J. d. Meer (eds) proceedings 4th International IFIP Workshop on QoS (IWQOS'96), Paris, France, March 1996.
-
(1996)
Proceedings 4th International IFIP Workshop on QoS (IWQOS'96)
-
-
Leydekkers, P.1
Gay, V.2
-
41
-
-
70349568565
-
Conceptual modeling of complex systems using an RM-ODP based ontology
-
Seattle, USA, September
-
A. Naumenko and A. Wegmann, "Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology, " in proceedings 5th IEEE International Enterprise Distributed Object Computing Conference-EDOC 2001, Seattle, USA, pp. 200-211, September 2001.
-
(2001)
Proceedings 5th IEEE International Enterprise Distributed Object Computing Conference-EDOC 2001
, pp. 200-211
-
-
Naumenko, A.1
Wegmann, A.2
-
42
-
-
35248829105
-
-
University of Kent at Canterbury 1-03, January
-
D. H. Akehurst, B. Bordbar, J. Derrick, and A. G. Waters, "Design and Verification of Distributed Multi-media Systems, " University of Kent at Canterbury 1-03, January 2003.
-
(2003)
Design and Verification of Distributed Multi-media Systems
-
-
Akehurst, D.H.1
Bordbar, B.2
Derrick, J.3
Waters, A.G.4
|