8179 search results - page 13 / 1636 » The PRACTIONIST Development Tool |
SPE
2011
13 years 2 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
PERCOM
2011
ACM
12 years 11 months ago
2011
ACM
—As smart home technologies continue to be deployed in research and real world environments, there continues to be a need for quality visualization of the smart home data. This d...
PSYCHNOLOGY
2007
13 years 7 months ago
2007
This paper discusses key factors contributing to the “success” of interactive multimedia development tools in non ICT professional contexts. We define “success” in terms o...
SAC
2008
ACM
13 years 6 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
APSCC
2010
IEEE
13 years 2 months ago
2010
IEEE
Nowadays applications are increasingly developed based on remote Web services and service composition has become a powerful novel development paradigm. Due to the fact that such a...