A Factorial Experiment on Scalability of Search Based Software Testing
A Formal Approach for Agent Based Large Concurrent Intelligent Systems
A Formal Approach for the Development of Service-Oriented Applications
A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications
A Formal Model for Dynamically Adaptable Services
A Framework for Agile Development of Component-Based Applications
A Framework for Next Generation Mobile and Wireless Networks Application Development using Hybrid Component Based Development Model
A Framework for Validation of Object Oriented Design Metrics
A Framework Studio for Component Reusability
A general XML-based distributed software architecture for accessing and sharing ressources
A Generic Model of Contracts for Embedded Systems
A high-precision, real-time position-locating algorithm for CCD-based sun and star trackers
A host-target programming support environment for the production of high-quality real-time systems
A Kind of Representation of Common Knowledge and its Application in Requirements Analysis
A Knowledge-based Automated Debugger in Learning System
A Language-theoretic View on Guidelines and Consistency Rules of UML
A mathematical framework for automated bug localization
A MDA approach for defining WS-Policy semantic non-functional properties
A methodological approach on the architectural development of integrated e-learning systems
A Methodology for assessing Agile Software Development Approaches