Sciweavers

452 search results - page 68 / 91
» The business case for automated software engineering
Sort
View
KBSE
2006
IEEE
15 years 3 months ago
Accurate Centralization for Applying Model Checking on Networked Applications
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
Cyrille Artho, Pierre-Loïc Garoche
ICSM
2009
IEEE
15 years 4 months ago
Experimental assessment of manual versus tool-based maintenance of GUI-directed test scripts
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
Mark Grechanik, Qing Xie, Chen Fu
SAC
2006
ACM
14 years 9 months ago
Generating correct EPCs from configured C-EPCs
Process reference models play an important role for the alignment and configuration of commercial off-the-shelf Enterprise Systems to requirements of an organization. Recently, Co...
Jan Mendling, Jan Recker, Michael Rosemann, Wil M....
ECAI
2008
Springer
14 years 11 months ago
Can URML Model Successfully Drools Rules?
The use of rules in business modeling is becoming more and more important, in applications requiring dynamic change of behavior. A number of rule languages and tools have been prop...
Emilian Pascalau, Adrian Giurca
SOCO
2008
Springer
14 years 9 months ago
Composing Components and Services Using a Planning-Based Adaptation Middleware
Self-adaptive component-based architectures provide methods and mechanisms to support the dynamic adaptation of their structure under evolving execution context. Dynamic adaptation...
Romain Rouvoy, Frank Eliassen, Jacqueline Floch, S...