Table of Contents, vol 3, no 1&2, year 2010

Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis
Angelo Gargantini, Universita di Bergamo, Italy
Elvinia Riccobene, Universita degli Studi di Milano,Italy
Patrizia Scandurra, Universita di Bergamo, Italy

Video Notation (ViNo): A Formalism for Describing and Evaluating Non-sequential Multimedia Access
Anita Sobe, Klagenfurt University, Austria
Laszlo Boszormenyi, Klagenfurt University, Austria
Mario Taschwer Klagenfurt University, Austria

Ontology-based Indexing and Contextualization of Multimedia Documents for Personal Information Management Applications
Annett Mitschick, Dresden University of Technology, Germany

Relying on Testability Concepts to ease Validation and Verification activities of
AIRBUS Systems

Fassely Doumbia, Airbus, France
Odile Laurent, Airbus, France
Chantal Robach, LCIS - Grenoble Institute of Technology, France
Michel Delaunay, LCIS - Grenoble Institute of Technology, France

Towards a Deterministic Business Process Modelling Method based on Normalized Systems Theory
Dieter Van Nuffel, University of Antwerp, Belgium
Herwig Mannaert, University of Antwerp, Belgium
Carlos De Backer, University of Antwerp, Belgium
Jan Verelst, University of Antwerp, Belgium

Adaptive Object-Models: a Research Roadmap
Hugo Sereno Ferreira, Universidade do Porto, Portugal
Filipe Figueiredo Correia, Universidade do Porto, Portugal
Ademar Aguiar, Universidade do Porto, Portugal
Joao Pascoal Faria, Universidade do Porto, Portugal

Goal Sketching from a Concise Business Case
Kenneth Boness, University of Reading, UK
Rachel Harrison, Oxford Brookes University, UK

A Meta-model for Problem Frames: Conceptual Issues and Tool Building Support
Pietro Colombo, Universita degli Studi dell'Insubria, Italy
Luigi Lavazza, Universita degli Studi dell'Insubria, Italy
Alberto Coen-Porisini, Universita degli Studi dell'Insubria, Italy
Vieri del Bianco, University College Dublin, Ireland

Understanding Frameworks Collaboratively : Tool Requirements
Nuno Flores, Universidade do Porto, Portugal
Ademar Aguiar, Universidade do Porto, Portugal

Automatic Identification of Cohesive Structures within Modularity Reengineering
Anja Bog, University of Potsdam, Germany
Oleksandr Panchenko, University of Potsdam, Germany
Kai Spichale, University of Potsdam, Germany
Alexander Zeier, University of Potsdam, Germany

Requirement-driven Scenario-based Testing Using Formal Stepwise Development
Qaisar A. Malik, Abo Akademi University, Finland
Linas Laibinis, Abo Akademi University, Finland
Dragos Truscan, Abo Akademi University, Finland
Johan Lilius, Abo Akademi University, Finland

Integrating Quality Modeling in Software Product Lines
Joerg Bartholdt, Siemens AG, Germany
Roy Oberhauser, Aalen University, Germany
Andreas Rytina, itemis, Germany
Marcel Medak, FNT GmbH, Germany

Enabling Innovations in Mobile-Learning: A Context-aware and Service-based Middleware
Sergio Martin, UNED (Spanish University for Distance Education), Spain
Elio Sancristobal, UNED (Spanish University for Distance Education), Spain
Rosario Gil, UNED (Spanish University for Distance Education), Spain
Gabriel Diaz, UNED (Spanish University for Distance Education), Spain
Manuel Castro, UNED (Spanish University for Distance Education), Spain
Juan Peire, UNED (Spanish University for Distance Education), Spain
Mihail Milev, University of Plovdiv, Bulgaria
Nevena Mileva, University of Plovdiv, Bulgaria

Sources of Software Requirements Change from the Perspectives of Development and Maintenance
Sharon McGee, Queens University, Ireland
Des Greer, Queens University, Ireland

Equipping Software Engineering Apprentices with a Repertoire of Practices
Vincent Ribaud, Universite Europeenne de Bretagne, France
Philippe Saliou, Universite Europeenne de Bretagne, France

Modernization of a Legacy Application: Does it Have to be Hard?
Arne Koschel, Applied University of Sciences and Arts, Hannover, Germany
Carsten Kleiner, Applied University of Sciences and Arts, Hannover, Germany
Irina Astrova, Tallinn University of Technology, Estonia

Human-Computer Interaction Design Patterns: Structure, Methods, and Tools
Christian Kruschitz, University of Klagenfurt, Austria
Martin Hitz, University of Klagenfurt, Austria

Metrics for the Evaluation of Adaptivity Aspects in Software Systems
Claudia Raibulet, Universita degli Studi di Milano-Bicocca, Italy
Laura Masciadri, Universita degli Studi di Milano-Bicocca, Italy

A Quality Criteria Framework for Pattern Validation
Daniela Wurhofer, University of Salzburg, Austria
Marianna Obrist, University of Salzburg, Austria
Elke Beck, University of Salzburg, Austria
Manfred Tscheligi, University of Salzburg, Austria

Adaptable and Adaptive Visualizations in Concept-oriented Content Management Systems
Hans-Werner Sehring, T-Systems Multimedia Solutions GmbH, Germany

A Practical Approach to Distributed Metascheduling
Janko Heilgeist, Fraunhofer SCAI, Germany
Thomas Soddemann, Fraunhofer SCAI, Germany
Harald Richter, Clausthal Technical University, Germany

Accelerating Cellular Automata Evolution on Graphics Processing Units
Ludek Zaloudek, Brno University of Technology, Czech Republic
Lukas Sekanina, Brno University of Technology, Czech Republic
Vaclav Simek, Brno University of Technology, Czech Republic

Service-Oriented Integration Using a Model-Driven Approach
Philip Hoyer, Karlsruhe Institute of Technology, Germany
Michael Gebhart, Karlsruhe Institute of Technology, Germany
Ingo Pansa, Karlsruhe Institute of Technology, Germany
Aleksander Dikanski, Karlsruhe Institute of Technology, Germany
Sebastian Abeck, Karlsruhe Institute of Technology, Germany

download vol 3, no 1&2, year 2010

 
Copyright (c) 2008-2010. IARIA, All rights reserved.