Severalconferenceand workshopseriesarededicated to formalcomponent m- els and their use in veri?cation and quality prediction, such as FMCO, CBSE, FESCA,FACS andQoSA. There are a plethoraof componentmodels published, all with speci?c merits and bene?ts. However, most often these models are not used for comparison, as each research group concentrates on di?erent aspects of formal component modelling and quality prediction. Like the famous pro- 1 duction cell approach of the FZI, Karlsruhe, which has served since 1995 as a common example for di?erent embedded systems safety veri?cation, in this v- ume we de?ne a commonexample for modelling approachesof component-based systems. This Common Component Modelling Example enables the compa- bility of di?erent approaches, the validation of existing models, a better focus of research to tackle aspects less frequently dealt within the classi?cation of - isting models and approaches, an eased interchange of research ideas, as well as a simpli?ed and increased coordination and research collaborations to join complementary models and approaches. In this volume we de?ne the Common Component Modelling Example and present the models in current modelling and analysis approaches.
The book concludes with comments on each modelling approach by an international jury. August 2007 Andreas Rausch Ralf Reussner Ra?aela Mirandola Franti? sek Pl' a? sil 1 Springer LNCS vol. 891. Organization The Dagstuhl research seminar for CoCoME (Common Component Modelling Example)modellingcontestispartofaseriesofseminarsorganizedwithsupport by the German Computer Science Society (Gesellschaft fu ..r Informatik,GI). It was held during August 1-3, 2007 at Schloss Dagstuhl, Germany, as event number 07312.
- ISBN:
- 9783540852889
- 9783540852889
-
Category:
- Software Engineering
- Format:
- Paperback
- Publication Date:
-
26-08-2008
- Language:
- English
- Publisher:
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Country of origin:
- Germany
- Pages:
- 460
- Dimensions (mm):
- 235x155x24mm
- Weight:
- 0.72kg
This title is in stock with our Australian supplier and should arrive at our Sydney warehouse within 2 - 3 weeks of you placing an order.
Once received into our warehouse we will despatch it to you with a Shipping Notification which includes online tracking.
Please check the estimated delivery times below for your region, for after your order is despatched from our warehouse:
ACT Metro: 2 working days
NSW Metro: 2 working days
NSW Rural: 2-3 working days
NSW Remote: 2-5 working days
NT Metro: 3-6 working days
NT Remote: 4-10 working days
QLD Metro: 2-4 working days
QLD Rural: 2-5 working days
QLD Remote: 2-7 working days
SA Metro: 2-5 working days
SA Rural: 3-6 working days
SA Remote: 3-7 working days
TAS Metro: 3-6 working days
TAS Rural: 3-6 working days
VIC Metro: 2-3 working days
VIC Rural: 2-4 working days
VIC Remote: 2-5 working days
WA Metro: 3-6 working days
WA Rural: 4-8 working days
WA Remote: 4-12 working days
Share This Book: