Sciweavers

2127 search results - page 172 / 426
» Software Automation
Sort
View
COMPSAC
2003
IEEE
15 years 11 months ago
BINTEST - Binary Search-based Test Case Generation
One of the important tasks during software testing is the generation of test cases. Various approaches have been proposed to automate this task. The approaches available, however,...
Sami Beydeda, Volker Gruhn
C3S2E
2009
ACM
16 years 29 days ago
Integrating heterogeneous user interfaces in service oriented web applications
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...
Matthias Tilsner, Adrian Fiech, Thomas Specht
SERP
2007
15 years 7 months ago
Using Constraints with Action Language for Model Evolution
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
Shahid Alam, Samuel A. Ajila
EMISA
2005
Springer
15 years 12 months ago
A Model-Driven Approach for the Rapid Development of E-Negotiation Systems
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
Morad Benyoucef, Stefanie Rinderle
FLAIRS
2006
15 years 7 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili