Abstract is missing.
- On the Distribution of Source Code File SizesIsrael Herraiz, Daniel M. Germán, Ahmed E. Hassan. 5-14
- Collective Specification and Verification of Behavior Models and Object-oriented ImplementationsQing Yi, Jianwei Niu, Anitha R. Marneni. 15-24
- JHyde - The Java Hybrid DebuggerChristian Hermanns, Herbert Kuchen. 25-35
- E: An Effective Constraint-based Test-case Generation Algorithm for Detecting Regression Bugs in Evolving ProgramsAnh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen. 36-43
- Goal Driven Iterative Software Project ManagementYves Wautelet, Manuel Kolp. 44-53
- Model-driven Design of Performance Requirements with UML and MARTEAntonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena. 54-63
- Type-flow Analysis for Legacy COBOL CodeAlvise Spanò, Michele Bugliesi, Agostino Cortesi. 64-75
- A Model-based Repository for Open Source Service and Component IntegrationRodrigo García-Carmona, Félix Cuadrado, Juan C. Dueñas, Álvaro Navas. 76-85
- Client-tier Validation of Dynamic Web ApplicationsHideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan. 86-95
- Knowing Software Engineer's Personality to Improve Software DevelopmentLuis G. Martínez, Juan R. Castro, Guillermo Licea, Antonio Rodríguez Díaz, Carlos F. Álvarez. 99-104
- Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production SystemMohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi. 105-110
- Alignment of Open Source Tools with the New ISO 25010 Standard - Focus on MaintainabilityEmanuel Irrazábal, Javier Garzás, Esperanza Marcos. 111-116
- Process Framework for Emergency Management - Solving of Emergency Situations by Way of Business ProcessesTomás Ludík, Jaroslav Rácek. 117-122
- Beyond Design Patterns - Improving Software Design with Pluggable UnitsFernando Barros. 123-128
- Hurdles in Multi-language Refactoring of Hibernate ApplicationsHagen Schink, Martin Kuhlemann, Gunter Saake, Ralf Lämmel. 129-134
- Inter-model Consistency between UML State Machine and Sequence ModelsYoshiyuki Shinkawa. 135-142
- Operationalization of Learning Scenarios on Existent Learning Management Systems - The Moodle Case-studyAymen Abedmouleh, Pierre Laforcade, Lahcen Oubahssi, Christophe Choquet. 143-148
- Property Driven Program Slicing RefinementSukriti Bhattacharya, Agostino Cortesi. 149-155
- Unrestricted and Disjoint Operations over Multi-stack Visibly Pushdown LanguagesStefan D. Bruda, Tawhid Bin Waez. 156-161
- Multi-platform Model-driven Software Development of Web ApplicationsUlrich Wolffgang. 162-171
- Detecting Execution and HTML Errors in ASP.NET Web ApplicationsMehmet Erdal Özkinaci, Aysu Betin-Can. 172-178
- An Identification Method of Related Group Threads for a Recent Bug Thread by Peak Characteristics of SimilaritiesYuuki Imanara, Kota Itakura, Masaki Samejima, Masanori Akiyoshi. 179-184
- Software Development Aspects of Out-of-core Data Management for Planetary TerrainCody J. White, Sergiu M. Dascalu, Frederick C. Harris Jr.. 185-191
- Test Generation from Bounded Algebraic Specifications using AlloyFrancisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva. 192-200
- Failure Prediction using the Cox Proportional Hazard ModelPekka Abrahamsson, Ilenia Fronza, Jelena Vlasenko. 201-206
- A Generic API for the Integration of RBS in an ESBDavid Haase, Karl-Heinz Krempels, Christoph Terwelp. 207-211
- ModGraph - A Transformation Engine for EMF Model TransformationsThomas Buchmann, Bernhard Westfechtel, Sabine Winetzhammer. 212-219
- Dynamic Languages as Modeling Notations in Model Driven EngineeringXiaoping Jia, Christopher Jones 0002. 220-225
- BlueState - A Metamodel-based Execution Framework for UML State MachinesAlfredo Ortigosa, Carlos Rossi. 226-231
- Assisting Refactoring Tool Development through Refactoring CharacterizationRaúl Marticorena Sánchez, Carlos López Nozal, Francisco Javier Pérez, Yania Crespo. 232-237
- A Behavioral Perspective in Meta-modelingSaïd Assar, Sana Damak Mallouli, Carine Souveyet. 238-243
- Model Driven Development of Context-aware Services using Parameterized TransformationSlimane Hammoudi. 244-248
- Modelling Quality Attributes in Feature Models in Software Product Line EngineeringGuoheng Zhang, Huilin Ye, Yuqing Lin. 249-254
- From Software-as-a-good to SaaS: Challenges and Needs - Developing a Tool supported Methodology for the Migration of Non-SaaS Applications to SaaSLeire Orue-Echevarria Arrieta, Juncal Alonso Ibarra, Jan Gottschick, Hannes Restel. 257-260
- A Framework for Defining Simulators with Which to Train Global Software DevelopmentMiguel J. Monasor, Aurora Vizcaíno, Mario Piattini. 261-264
- Lessons Learned in Applying MDE to the Development of Home Automation SystemsFrancisca Rosique, Pedro Sánchez, Manuel Jiménez Buendía, Diego Alonso. 265-268
- A Systematic Literature Review on Software Product Line QualityCarmen Moraga, Maria Ángeles Moraga, Marcela Genero, Mario Piattini. 269-272
- Comparison of Surface Data - Exploring Real Samples Similarity for the Modelling of EngravingJana Hajková, Jakub Kotásek. 273-276
- Agent-based Fault Management of Embedded Control SystemsAtef Gharbi, Mohamed Khalgui, Jiafeng Zhang, Samir Ben Ahmed. 277-280
- Alignment of Measurement and Business Goals - A Systematic Literature ReviewBelen Blasco, Marcela Genero, Mario Piattini. 281-285
- Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural StylesIkbel Krichen, Imen Loulou, Ahmed Hadj Kacem. 286-289
- An Implementation Framework for Component-based Applications with Real-time Constraints - Extensions for Achieving Component DistributionFrancisco Sánchez-Ledesma, Juan A. Pastor, Diego Alonso, Francisca Rosique. 290-293
- Energy Awareness Needs a Rethinking in Software DevelopmentHagen Höpfner, Christian Bunse. 294-297
- DEPIVOT - A Software Package to Design and Evaluate Center-pivot SystemsM. I. Valín, M. R. Cameira, C. Pedras, P. R. Teodoro, J. M. Gonçalves, L. S. Pereira. 298-301
- Cooperation of CPU and GPU Programs for Real-time 3D Map BuildingYonghyun Jo, Han-Young Jang, Yeon-Ho Kim, Joon-Kee Cho, Hyoung-Ki Lee, Young Ik Eom, JungHyun Han. 302-304
- Quality of Transformations Providing Interoperability in Software Architecture Model-driven DevelopmentLiliana Dobrica. 305-308
- Possibilistic Methodology for the Evaluation of Classification AlgorithmsOlgierd Hryniewicz. 313-322
- Mining Influence Rules out of OntologiesBarbara Furletti, Franco Turini. 323-333
- The Classification of Time Series under the Influence of Scaled NoisePetr Kroha, K. Kröber. 334-340
- Recommending Documents via Knowledge Flow-based Group RecommendationChin-Hui Lai, Duen-Ren Liu, Ya-Ting Chen. 341-349
- Modeling Awareness of Agents using PoliciesAmir Talaei-Khoei, Pradeep Ray, Nandan Parameswaran, Ghassan Beydoun. 353-358
- A Hybrid Classifier with Genetic WeightingBenjamín Moreno-Montiel, René MacKinney-Romero. 359-364
- A New Method for Learning the Support Vector MachinesCatalina-Lucia Cocianu, Luminita State, Panayiotis Vlamos. 365-370
- An Embodied Conversational Agent for Counselling Aborigines - Mr. WarnanggalManolya Kavakli, Tarashankar Rudra, Manning Li. 371-376
- Towards Knowledge Management in Sports Event Management - Context Analysis of Malaysian Biannual Games with CommonKADSAzizul Rahman Abdul Ghaffar, Ghassan Beydoun, Jun Shen, Will Tibben. 377-383
- A Metaheuristics based Simulation Tool to Optimize Demand Responsive Transportation SystemsEneko Osaba, Pablo Fernández, Roberto Carballedo, Asier Perallos. 384-389
- Inconsistency-tolerant Eliminations of Integrity ViolationsHendrik Decker. 390-395
- Domain Ontology Generation using LMF Standardized Dictionary StructureFeten Baccar Ben Amar, Bilel Gargouri, Abdelmajid Ben Hamadou. 396-401
- A Semantic Approach to the Extraction of Feature TermsManuela Angioni, Franco Tuveri. 402-407
- A Situation-dependent Scenario Generation Framework for Project Management Skill-up SimulatorKoichi Iwai, Masanori Akiyoshi, Masaki Samejima, Hiroshi Morihisa. 408-412
- Method for an Automatic Generation of a Semantic-level Contextual Translational DictionaryDmitry Kan. 415-418
- Comparation of OWL Ontologies Reasoners - Testing Cases with Pellet and JenaJosé Ramón Hilera, Luis Fernández Sanz, Adela Díez. 419-422
- An Ontological Approach for the Activity in an Automatic Control FacultyLiliana Dobrica, Alexandra Suzana Cernian, Anca Bertesteanu. 423-426