598-041
|
A Measurement Framework for the Parameterization of Performance Models of SOA-based Systems
P. Bocciarelli and A. D'Ambrogio (Italy)
|
Abstract
|
|
598-051
|
Benchmarking-Oriented Analysis of Source Code Quality Experiences with the QBench Approach
H. Gruber (Austria), Ch. Körner (Germany), R. Plösch, G. Pomberger, and S. Schiffer (Austria)
|
Abstract
|
|
598-052
|
A Transformation Approach for Security Enhanced Business Processes
C. Wolter, A. Schaad, and C. Meinel (Germany)
|
Abstract
|
|
598-061
|
A Model-Driven Approach for the Performance Management of Grid-based Applications
A. D'Ambrogio and L. Conticelli (Italy)
|
Abstract
|
|
598-137
|
Implementation and Performance of a Dynamic-Content based Cache for a Backend Database Server
L. Ismail (UAE)
|
Abstract
|
|
598-165
|
IT and Infrastructure's Lost Dependability
H. Tervo and J.J. Ahonen (Finland)
|
Abstract
|
|
598-178
|
A Scalable Sensor Application Framework based on Hierarchical Load-Balancing Architecture
Y. Onishi, H. Igaki, M. Nakamura, and K.-i. Matsumoto (Japan)
|
Abstract
|
|
598-185
|
Quality
Model for the Selection of Floss-based Issue Tracking System
E. Raffoul, K. Domínguez, M. Pérez, L.E. Mendoza, and A.C. Grimán (Venezuela)
|
Abstract
|
|
598-030
|
Refactoring Merging Environment Supported by Graph Transformations
L. Kotulski and A. Nowak (Poland)
|
Abstract
|
|
598-079
|
Data Mining Applications for Diverse Industrial Application Domains with Smart Archive
L. Tuovinen, P. Laurinen, I. Juutilainen, and J. Röning (Finland)
|
Abstract
|
|
598-080
|
One Implementation of the System for Application Version Tracking and Automatic Updating
O. Dušan and V. Milan (Serbia)
|
Abstract
|
|
598-084
|
Controlled
Adaptation-Oriented Evolution of Object-Oriented Components
I. Şavga, M. Rudolf, and J. Lehmann (Germany)
|
Abstract
|
|
598-100
|
Towards an Architectural-Centric Approach for Method Engineering
S. Moaven, J. Habibi, H. Ahmadi, and A. Kamandi (Iran)
|
Abstract
|
|
598-173
|
Kieker: Continuous Monitoring and On Demand Visualization of Java Software Behavior
M. Rohr, A. van Hoorn, J. Matevska, and N. Sommer (Germany)
|
Abstract
|
|
598-179
|
Requirements Management 2.0
O. Arnold, G. Beier, and W. Golubski (Germany)
|
Abstract
|
|
598-801
|
A Formal
Mechanism for Analysis and Re-Implementation of Legacy Programs
D. Maglaras, M. Doerr (Greece), A. Ware (UK), K.
Vassilakis, and G. Papadourakis (Greece)
|
Abstract
|
|
598-016
|
Attaching Transactional Requirements to Business Process Specifications
J. Puustjärvi (Finland)
|
Abstract
|
|
598-027
|
A Proposed Extension to the SysML Requirements Diagram
M. dos Santos Soares and J. Vrancken (The Netherlands)
|
Abstract
|
|
598-057
|
UCOT: Semiautomatic Generation of Conceptual Models from Use Case Descriptions
T. Kärkkäinen, M. Nurminen, P. Suominen, T. Pieniluoma, and I. Liukko (Finland)
|
Abstract
|
|
598-058
|
Organisation Matters: How the Organisation of Software Development Influences the Development of Product Line Architecture
H. Unphon and Y. Dittrich (Denmark)
|
Abstract
|
|
598-081
|
VRRM: A Value-based Requirements Risk Management Process
J. Samad, N. Ikram, and M. Usman (Pakistan)
|
Abstract
|
|
598-085
|
Structures to Effectively Share Architectural Knowledge
M.L. Ponisio, K. Sikkel, E. Vermeulen, E. Poort, and I. van Megen (The Netherlands)
|
Abstract
|
|
598-103
|
Evolutionary Design through Reflective Petri Nets: An Application to Workflow
L. Capra and W. Cazzola (Italy)
|
Abstract
|
|
598-133
|
Two Algorithms for Architecture Pattern Recognition
P.Y. Piñero, M. Cuesta, R. Lazo Ochoa (Cuba), and W. NonPakdee (Thailand)
|
Abstract
|
|
598-175
|
RA3: Enabling Adaptivity via a Reflective Architecture
M. Adorni, D. Micucci, and F. Tisato (Italy)
|
Abstract
|
|
598-010
|
Establishing a Knowledge Base for Problem Management, Part II
M. Jäntti and N. Pylkkänen (Finland)
|
Abstract
|
|
598-036
|
Intersection of Software Methodologies and ITIL V3
W. Hacker (Austria)
|
Abstract
|
|
598-040
|
A Generic Assistance System of Software Process
H. Khemissa, M. Ahmed-nacer, and M. Daoudi (Algeria)
|
Abstract
|
|
598-050
|
Balancing Supporting Software Development by Dedicated Infrastructure Elements
D. Kumlander (Estonia)
|
Abstract
|
|
598-053
|
Generating Tool-based Process-Environments from Formal Process Models Descriptions - Concepts, Experiences and Samples
M. Kuhrmann, G. Kalus, and N. Diernhofer (Germany)
|
Abstract
|
|
598-073
|
A Process for Goal Oriented Requirement Engineering
S. Anwer and N. Ikram (Pakistan)
|
Abstract
|
|
598-102
|
Novices' Expectations in Gaining Theoretical Knowledge and Practical Skills in Software Development or Maintenance
Shahida Sulaiman, N.A. Rashid, Z. Zainol, and Sarina Sulaiman (Malaysia)
|
Abstract
|
|
598-156
|
Customer Perception of Delivery Quality: A Necessary Area for Attention for Project Managers
J. van Ekris (The Netherlands)
|
Abstract
|
|
598-180
|
Software Localization: The Challenging Aspects of Arabic to the Localization Process (Arabization)
S. Abufardeh and K. Magel (USA)
|
Abstract
|
|
598-182
|
Flexible Process Modeling through Decision Tables
N. Boffoli, D. Castelluccia, F.M. Maggi, and R. Rutilo (Italy)
|
Abstract
|
|
598-045
|
"On the Fly" Input Output Conformance Verification
M. Weiglhofer and F. Wotawa (Austria)
|
Abstract
|
|
598-060
|
A UML Profile for Modeling Software Applications based on Grid Services
A. D'Ambrogio and L. Conticelli (Italy)
|
Abstract
|
|
598-066
|
Extensible Syntax-Oriented Verifier and its Implementation
T. Shimomura, N. Sok Lang, and K. Ikeda (Japan)
|
Abstract
|
|
598-067
|
Business Process Modelling: Coarse to Fine Grain Mapping using Metamodels
Z.A. Khan and M. Odeh (UK)
|
Abstract
|
|
598-072
|
MLAT: A Tool for Heap Analysis based on Predicate Abstraction by Modal Logic
T. Sekizawa, Y. Tanabe, Y. Yuasa, and K. Takahashi (Japan)
|
Abstract
|
|
598-096
|
An Experience of Integrating INTSPEI P-Modeling Framework with Microsoft Solutions Framework for Agile Software Development
V.L. Pavlov, A. Doroshenko, T. Taganskaya, K. Zhereb (Ukraine), and N. Boyko (USA)
|
Abstract
|
|
598-157
|
MatForce: Supporting Rapid Algorithm Development by Automated Translation of MatLab Prototypes into C++
L. Hunyadi (Hungary)
|
Abstract
|
|
598-160
|
Solving the Frequency Assignment Problem using Genetic Algorithms, Evolutionary Simulated Annealing and Differential Evolution
E. Bernardino, A. Bernardino (Portugal), J.M. Sánchez Pérez, J.A. Gómez Pulido, and M.A. Vega Rodríguez (Spain)
|
Abstract
|
|
598-177
|
UML-B and Event-B: An Integration of Languages and Tools
C. Snook and M. Butler (UK)
|
Abstract
|
|
What are Digital Object Identifers?
This publication covers the following topics: Software Requirements; Software Architectures; Software Methodologies; Software Algorithms; Software Design and Development; Software Engineering; Software Tools; Software Maintenance; Software Metrics; Software Testing; Reliability; Quality Assurance; Software Evaluation; Reusability; Verification and Validation; Fault Tolerance; Software Agents; Programming Tools and Languages; Internet Computing (JAVA, CORBA, XML); Web-based Software Engineering; The Internet and Intranet; Semantic Web; Object-Oriented Analysis and Design; Visualization; Optimization; Security; Software for Parallel and Distributed Systems; Mobile and Wireless Computing; Communication Software and Protocols; Graphical User Interfaces; Human Computer Interaction; Copyright Issues; Cooperative Work Support; Standards; Project Management; Education; Software Performance Engineering; Applications; Service Engineering; Agile Software Development; Model-Driven Development; Databases; and Data Mining.