258 search results - page 12 / 52 » WofBPEL: A Tool for Automated Analysis of BPEL Processes |
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
SEKE
2004
Springer
14 years 25 days ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...
TELSYS
2002
13 years 7 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...