Abstract is missing.
- Using Integrative Models in an Advanced Heterogeneous System SimulationJacob Gulotta, Diyang Chu, Ximing Yu, Hussain Al-Helal Tapasya Patki, Jason Hansen, Maribel Hudson, Jonathan Sprinkle. 3-10 [doi]
- CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based SystemsSumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale. 11-20 [doi]
- Application Capturing and Performance Estimation in an Holistic Design EnvironmentMuhammad Rashid, Bernard Pottier. 21-30 [doi]
- Raising the Abstraction of Domain-Specific Model Translator DevelopmentTamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi. 31-37 [doi]
- A Task Tree Executor: New Runtime for Parallelized Legacy SoftwareMiroslav Popovic, Ilija Basicevic, Vladislav Vrtunski. 41-47 [doi]
- Semantically Enhanced Containers for Concurrent Real-Time SystemsDamian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup. 48-57 [doi]
- A Systematic Process for Implementing Gateways for Test ToolsJessica Díaz, Agustín Yagüe, Juan Garbajosa. 58-66 [doi]
- Modeling and Analysis of Probabilistic Timed SystemsAbhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty. 69-78 [doi]
- Using CSP to Model and Analyze TinyOS ApplicationsAllan I. McInnes. 79-88 [doi]
- Distributed BMC: A Depth-First Approach to Explore Clause SymmetryS. Campos, J. Neves, Luis E. Zárate, Mark A. J. Song. 89-94 [doi]
- On the Meaning of SysML Activity DiagramsYosr Jarraya, Mourad Debbabi, Jamal Bentahar. 95-105 [doi]
- Software Architectural Design Meets Security EngineeringStephan Bode, Anja Fischer, Winfried E. Kühnhauser, Matthias Riebisch. 109-118 [doi]
- Tradeoff and Sensitivity Analysis of a Hybrid Model for Ranking Commercial Off-the-Shelf ProductsHamdy Ibrahim, Behrouz H. Far, Armin Eberlein. 119-127 [doi]
- A Penny Saved is a Penny Earned: Applying Optimization Techniques to Power ManagementFahad Javed, Naveed Arshad. 128-137 [doi]
- Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines ApplicationsNasreddine Aoumeur, Kamel Barkaoui, Gunter Saake. 138-146 [doi]
- Algorithms for Synthesizing Safe Sets of Operation for Embedded SystemsAbhishek Dubey. 149-155 [doi]
- A Semantic Model for Computer-Based Spatio-temporal SystemsBenjamin Hummel. 156-165 [doi]
- Semi-Automated Safety Analysis for Field Programmable Gate ArraysPhilippa Conmy, Iain Bate. 166-175 [doi]
- Defining Spatial Regions in Computer-Assisted Laparoscopic Surgical TrainingChuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton, Andrzej Wytyczak-Partyka. 176-183 [doi]
- A Soft-Structured Agile Framework for Larger Scale Systems DevelopmentShvetha Soundararajan, James D. Arthur. 187-195 [doi]
- Optimisation Process for Maintaining Evolvability during Software EvolutionRobert Brcina, Stephan Bode, Matthias Riebisch. 196-205 [doi]
- A Framework for Developing Feature-Rich Software SystemsThein Than Tun, Rod Chapman, Charles B. Haley, Robin C. Laney, Bashar Nuseibeh. 206-214 [doi]
- A Distributed Computing Framework for Parallelization of Coevolution in Multi-sided ConflictsRami Al-Motlak, Jerzy W. Rozenblit, Faisal Momen. 215-224 [doi]
- Structured Formalization of Service-Oriented SpecificationsMarkus Herrmannsdörfer, Sabine Rittmann, Bernhard Schätz. 227-236 [doi]
- Modeling and Evaluation Framework for FMC-QETomasz Porzucek, Stephan Kluth, Flavius Copaciu, Werner Zorn. 237-243 [doi]
- Applying Megamodelling to Model Driven Performance EngineeringMathias Fritzsche, Hugo Bruneliere, Bert Vanhooff, Yolande Berbers, Frédéric Jouault, Wasif Gilani. 244-253 [doi]
- Interpreting Model-Based Components for Information SystemsMichael Thonhauser, Christian Kreiner, Martin Schmid. 254-261 [doi]
- Automating Hardware and Software Evolution AnalysisBrian Dougherty, Jules White, Chris Thompson, Douglas C. Schmidt. 265-274 [doi]
- Tuning Complex Sensornet Systems Using Principled Engineering MethodsJonathan Tate, Iain Bate. 275-284 [doi]
- Application of Structure-from-Motion 3D Reconstruction in Computer-Guided Surgical TrainingAndrzej Wytyczak-Partyka, Jan Nikodem, Ryszard Klempous. 287-290 [doi]
- Towards a Framework for Agile Management Based on Chaos and Complex System TheoriesBabak Mohammadizadeh Khoshroo, Hassan Rashidi. 291-292 [doi]
- Model-Based Product-Oriented CertificationDamian Dechev, Bjarne Stroustrup. 295-304 [doi]
- Extensibility and Modularity for Model Driven Engineering EnvironmentsThomas Leveque, Jacky Estublier, Germán Vega. 305-314 [doi]
- A Definition of Abstraction Level for MetamodelsMartin Monperrus, Antoine Beugnard, Joël Champeau. 315-320 [doi]
- An Automatic Approach to Generating State Diagram from Contract-Based ClassJung Ho Bae, Heung Seok Chae. 323-331 [doi]
- Viewpoints in the Smart Home Product LineMichael C. Jaeger, Ludger Fiege. 332-339 [doi]
- A Security Modeling Approach for Web-Service-Based Business ProcessesMeiko Jensen, Sven Feja. 340-347 [doi]