-
1
-
-
33344465743
-
Model-driven engineering
-
Schmidt, D.: Model-driven engineering. IEEE Computer Magazine 39(2) (2006)
-
(2006)
IEEE Computer Magazine
, vol.39
, Issue.2
-
-
Schmidt, D.1
-
3
-
-
70350665325
-
-
Bass, L., Ivers, J., Klein, M., Merson, P.: Reasoning frameworks. Technical Report CMU/SEI-2005-TR-007, Software Engineering Institute (2005)
-
Bass, L., Ivers, J., Klein, M., Merson, P.: Reasoning frameworks. Technical Report CMU/SEI-2005-TR-007, Software Engineering Institute (2005)
-
-
-
-
4
-
-
0004147882
-
-
Kluwer Academic Publishers, Dordrecht
-
Klein, M.H., Ralya, T., Pollak, B., Obenza, R., Gonzalez Harbour, M.: A practitioner's handbook for real-time analysis. Kluwer Academic Publishers, Dordrecht (1993)
-
(1993)
A practitioner's handbook for real-time analysis
-
-
Klein, M.H.1
Ralya, T.2
Pollak, B.3
Obenza, R.4
Gonzalez Harbour, M.5
-
5
-
-
70350693323
-
-
Hissam, S., Klein, M., Lehoczky, J., Merson, P., Moreno, G., Wallnau, K.: Performance property theories for predictable assembly from certifiable components (PACC). Technical Report CMU/SEI-2004-TR-017, Software Engineering Institute (2004)
-
Hissam, S., Klein, M., Lehoczky, J., Merson, P., Moreno, G., Wallnau, K.: Performance property theories for predictable assembly from certifiable components (PACC). Technical Report CMU/SEI-2004-TR-017, Software Engineering Institute (2004)
-
-
-
-
6
-
-
70350652879
-
-
Gamma, E., Beck, K.: Contributing to Eclipse: Principles, Patterns, and Plug-Ins. Addison-Wesley, Reading (2003)
-
Gamma, E., Beck, K.: Contributing to Eclipse: Principles, Patterns, and Plug-Ins. Addison-Wesley, Reading (2003)
-
-
-
-
8
-
-
0028202307
-
Timing analysis for fixed-priority scheduling of hard real-time systems
-
Gonzalez Harbour, M., Klein, M., Lehoczky, J.: Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Trans. Softw. Eng. 20(1) (1994)
-
(1994)
IEEE Trans. Softw. Eng
, vol.20
, Issue.1
-
-
Gonzalez Harbour, M.1
Klein, M.2
Lehoczky, J.3
-
9
-
-
0024684902
-
Aperiodic task scheduling for hard real-time systems
-
Sprunt, B., Sha, L., Lehoczky, J.: Aperiodic task scheduling for hard real-time systems. Real-Time Systems 1(1) (1989)
-
(1989)
Real-Time Systems
, vol.1
, Issue.1
-
-
Sprunt, B.1
Sha, L.2
Lehoczky, J.3
-
10
-
-
0038521632
-
Enabling predictable assembly
-
Hissam, S., Moreno, G., Stafford, J., Wallnau, K.: Enabling predictable assembly. Journal of Systems and Software 65(3), 185-198 (2003)
-
(2003)
Journal of Systems and Software
, vol.65
, Issue.3
, pp. 185-198
-
-
Hissam, S.1
Moreno, G.2
Stafford, J.3
Wallnau, K.4
-
11
-
-
70350698531
-
-
Jouault, F., Kurtev, I.: Transforming models with ATL. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, 3713. Springer, Heidelberg (2005)
-
Jouault, F., Kurtev, I.: Transforming models with ATL. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713. Springer, Heidelberg (2005)
-
-
-
-
12
-
-
84884692467
-
MAST: Modeling and analysis suite for real time applications
-
Gonzalez Harbour, M., Gutierrez Garcia, J.J., Palencia Gutierrez, J.C., Drake Moyano, J.M.: MAST: Modeling and analysis suite for real time applications. In: The 13th Euromicro Conference on Real-Time Systems (2001)
-
(2001)
The 13th Euromicro Conference on Real-Time Systems
-
-
Gonzalez Harbour, M.1
Gutierrez Garcia, J.J.2
Palencia Gutierrez, J.C.3
Drake Moyano, J.M.4
-
13
-
-
0036929122
-
-
Krahl, D.: Extend: the Extend simulation environment. In:WSC 2002: Proceedings of the 34th Winter Simulation Conference (2002)
-
Krahl, D.: Extend: the Extend simulation environment. In:WSC 2002: Proceedings of the 34th Winter Simulation Conference (2002)
-
-
-
-
14
-
-
33745642878
-
From design to analysis models: A kernel language for performance and reliability analysis of component-based systems
-
Grassi, V., Mirandola, R., Sabetta, A.: From design to analysis models: a kernel language for performance and reliability analysis of component-based systems. In: 5th International Workshop on Software and Performance (2005)
-
(2005)
5th International Workshop on Software and Performance
-
-
Grassi, V.1
Mirandola, R.2
Sabetta, A.3
-
15
-
-
33748990901
-
A model transformation framework for the automated building of performance models from UML models
-
D'Ambrogio, A.: A model transformation framework for the automated building of performance models from UML models. In: 5th International Workshop on Software and Performance (2005)
-
(2005)
5th International Workshop on Software and Performance
-
-
D'Ambrogio, A.1
-
17
-
-
33746082695
-
Performance by unified model analysis (PUMA)
-
Woodside, M., Petriu, D., Petriu, D., Shen, H., Israr, T., Merseguer, J.: Performance by unified model analysis (PUMA). In: 5th International Workshop on Software and Performance (2005)
-
(2005)
5th International Workshop on Software and Performance
-
-
Woodside, M.1
Petriu, D.2
Petriu, D.3
Shen, H.4
Israr, T.5
Merseguer, J.6
-
19
-
-
25844471537
-
Tuning systems: From composition to performance
-
The Needham Lecture paper
-
Hillston, J.: Tuning systems: From composition to performance. The Computer Journal 48(4), 385-400 (2005) (The Needham Lecture paper)
-
(2005)
The Computer Journal
, vol.48
, Issue.4
, pp. 385-400
-
-
Hillston, J.1
-
20
-
-
84959928148
-
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling
-
Haring, G, Kotsis, G, eds, TOOLS 1994, Springer, Heidelberg
-
Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol. 794, pp. 353-368. Springer, Heidelberg (1994)
-
(1994)
LNCS
, vol.794
, pp. 353-368
-
-
Gilmore, S.1
Hillston, J.2
-
21
-
-
34748918915
-
Model-based performance prediction with the palladio component model
-
ACM, New York
-
Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the palladio component model. In: WOSP 2007: Proceedings of the 6th International Workshop on Software and Performance, pp. 54-65. ACM, New York (2007)
-
(2007)
WOSP 2007: Proceedings of the 6th International Workshop on Software and Performance
, pp. 54-65
-
-
Becker, S.1
Koziolek, H.2
Reussner, R.3
-
22
-
-
70350688901
-
-
Hissam, S., Hudak, J., Ivers, J., Klein, M., Larsson, M., Moreno, G., Northrop, L., Plakosh, D., Stafford, J., Wallnau, K., Wood, W.: Predictable assembly of substation automation systems: An experiment report, second edition. Technical Report CMU/SEI-2002-TR-031, Software Engineering Institute (2003)
-
Hissam, S., Hudak, J., Ivers, J., Klein, M., Larsson, M., Moreno, G., Northrop, L., Plakosh, D., Stafford, J., Wallnau, K., Wood, W.: Predictable assembly of substation automation systems: An experiment report, second edition. Technical Report CMU/SEI-2002-TR-031, Software Engineering Institute (2003)
-
-
-
-
23
-
-
20944440553
-
Predictable assembly: The crystal ball to software
-
Larsson, M., Wall, A., Wallnau, K.: Predictable assembly: The crystal ball to software. ABB Review (2), 49-54 (2005)
-
(2005)
ABB Review
, vol.2
, pp. 49-54
-
-
Larsson, M.1
Wall, A.2
Wallnau, K.3
-
24
-
-
52149086752
-
Predicting the behavior of a highly configurable component based real- time system
-
IEEE Computer Society, Los Alamitos
-
Hissam, S., Moreno, G.A., Plakosh, D., Savo, I., Stelmarczyk, M.: Predicting the behavior of a highly configurable component based real- time system. In: ECRTS 2008: Proceedings of the 20th Euromicro Conference on Real-Time Systems. IEEE Computer Society, Los Alamitos (2008)
-
(2008)
ECRTS 2008: Proceedings of the 20th Euromicro Conference on Real-Time Systems
-
-
Hissam, S.1
Moreno, G.A.2
Plakosh, D.3
Savo, I.4
Stelmarczyk, M.5
-
25
-
-
4944255618
-
Experience using an expert system to assist an architect in designing for modifiability
-
Bachmann, F., Bass, L.J., Klein, M., Shelton, C.P.: Experience using an expert system to assist an architect in designing for modifiability. In: 4thWorking IEEE/IFIP Conference on Software Architecture (WICSA) (2004)
-
(2004)
4thWorking IEEE/IFIP Conference on Software Architecture (WICSA)
-
-
Bachmann, F.1
Bass, L.J.2
Klein, M.3
Shelton, C.P.4
|