Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Editions universitaires europeennes, 2010
ISBN 10: 6131511705ISBN 13: 9786131511707
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Editions universitaires europeennes, 2010
ISBN 10: 6131511705ISBN 13: 9786131511707
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Book Print on Demand
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by Editions Universitaires Europeennes, 2010
ISBN 10: 6131511705ISBN 13: 9786131511707
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Editions Universitaires Europeennes 2010-06, 2010
ISBN 10: 6131511705ISBN 13: 9786131511707
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Éditions Universitaires Européennes Jul 2010, 2010
ISBN 10: 6131511705ISBN 13: 9786131511707
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ce livre propose des méthodes assistant la modélisation et l'évaluation de l'architecture de sûreté de fonctionnement des systèmes embarqués complexes. Ces méthodes sont basées sur des motifs généraux d'architectures de systèmes correspondant à des éléments de sûreté. Le principe est celui des 'patrons de conception' développés en génie logiciel. Ces patrons peuvent être formalisés à l'aide de langages formels comme AltaRica. Dans notre cas, les motifs correspondent à des abstractions d'architectures concrètes et donc requièrent une modélisation plus déclarative. Les propriétés étudiées étant en général dynamiques, nous avons choisi d'utiliser une logique temporelle pour les exprimer. Les motifs sont donc constitués d'une partie en AltaRica et d'une partie de propriétés. Ce type de modélisation mixte possède plusieurs intérêts, notamment lors de la conception en phase amont d'architectures de systèmes où il est possible de manipuler à la fois des parties clairement définies d'un système et des spécifications. Elle a également pour buts de faciliter l'allocation d'exigences pour la validation d'architectures ainsi que le prototypage. 160 pp. Französisch.
Published by Editions universitaires europeennes, 2010
ISBN 10: 6131511705ISBN 13: 9786131511707
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Book Print on Demand
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by Éditions Universitaires Européennes, 2010
ISBN 10: 6131511705ISBN 13: 9786131511707
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Ce livre propose des méthodes assistant la modélisation et l'évaluation de l'architecture de sûreté de fonctionnement des systèmes embarqués complexes. Ces méthodes sont basées sur des motifs généraux d'architectures de systèmes correspondant à des éléments de sûreté. Le principe est celui des 'patrons de conception' développés en génie logiciel. Ces patrons peuvent être formalisés à l'aide de langages formels comme AltaRica. Dans notre cas, les motifs correspondent à des abstractions d'architectures concrètes et donc requièrent une modélisation plus déclarative. Les propriétés étudiées étant en général dynamiques, nous avons choisi d'utiliser une logique temporelle pour les exprimer. Les motifs sont donc constitués d'une partie en AltaRica et d'une partie de propriétés. Ce type de modélisation mixte possède plusieurs intérêts, notamment lors de la conception en phase amont d'architectures de systèmes où il est possible de manipuler à la fois des parties clairement définies d'un système et des spécifications. Elle a également pour buts de faciliter l'allocation d'exigences pour la validation d'architectures ainsi que le prototypage.
Published by Éditions universitaires européennes, 2010
ISBN 10: 6131511705ISBN 13: 9786131511707
Seller: moluna, Greven, Germany
Book
Condition: New.