• Model-driven Test Engineering - A Practical Analysis in the AQUA-WS Project
  • A Framework for Developing Component-based Applications with Temporal Analysis Capabilities
  • A Light-weight Tool Integration Approach - From a Tool Integration Model to OSLC Integration Services
  • Model Driven Software Engineering for Grid Modeling, Optimization and Simulation
  • A Distributed Architecture for Remote Service Discovery in Pervasive Computing
  • Word Sense Disambiguation of Persian Homographs
  • Tamil Characters Recognition and Retrieval
  • Generics and Reverse Generics for Pharo
  • Valkyrie: A UML-based Model-driven Environment for Model-driven Software Engineering
  • Measuring UML Model Similarity
  • EMF Components - Filling the Gap between Models and UI
  • Metasearch Services Composition in WS-BPEL - An Application of Metamorphic Testing
  • A Framework for Creating Domain-specific Process Modeling Languages
  • AXIOM: A Model-driven Approach to Cross-platform Application Development
  • Project Estimation with NDT
  • A Multidomain and Multilingual Conceptual Data Model for Online Reviews Representation
  • Transforming SQLITE to Run on a Bare PC
  • Parallel Finite State Machines for Very Fast Distributable Regular Expression Matching
  • Fence - A Context-free Grammar Parser with Constraints for Model-driven Language Specification
  • Size Measures for Large Web Service Systems
  • Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches
  • Towards Modelling Real Time Constraints
  • An Analysis Process for Identifying and Formalizing LMS Instructional Language
  • P²E: A Tool for the Evolution Management of UML Profiles
  • Tukra: An Abstract Program Slicing Tool
  • Model Driven Development of Process-centric Web Applications
  • A New Paradigm for Web App Development, Deployment, Distribution, and Collaboration
  • Formal Analysis of Sequence Diagram with Combined Fragments
  • End-user Friendly UI Modelling Language for Creation and Supporting Evolution of RIA
  • Specification of Visual Instructional Design Languages Dedicated to Learning Management Systems
  • Enhancing Linguistic Web Service Description with Non-functional NLP Properties
  • Enterprise Ontology Driven Software Engineering
  • Traceability Support for MDE Development of Home Automation Systems
  • A Synthesis of a Knowledge Management Framework for Sports Event Management
  • On Measuring Smartphones’ Software Energy Requirements
  • Towards a Framework for Information System Testing - A Model-driven Testing Approach
  • Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming
  • Aspect-based On-the-Fly Testing Technique for Embedded Software
  • A Declarative Fine-grained Role-based Access Control Model and Mechanism for the Web Application Domain
  • Architecting a Large-scale Elastic Environment - Recontextualization and Adaptive Cloud Services for Scientific Computing
  • Goal Based Alignment of Enterprise Architectures
  • Medi SPICE and the Development of a Process Reference Model for Inclusion in IEC 62304
  • Evaluating Behavioral Correctness of a Set of UML Models
  • Concept-Oriented Programming - Classes and Inheritance Revisited
  • Enhancing Alternative and Augmentative Communications Devices with Context Awareness Computing
  • Free Composition Instead of Language Dictatorship
  • Hybriding CMMI and Requirement Engineering Maturity & Capability Models - Applying the LEGO Approach for Improving Estimates
  • An Implementation Approach to Achieve Metamodel Independence in Domain Specific Model Manipulation Languages
  • Service-oriented Design of Metamodel Components
  • Knowledge Provisioning - A Context-sensitive Process-oriented Approach Applied to Software Engineering Environments
  • A Model-driven Approach to Process Enactment
  • CPN based Data Integrity Evaluation for Cloud Transactions
  • Adaptation of Bees Algorithm for QOS-based Selection and Replacement of Web Services
  • Context Modeling and Context Transition Detection in Software Development
  • Model-based Framework for Integrated Evolution of Business and IT Changes - Integrated Evolution of Business and IT Changes
  • Linear Software Models for Well-composed Systems
  • Synthesis of Software from Logical Constraints
  • Composing Model Transformations at Runtime - An Approach for Adapting Component-based User Interfaces
  • Sip2Share - A Middleware for Mobile Peer-to-Peer Computing
  • EMF on Rails
  • An Agile Approach for Service-Oriented Architectures
  • Data Mining Service Architecture - An Exploration on Self-organizing Software
  • Pattern-driven Reuse in Architecture-centric Evolution for Service Software
  • A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation
  • Implementation of an A+ Interpreter for .NET
  • Automated Generation of User Interfaces - Based on Use Case or Interaction Design Specifications?
  • Precise Guidance to Dynamic Test Generation
  • A Domain Ontology for Software Process Architecture Description
  • Agile Development of Critical Software – Can It be Justified?
  • Business Processes Modeling through Multi Level Activity Diagrams
  • A Survey of Infeasible Path Detection
  • A Logic-based Passive Testing Approach for the Validation of Communicating Protocols
  • A Meta-model for Representing Language-independent Primary Dependency Structures
  • Refactoring Business Process Models - A Systematic Review
  • The Recursion Scheme of the Trace Function Method
  • SOAQE - Service Oriented Architecture Quality Evaluation
  • Agent Oriented Software Engineering for Multimedia Systems’ Development - An Experimental Case Study
  • Handling Inconsistency in Software Requirements
  • Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach
  • Reduction of Program-generation Times by Transformation-sequence Optimization
  • Towards Online Data Mining System for Enterprises
  • Towards Experimental Assessment of Security Threats in Protecting the Critical Infrastructure
  • Improving Event Correlation for Non-process Aware Information Systems
  • Interoperability Constraints in Service Selection Algorithms
  • Findability through Traceability - A Realistic Application of Candidate Trace Links?
  • A Generic Approach for the Identification of Variability
  • Social Adaptation - When Software Gives Users a Voice
  • Roles as Modular Units of Composition
  • An Event-driven Approach for the Separation of Concerns
  • How can you be Agile in “Rough Terrain” and under “Tight Boundary Conditions” - Industrial Experience Report
  • Agile Development with Stepwise Feature Introduction
  • Ranking Web Services using Centralities and Social Indicators
  • Semantics of Logical Relations in Topological Functioning Model
  • Using Use Cases for Domain Modeling
  • System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model
  • Formal Analysis of Objects State Changes and Transitions
  • Topological Functioning Model and Services Identification - An Approach for Services Identification from a Topological Functioning Model
  • Are Use Case Modeling Features Underutilized?