Abstract is missing.
- Mobile Communicators for Disabled PeopleMiguel A. Laguna, Bruno González-Baixauli. 5-12
- Design Science and Software EngineeringRoel Wieringa. 5
- The Internet of ServicesJorge Cardoso. 7-10
- Pragmatic Web - Incorporating Semiotics into Web ServicesKecheng Liu, Adrian Benfell. 11-18
- A Formula Driven Incremental Construction of Web Service CompositionsAntonella Santone, Gigliola Vaglini, Maria Luisa Villani. 13-22
- European Standards and Perspectives for e-Voting in BulgariaMihail Mihaylov Konstantinov. 19
- Software Product Line Testing - A Systematic ReviewBeatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthius. 23-30
- Evaluating a Framework for the Development and Deployment of Evolving Applications as a Software Maintenance ToolGeorgios Voulalas, Georgios Evangelidis. 31-38
- Reverse Generics - Parametrization after the FactAlexandre Bergel, Lorenzo Bettini. 39-46
- Modeling the Evolution of Software Engineering Trends - A Bottom Up ApproachLatifa Ben Arfa Rabai, Yanzhi Bai, Ali Mili. 47-54
- A Query Language for Service DiscoveryAndrea Zisman, George Spanoudakis, James Dooley. 55-65
- Traceability Mechanism for Error Localization in Model TransformationVincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser. 66-73
- Architectural Styles Quality Evaluation and SelectionAdel Smeda, Adel Alti. 74-82
- XIPE - An XML Integrated Processing EnvironmentAnguel Novoselsky, Zhen Hua Liu. 85-92
- General Spanning Trees and Core LabelingYangjun Chen. 93-98
- Resolving Traceability Issues in Product Derivation for Software Product LinesSaad bin Abid. 99-104
- Detecting Regulatory Vulnerability in Functional Requirements SpecificationsMotoshi Saeki, Haruhiko Kaiya, Satoshi Hattori. 105-114
- Project Management Patterns to Prevent Schedule Delay Caused by Requirements Changes - Empirical Study on a Successful ProjectShouzo Hori, Takako Nakatani, Keiichi Katamine, Naoyasu Ubayashi, Masaaki Hashimoto. 115-120
- Preparing for Product Derivation - Activities and IssuesPadraig O Leary, Ita Richardson, Fergal McCaffery, Steffen Thiel. 121-126
- Generic Web Services - Extending Service Scope While Preserving Backwards CompatibilityVadym Borovskiy, Jürgen Mueller, Oleksandr Panchenko, Alexander Zeier. 127-132
- Model Transformation using Adaptive SystemsGareth Howells, Behzad Bordbar, David H. Akehurst. 133-138
- Prioritization of Software Process Improvements - A COQUALMO-based Case Study and Derived Decision Support SchemeArne Beckhaus, Lars M. Karg, Christian A. Graf, Michael Grottke, Dirk Neumann. 139-144
- Towards a Strategic Requirements Elicitation - A Proposal of the PRINCE ModelTakako Nakatani, Shouzo Hori, Michio Tsuda, Mari Inoki, Keiichi Katamine, Masaaki Hashimoto. 145-150
- Homogenization of Models to Support Multi-model Processes in Improvement EnvironmentsCésar Jesús Pardo Calvache, Francisco J. Pino, Félix GarcÃa, Mario Piattini. 151-156
- Quality Analysis of a Cross-domain Reference ArchitectureLiliana Dobrica, Eila Ovaska. 157-162
- A Self-adaptive Architecture for Autonomic Systems Developed with ASSLEmil Vassev, Mike Hinchey, Aaron J. Quigley. 163-168
- Automatic Generation of user Interface Models and Prototypes from Domain and Use Case ModelsAntónio Miguel Rosado da Cruz, João Pascoal Faria. 169-176
- Aggregated Accounting of Memory Usage in JavaPaul Bouché, Martin von Löwis, Peter Tröger. 177-185
- Continuous Conceptual Schema Quality CheckingChristian Kop. 186-193
- Applying Financial Time Series Analysis to the Dynamic Analysis of SoftwarePhilippe Dugerdil, David Sennhauser. 194-201
- Model Driven Testing with Time Augmented Markov Chain Usage Models - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage ModelsSebastian Siegl, Vladimir Entin, Reinhard German, Gerhard Kiffe. 202-207
- On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AALFlávio Oquendo. 208-217
- FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and ArtifactsFerruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli. 218-225
- Perspectives and Aspects in PoEML - Supporting Adaptation in Learning ProcessesManuel Caeiro, Luis E. Anido-Rifón, MartÃn Llamas Nistal. 226-231
- Refactoring of C/C++ Preprocessor Constructs at the Model LevelLászló Vidács. 232-237
- Product Line Variability Management using Traceability InformationRahila Ejaz, Naveed Ikram, Salma Imtiaz. 238-244
- JAAF-S: A Framework to Implement Autonomic Agents Able to Deal with Web ServicesBaldoino F. dos S. Neto, Andrew Diniz da Costa, Carlos José Pereira de Lucena, Viviane Torres da Silva, Manoel T. de A. Netto. 245-250
- Towards Model Checking with Java PathFinder for Autonomic Systems Specified and Generated with ASSLEmil Vassev, Mike Hinchey, Aaron J. Quigley. 251-256
- Concatenative Programming - An Overlooked Paradigm in Functional ProgrammingDominikus Herzberg, Tim Reichert. 257-263
- Leveraging Light-weight Formal Methods with Functional Programming Approach on CloudShigeru Kusakabe, Yoichi Omori, Keijiro Araki. 264-268
- A MDA-based Testing - A Comparative StudyArturo H. Torres-Zenteno, MarÃa J. Escalona, Manuel MejÃas, Javier J. Gutiérrez. 269-274
- Applicability of BET to Elusive Bugs in Diverse Application AreasM. Chaudhary, B. Chen, P. Desai, R. Hemmatti, F. Lionetti, T. Hachisuka, W. Howden. 277-282
- Parameterization of Samples for Modeling of Laser Burning - Increasing the Lifelikeness of Synthetically Generated SamplesJana Hajková, Pavel Herout. 283-286
- Design Quality of Aspect-oriented and Object-oriented Programs - An Empirical ComparisonKonstantina Georgieva, Ayaz Farooq, Reiner R. Dumke. 287-290
- Transformation of Organization of Software Requirements SpecificationsYusuke Matsuo, Atsushi Ohnishi. 291-294
- Mapping Feature Diagrams to UML Models - A Transformational ApproachMiguel A. Laguna, Bruno González-Baixauli, Rubén Fernández. 295-298
- Usage of Design by Contract - From Component-based Engineering to SOA DesignDiana Berberova, Boyan Bontchev. 299-304
- Applying State-of-the-Art Techniques for Embedded Software AdaptationSuman Roychoudhury, Christian Bunse, Hagen Höpfner. 305-308
- Model-driven Development of Software Configuration Management Systems - A Case Study in Model-driven EngineeringThomas Buchmann, Alexander Dotor, Bernhard Westfechtel. 309-316
- From an Abstract Object-oriented Domain Model to a Meta-model for the Domain - Model Driven Development of a Manufacturing Execution SystemAntoine Schlechter, Guy Simon, Fernand Feltz. 317-320
- Decoupling Configuration and Deployment Procedures by Aspect-oriented PoliciesKurt Englmeier, Ricki Koinig. 321-324
- Reactive Autonomic System Performance Modeling and Self-monitoring with Category TheoryOlga Ormandjieva, Heng Kuang, Stan Klasa. 325-330
- Self-optimization Property in Autonomic Specification of Distributed MARF with ASSLEmil Vassev, Serguei A. Mokhov. 331-335
- Social Patterns for Quality Control in Multi-agent SystemsThi-Thuy-Hang Hoang, Manuel Kolp. 336-343
- Rapidly Modifying Multiple user Interfaces of One Application - Leveraging Multi-level Dialogue RefinementAlexander Behring, Andreas Petter, Max Mühlhäuser. 344-347
- Formalization of Broadcast Communication in Process Calculus and Its Model CheckingRitsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki. 348-352
- What is an Aspect in Requirements Engineering?Hermann Kaindl. 353-356