• APPLICABILITY OF BET TO ELUSIVE BUGS IN DIVERSE APPLICATION AREAS
  • PARAMETERIZATION OF SAMPLES FOR MODELING OF LASER BURNING - Increasing the Lifelikeness of Synthetically Generated Samples
  • PREPARING FOR PRODUCT DERIVATION - Activities and Issues
  • MAPPING FEATURE DIAGRAMS TO UML MODELS - A Transformational Approach
  • MODEL TRANSFORMATION USING ADAPTIVE SYSTEMS
  • PROJECT MANAGEMENT PATTERNS TO PREVENT SCHEDULE DELAY CAUSED BY REQUIREMENTS CHANGES - Empirical Study on a Successful Project
  • DETECTING REGULATORY VULNERABILITY IN FUNCTIONAL REQUIREMENTS SPECIFICATIONS
  • TRANSFORMATION OF ORGANIZATION OF SOFTWARE REQUIREMENTS SPECIFICATIONS
  • RESOLVING TRACEABILITY ISSUES IN PRODUCT DERIVATION FOR SOFTWARE PRODUCT LINES
  • GENERAL SPANNING TREES AND CORE LABELING
  • XIPE - An XML Integrated Processing Environment
  • MOBILE COMMUNICATORS FOR DISABLED PEOPLE
  • A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS
  • DESIGN QUALITY OF ASPECT-ORIENTED AND OBJECT-ORIENTED PROGRAMS - An Empirical Comparison
  • GENERIC WEB SERVICES - Extending Service Scope while Preserving Backwards Compatibility
  • PRIORITIZATION OF SOFTWARE PROCESS IMPROVEMENTS - A COQUALMO-based Case Study and Derived Decision Support Scheme
  • TOWARDS A STRATEGIC REQUIREMENTS ELICITATION - A Proposal of the PRINCE Model
  • USAGE OF DESIGN BY CONTRACT - From Component-based Engineering to SOA Design
  • REVERSE GENERICS - Parametrization after the Fact
  • FROM AN ABSTRACT OBJECT-ORIENTED DOMAIN MODEL TO A META-MODEL FOR THE DOMAIN - Model Driven Development of a Manufacturing Execution System
  • APPLYING STATE-OF-THE-ART TECHNIQUES FOR EMBEDDED SOFTWARE ADAPTATION
  • HOMOGENIZATION OF MODELS TO SUPPORT MULTI-MODEL PROCESSES IN IMPROVEMENT ENVIRONMENTS
  • QUALITY ANALYSIS OF A CROSS-DOMAIN REFERENCE ARCHITECTURE
  • SOFTWARE PRODUCT LINE TESTING - A Systematic Review
  • MODEL-DRIVEN DEVELOPMENT OF SOFTWARE CONFIGURATION MANAGEMENT SYSTEMS - A Case Study in Model-driven Engineering
  • EVALUATING A FRAMEWORK FOR THE DEVELOPMENT AND DEPLOYMENT OF EVOLVING APPLICATIONS AS A SOFTWARE MAINTENANCE TOOL
  • A SELF-ADAPTIVE ARCHITECTURE FOR AUTONOMIC SYSTEMS DEVELOPED WITH ASSL
  • AGGREGATED ACCOUNTING OF MEMORY USAGE IN JAVA
  • CONTINUOUS CONCEPTUAL SCHEMA QUALITY CHECKING
  • ARCHITECTURAL STYLES QUALITY EVALUATION AND SELECTION
  • AUTOMATIC GENERATION OF USER INTERFACE MODELS AND PROTOTYPES FROM DOMAIN AND USE CASE MODELS
  • DECOUPLING CONFIGURATION AND DEPLOYMENT PROCEDURES BY ASPECT-ORIENTED POLICIES
  • ON THE CORRECTNESS OF SOFTWARE ARCHITECTURES - Formal Specification of Correctness Properties using π-AAL
  • APPLYING FINANCIAL TIME SERIES ANALYSIS TO THE DYNAMIC ANALYSIS OF SOFTWARE
  • MODEL DRIVEN TESTING WITH TIME AUGMENTED MARKOV CHAIN USAGE MODELS - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models
  • REACTIVE AUTONOMIC SYSTEM PERFORMANCE MODELING AND SELF-MONITORING WITH CATEGORY THEORY
  • FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
  • A QUERY LANGUAGE FOR SERVICE DISCOVERY
  • JAAF-S: A FRAMEWORK TO IMPLEMENT AUTONOMIC AGENTS ABLE TO DEAL WITH WEB SERVICES
  • RAPIDLY MODIFYING MULTIPLE USER INTERFACES OF ONE APPLICATION - Leveraging Multi-level Dialogue Refinement
  • SELF-OPTIMIZATION PROPERTY IN AUTONOMIC SPECIFICATION OF DISTRIBUTED MARF WITH ASSL
  • PERSPECTIVES AND ASPECTS IN POEML - Supporting Adaptation in Learning Processes
  • REFACTORING OF C/C++ PREPROCESSOR CONSTRUCTS AT THE MODEL LEVEL
  • PRODUCT LINE VARIABILITY MANAGEMENT USING TRACEABILITY INFORMATION
  • MODELING THE EVOLUTION OF SOFTWARE ENGINEERING TRENDS - A Bottom Up Approach
  • SOCIAL PATTERNS FOR QUALITY CONTROL IN MULTI-AGENT SYSTEMS
  • TRACEABILITY MECHANISM FOR ERROR LOCALIZATION IN MODEL TRANSFORMATION
  • FORMALIZATION OF BROADCAST COMMUNICATION IN PROCESS CALCULUS AND ITS MODEL CHECKING
  • TOWARDS MODEL CHECKING WITH JAVA PATHFINDER FOR AUTONOMIC SYSTEMS SPECIFIED AND GENERATED WITH ASSL
  • WHAT IS AN ASPECT IN REQUIREMENTS ENGINEERING?
  • CONCATENATIVE PROGRAMMING - An Overlooked Paradigm in Functional Programming
  • LEVERAGING LIGHT-WEIGHT FORMAL METHODS WITH FUNCTIONAL PROGRAMMING APPROACH ON CLOUD
  • A MDA-BASED TESTING - A Comparative Study
  • MEASURING DATA QUALITY IN VORTALS
  • BUILDING OF HUMAN ACTIVITY CORRELATION MAP FROM WEBLOGS
  • SIMPLIFIED RULES BASE OBTAINED WITH LOGIC MINIMIZATION METHOD FOR DIAGNOSIS OF MEASLES DISEASE REALIZED WITH EXPERT SYSTEMS
  • MAPPING PARALLEL PROGRAMS INTO HIERARCHICAL DISTRIBUTED COMPUTER SYSTEMS
  • GEOWIN - A System for Creative Pattern Generation based on Rules
  • USING WORDNETS AND ONTOLOGIES FOR TEXT-MEANING ASSIGNMENT - Implementation Details of the KYOTO Project First Phase
  • DEVELOPMENT OF SECURITY METRICS - Based on Decomposition of Security Requirements and Ontologies
  • PRIVACY-AWARE DATA PROVIDING WEB SERVICES COMPOSITION
  • ASAP: A LIGHTWEIGHT TOOL FOR AGILE PLANNING
  • UNORDERED TREE MATCHING AND TREE PATTERN QUERIES IN XML DATABASES
  • TOWARDS UNIFIED SERVICE HOSTING
  • AGENT-BASED DIVISION OF WATER DISTRIBUTION SYSTEMS INTO DISTRICT METERED AREAS
  • MONTE CARLO PROJECTIVE CLUSTERING OF TEXTS
  • SLA-DRIVEN SERVICE MARKETPLACE MONITORING WITH GRAND SLAM
  • IDENTIFICATION OF SOFTWARE SYSTEM COMPONENTS USING SEMANTIC MODELS AND GRAPH SLICING
  • RECOGNITION AND GENERATION OF EMOTIONS IN AFFECTIVE e-LEARNING
  • DECISION SUPPORT SYSTEMS IN ONTOLOGY-BASED CONSTRUCTION OF WEB DIRECTORIES
  • USER MODELLING SERVER FOR MOBILE AND ELECTRONIC SHOPPING
  • A SECURE RUNNING ENVIRONMENT FOR MULTIPLE PLATFORMS
  • TOWARDS PROBLEM SOLVING METHODS IN MULTI-AGENT SYSTEMS
  • ON ANALYZING THE DATABASE PERFORMANCE FOR DIFFERENT CLASSES OF XML DOCUMENTS BASED ON THE USED STORAGE APPROACH
  • CHOOSING THE ”BEST” SORTING ALGORITHM FOR OPTIMAL ENERGY CONSUMPTION
  • FOUNTAIN CODES FOR RELIABLE DATA TRANSMISSION IN LOW VOLTAGE POWER-LINE NETWORKS
  • COMPARING PERFORMANCE RESULTS USING NEWFM AND STATISTICAL METHOD
  • ANALYSIS AND DESIGN OF A RECOMMENDER SYSTEM WITH AGENTS
  • USER SATISFACTION WITH SEARCH-DRIVEN ENTERPRISE PORTALS
  • ADAPTIVE SYNCHRONIZATION OF BUSINESS OBJECTS IN SERVICE ORIENTED ARCHITECTURES
  • A NEW HYBRID GENETIC ALGORITHM FOR MAXIMUM INDEPENDENT SET PROBLEM
  • MODEL DRIVEN DEVELOPMENT OF CONTEXT-AWARE MOBILE APPLICATIONS - An Architecture and a Metamodel
  • A SERVICE DIFFERENTIATION ALGORITHM - For Clusters of Middleware Appliances
  • KROMOS: ONTOLOGY BASED INFORMATION MANAGEMENT FOR ICT SOCIETIES
  • A DISTORTION FREE WATERMARK FRAMEWORK FOR RELATIONAL DATABASES
  • PRINT-BASED INTERACTION INTERFACES FOR MULTILINGUAL MULTIMEDIA AND SIGN LANGUAGE ELECTRONIC RESOURCE INTEGRATION
  • EXTERNAL TOOL INTEGRATION WITH PROXY FILTERS IN A DATA MINING APPLICATION FRAMEWORK
  • ON EXTENDING THE PRIMARY-COPY DATABASE REPLICATION PARADIGM
  • A KNOWLEDGE BASE FOR JUSTIFIED INFORMATION SECURITY DECISION-MAKING
  • A FRAMEWORK FOR TESTING SOA APPLICATIONS
  • ALLOCATING EDUCATIONAL RESOURCES THROUGH HAPPINESS MAXIMIZATION AND TRADITIONAL CSP APPROACH
  • HYBRID AGENT & COMPONENT-BASED MANAGEMENT OF BACKCHANNELS
  • INTEGRATION OF GIS COMPONENTS IN URBAN MANAGEMENT APPLICATIONS
  • AN EXPERIENCE IN APPLYING MODEL-DRIVEN ENGINEERING FOR AN ENTERPRISE MANAGEMENT SYSTEM
  • SERVICE ORIENTED P2P NETWORKS FOR DIGITAL LIBRARIES, BASED ON JXTA
  • SINBAD DIGITAL LIBRARY PRESERVATION USING IRODS DATA GRID
  • MANAGING BUSINESS PROCESS FLEXIBILITY AND REUSE THROUGH BUSINESS PROCESS LINES
  • HOW TO DEAL WITH REPLICATION AND RECOVERY IN A DISTRIBUTED FILE SERVER
  • AUTHORING TOOLS FOR KOC - A Knowledge Repository to Teach Building Construction
  • BUILDING COMPLEX SYSTEMS ON TOP OF WEB 2.0 - Integration of Web 2.0 Services using Enterprise Service Bus
  • MODELING AND MONITORING THE QUALITY OF DATA BY INTEGRITY CONSTRAINTS AND INTEGRITY CHECKING
  • ON THE STUDY OF DYNAMIC AND ADAPTIVE DEPENDABLE DISTRIBUTED SYSTEMS
  • ONTOLOGY BASED KNOWLEDGE MODELING FOR THE TWO-STEP PERSONALIZED SERVICES IN NEXT GENERATION NETWORKS
  • DATA CACHING ON MOBILE DEVICES - The Experimental MyMIDP Caching Framework
  • AMBIENCE & COLLABORATION - Embedded Agents in a Human-centered World
  • FUNCTIONALITY RECOMPOSITION FOR SELF-HEALING
  • TOWARDS PREDICTIVE SELF-ADAPTATION IN SOC - A Value-based Perspective
  • TOWARDS REQUIREMENTS ELICITATION IN SERVICE-ORIENTED BUSINESS NETWORKS USING VALUE AND GOAL MODELLING
  • ENHANCING CONTEXT ANALYSIS WITH INTELLIGENCE IN PROVIDING e-HEALTH SERVICES - Less Infrastructure Dependency in Supporting Cardio-Vascular Patients
  • SCENARIO-BASED REQUIREMENTS ELICITATION IN A PAIN-TELETREATMENT APPLICATION
  • SLA MANAGEMENT FOR THE INTERNET OF SERVICES
  • CASES OF SOFTWARE SERVICE DESIGN IN PRACTICE
  • CONTRACT SERVICES FOR POST-DISCOVERY GUARANTEE MANAGEMENT
  • MONITORING WORKFLOWS EXECUTION USING ECA RULES
  • EFFECT OF ANESTHESIA ON CHAOTIC DYNAMICS IN FINGER PLETHYSMOGRAMS
  • Flexible Composites and Automatic Component Selection for Service-Based Applications
  • Developing a Dynamic Usability Evaluation Framework using an Aspect-Oriented Approach
  • On the Implementation of Tools for Domain Specific Process Modelling
  • Agile Release Planning through Optimization
  • Are We More Productive Now? Analyzing Change Tasks to Assess Productivity Trends during Software Evolution
  • JADEPT: Dynamic Analysis for Behavioral Design Pattern Detection
  • An Innovative Model Driven Formalization of the Class Diagrams
  • FOCAS: An Enginering Environment for Service-Based Applications
  • How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle
  • Supporting View-Based Development through Orthographic Software Modeling
  • Reuse and Adaptation of Software Process using Similarity Measurement
  • Harmonizing Improvement Technologies: A Comparison between CMMI-ACQ and ISO/IEC 12207:2008
  • Database-Driven Concept Management: Lessons Learned from using EJB Technologies
  • Towards a Model Driven Approach to Upgrade Complex Software Systems
  • Coupling Metrics for Aspect-Oriented Programming: A Systematic Review of Maintainability Studies
  • Evolving System’s Modeling and Simulation through Reflective Petri Nets
  • Identification of Software Product Line Component Services
  • A Service Based Approach for a Cross Domain Reference Architecture Development