Sciweavers

326 search results - page 7 / 66
» Tailoring and Verifying Software Process
Sort
View
SPLC
2000
13 years 8 months ago
Scoping software product lines
In this paper, we discuss the view that planning software development -- and particularly software reuse -- should be based not on standardized criteria, but on those criteria tha...
Klaus Schmid
TASE
2008
IEEE
14 years 1 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
ICSE
2004
IEEE-ACM
14 years 7 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....
INDIASE
2009
ACM
14 years 1 days ago
Method engineering process patterns
Component-Based Development (CBD) has been broadly used in software development, as it enhances reusability and flexibility, and reduces the costs and risks involved in systems dev...
Mohsen Asadi, Raman Ramsin
IUI
2006
ACM
14 years 1 months ago
The delivery of multimedia presentations in a graphical user interface environment
A major issue in many domains is to present information to people that is tailored to their need, in such a way that it supports them in their tasks. In this paper, we present the...
Nathalie Colineau, Julien Phalip, Andrew Lampert