15. ECBS 2008: Belfast, Northern Ireland
15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland. IEEE Computer Society 2008
Noel E. Sharkey: Robotics Today: The Good, Bad, and Ugly. 3-4
Brian Randell: System Complexity and System Failures. 5
Yan Liu, Jing Zhang, Michael Jiang, David Raymer, John Strassner: A Case Study: A Model-Based Approach to Retrofit a Network Fault Management System with Self-Healing Functionality. 9-18
Philippe Aniorté, Jérôme Lacouture: CompAA : A Self-Adaptable Component Model for Open Systems. 19-25
Horst F. Wedde, Sebastian Lehnhoff, Kai M. Moritz, Edmund Handschin, Olav Krause: Distributed Learning Strategies for Collaborative Agents in Adaptive Decentralized Power Systems. 26-35
Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes: Goal-Based Modeling of Dynamically Adaptive System Requirements. 36-45
Marcel Seelig, Stephan Kluth, Tomasz Porzucek, Flavius Copaciu, Nico Naumann, Steffen Kühn: Comparison of Simulation and Performance Modeling - A Case Study. 49-56
Mathias Fritzsche, Wasif Gilani, Ivor T. A. Spence, T. John Brown, Peter Kilpatrick, Rabih Bashroush: Towards Performance Related Decision Support for Model Driven Engineering of Enterprise SOA Applications. 57-65
James H. Hill, Douglas C. Schmidt, Adam A. Porter, John M. Slaby: CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments. 66-75
Artem Parakhine, John Leaney, Tim O'Neill: Design Guidance Using Simulation-Based Bayesian Belief Networks. 76-84
Peter Wallin, Jakob Axelsson: A Case Study of Issues Related to Automotive E/E System Architecture Development. 87-95
Muhammad Ali Babar, Andrew Northway, Ian Gorton, Paul Heuer, Thong Nguyen: Introducing Tool Support for Managing Architectural Knowledge: An Experience Report. 105-113
Constantin Enea: Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. 126-135
Inès Mouakher, Jeanine Souquières, Francis Alexandre: Protocol Verification in a Software Component-Based Approach. 136-145
Jin-Suk Kang, Yonghee You, Mee Young Sung: Implementation of a Modular Mobile Mapping in a Geocomputing Platform for Location-Based Services Using Geographic Recognition. 149-158
Abbas Cheddad, Joan Condell, Kevin Curran, Paul McKevitt: Biometric Inspired Digital Image Steganography. 159-168
Petr Matousek, Jaroslav Ráb, Ondrej Rysavy, Miroslav Svéda: A Formal Model for Network-Wide Security Analysis. 171-181
Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard: An Interval-Based Solution for Static Analysis in the SIGNAL Language. 182-190
Tony Spiteri Staines: Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. 191-200
Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton: Fuzzy Logic-Based Performance Assessment in the Virtual, Assistive Surgical Trainer (VAST). 203-209
Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata: A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. 210-218
Roy Harper, Peter Nicholl, Michael F. McTear, Jonathan G. Wallace, Lesley-Ann Black, Patricia Kearney: Automated Phone Capture of Diabetes Patients Readings with Consultant Monitoring via the Web. 219-226
Claudio Talarico, David Freiberger, Tyler Jones, Brandon Hopkins, Charlie Herr, Min-Sung Koh, Esteban Rodriguez-Marek: A Hybrid Approach for Modeling and Assessing Performance of Embedded Systems in a Biologically Critical Application. 227-232
Matthias Riebisch, Robert Brcina: Optimizing Design for Variability Using Traceability Links. 235-244
Jennifer Pérez, Isidro Ramos, José A. Carsí: Taking Advantage of COTS for Developing Aspect-Oriented Software Architectures. 245-254
Leire Etxeberria, Goiuria Sagardui Mendieta: Evaluation of Quality Attribute Variability in Software Product Families. 255-264
Cheng Thao, Ethan V. Munson, Tien Nhut Nguyen: Software Configuration Management for Product Derivation in Software Product Families. 265-274
Mikaël Barbero, Frédéric Jouault, Jean Bézivin: Model Driven Management of Complex Systems: Implementing the Macroscope's Vision. 277-286
Cameron Maxwell, John Leaney, Tim O'Neill: Utilising Abstract Matching to Preserve the Nature of Heuristics in Design Optimisation. 287-296
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown, Wasif Gilani, Mathias Fritzsche: ALI: An Extensible Architecture Description Language for Industrial Applications. 297-304
Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen: A Model-Based Design Process for the SegBus Distributed Architecture. 307-316
Sébastien Lafond, Johan Lilius: Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. 317-325
Luigia Petre: Energy-Aware Middleware. 326-334
Diego Alonso, Cristina Vicente-Chicote, Olivier Barais: V3Studio: A Component-Based Architecture Modeling Language. 346-355
Rohit Saraswat, Brandon Eames: On the Use of DesertFD to Generate Custom Architectures for H.264 Motion Estimation. 359-368
Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho: Testable Specifications of NoTA-based Modular Embedded Systems. 375-383
Fabrizio Cannizzo, Gabriela Marcionetti, Paul Moser: The Toolbox of a Successful Software Craftsman. 389-397
Jann Thomas: Introducing Agile Development Practices from the Middle. 401-407
Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena: A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. 408-417
Masoumeh Taromirad, Raman Ramsin: An Appraisal of Existing Evaluation Frameworks for Agile Methodologies. 418-427
Kevin Logue, Kevin McDaid: Agile Release Planning: Dealing with Uncertainty in Development Time and Business Value. 437-442
Audrey Occello, Anne-Marie Pinna-Dery, Michel Riveill, Günter Kniesel: Managing Model Evolution Using the CCBM Approach. 453-462
László Angyal, László Lengyel, Hassan Charaf: A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering. 463-472
Reuven Gallant, Meir M. Lehman: The 2-chart Problem - Contemplating System Behavior in the Aggregate. 473-482
Steffen Skatulla, Detlef Hornbostel, Christian Erfurth, Wilhelm Rossak: Model-Driven Engineering with Large Models in the Context of Product Line Engineering with IBYKUS AP. 483-489
Peter Braun, Ronny Eckhaus: Experiences on Model-Driven Software Development for Mobile Applications. 490-493
David Connolly, Frank Keenan, Brendan Ryder: Tag Oriented Agile Requirements Identification. 497-498
Mohamed Benaouicha, Mohamed Tmar, Mohand Boughanem, Mohamed Abid: XML Information Retrieval Based on Tree Matching. 499-500
Malik Shahzad Kaleem Awan, Mian M. Awais: Towards a Generic Model for Forecasting Rain Duration Using GITIC Model. 501-502



