2635 search results - page 40 / 527 » Refactoring Process Models in Large Process Repositories |
ER
2008
Springer
15 years 24 days ago
2008
Springer
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
QUATIC
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper describes an initiative to improve software acquisition process in Brazil. This initiative was conducted in the context of the MPS.BR Program, a nationwide effort to de...
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
101
click to vote
ISPW
2006
IEEE
15 years 5 months ago
2006
IEEE
The spiral lifecycle is being extended to address new challenges for Software-Intensive Systems of Systems (SISOS), such as coping with rapid change while simultaneously assuring h...
ADBIS
2007
Springer
15 years 5 months ago
2007
Springer
It is widely accepted practice to build domain models as a conceptual basis for software systems. Normally, the conceptual schema cannot be supplied by domain experts but is constr...