-
2
-
-
12344308304
-
Basic concepts and taxonomy of dependable and secure computing
-
A. Avizienis, J.-C. Laprie, B. Randell, C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing", IEEE Transactions on Dependable and Secure Computing, Volume 1, Issue 1, 2004, pp. 11-33.
-
(2004)
IEEE Transactions on Dependable and Secure Computing
, vol.1
, Issue.1
, pp. 11-33
-
-
Avizienis, A.1
Laprie, J.-C.2
Randell, B.3
Landwehr, C.4
-
3
-
-
0004161809
-
Software Product Lines: Practices and Patterns
-
Addison-Wesley, Boston
-
Clements, P., L. Northrop, Software Product Lines: Practices and Patterns, The SEI Series in Software Engineering, Addison-Wesley, Boston, 2002.
-
(2002)
The SEI Series in Software Engineering
-
-
Clements, P.1
Northrop, L.2
-
4
-
-
85178869348
-
-
H. Espinoza, J. Medina, H. Dubois, S. Gérard, F. Terrier, Towards a UML-Based Modelling Standard for Schedulability Analysis of Real-Time Systems, MARTES Workshop Proceedings, at MODELS Conference, available at http://wo.uio.no/as/WebObjects/theses.woa/wa/these?WORK ID=45427, 2006.
-
H. Espinoza, J. Medina, H. Dubois, S. Gérard, F. Terrier, "Towards a UML-Based Modelling Standard for Schedulability Analysis of Real-Time Systems", MARTES Workshop Proceedings, at MODELS Conference, available at http://wo.uio.no/as/WebObjects/theses.woa/wa/these?WORK ID=45427, 2006.
-
-
-
-
5
-
-
85178862437
-
-
P.H. Feiler, B. Lewis, S. Vestal, Improving Predictability in Embedded Real-Time Systems, Software Engineering Institute, Special Report, CMU/SEI-2000-SR-O11, 2000.
-
P.H. Feiler, B. Lewis, S. Vestal, "Improving Predictability in Embedded Real-Time Systems", Software Engineering Institute, Special Report, CMU/SEI-2000-SR-O11, 2000.
-
-
-
-
7
-
-
4544317382
-
Efficient System Modeling of Complex Real-time Industrial Networks Using The ACCORD/UML Methodology
-
Germany
-
S. Gérard, et al, "Efficient System Modeling of Complex Real-time Industrial Networks Using The ACCORD/UML Methodology", Architecture and Design of Distributed Embedded Systems (DIPES 2000), Kluwer Academic Publishers, Paderborn University, Germany, 2000.
-
(2000)
Architecture and Design of Distributed Embedded Systems (DIPES 2000), Kluwer Academic Publishers, Paderborn University
-
-
Gérard, S.1
-
8
-
-
85178853402
-
-
ISO CD 26262 (planned for end 2007).
-
ISO CD 26262 (planned for end 2007).
-
-
-
-
9
-
-
85178856493
-
-
K.C. Kang, S.G. Cohen, J.A. Hess, W.E. Novak, A.S. Peterson, Feature Oriented Domain Analysis (FODA) - Feasibility Study, Software Engineering Institute, Technical Report, CMU/SEI-90-TR-21,1990.
-
K.C. Kang, S.G. Cohen, J.A. Hess, W.E. Novak, A.S. Peterson, Feature Oriented Domain Analysis (FODA) - Feasibility Study, Software Engineering Institute, Technical Report, CMU/SEI-90-TR-21,1990.
-
-
-
-
10
-
-
0032343158
-
FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures
-
K.C. Kang, S. Kim, J. Lee, E. Shin, M. Huh, "FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures", Annals of Software Engineering, 5, 1998, pp. 143-168.
-
(1998)
Annals of Software Engineering
, vol.5
, pp. 143-168
-
-
Kang, K.C.1
Kim, S.2
Lee, J.3
Shin, E.4
Huh, M.5
-
12
-
-
85178854518
-
-
Object Management Group, UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP, realtime/05-02-06, 2005.
-
Object Management Group, UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP, realtime/05-02-06, 2005.
-
-
-
-
13
-
-
85178855631
-
-
Object Management Group, UML Profile for Schedulability, Performance, and Time, Version 1.1, formal/05-01-02, 2005
-
Object Management Group, UML Profile for Schedulability, Performance, and Time, Version 1.1., formal/05-01-02, 2005.
-
-
-
-
14
-
-
85178864239
-
-
Object Management Group, Systems Modeling Language (SysML) Specification, ptc/06-05-04, 2006.
-
Object Management Group, Systems Modeling Language (SysML) Specification, ptc/06-05-04, 2006.
-
-
-
-
15
-
-
0028257391
-
Critical system properties: Survey and taxonomy
-
J. Rushby, "Critical system properties: Survey and taxonomy", Reliability Engineering and System Safety, 43(2), 1994, pp. 189-214.
-
(1994)
Reliability Engineering and System Safety
, vol.43
, Issue.2
, pp. 189-214
-
-
Rushby, J.1
-
16
-
-
34248217551
-
Managing highly complex product families with multi-level feature trees
-
IEEE Computer Society
-
M.-O. Reiser, M. Weber, "Managing highly complex product families with multi-level feature trees", Proceedings of the 14,h IEEE International Requirements Engineering Conference, RE, IEEE Computer Society, 2006, pp. 146-155.
-
(2006)
Proceedings of the 14,h IEEE International Requirements Engineering Conference, RE
, pp. 146-155
-
-
Reiser, M.-O.1
Weber, M.2
-
18
-
-
33646173410
-
Using variation propagation for Model-Driven Management of a System Family
-
Proceedings of the 9th International Conference on Software Product Lines, SPLC
-
P. Tessier, S. Gérard, F. Terrier, J.-M. Geib, "Using variation propagation for Model-Driven Management of a System Family", Proceedings of the 9th International Conference on Software Product Lines, SPLC, LNCS 3714, 2005, pp. 222-233.
-
(2005)
LNCS
, vol.3714
, pp. 222-233
-
-
Tessier, P.1
Gérard, S.2
Terrier, F.3
Geib, J.-M.4
|