Sciweavers

134 search results - page 3 / 27
» An International Survey of Industrial Applications of Formal...
Sort
View
ICIW
2007
IEEE
14 years 2 months ago
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
FM
1999
Springer
111views Formal Methods» more  FM 1999»
14 years 6 days ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
14 years 1 months ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
IADIS
2003
13 years 9 months ago
The Role of Web Services in Financial Organisations: Results from a Survey
The paper presents the results of a survey on the current and future role of web services technologies in banking and financial services organizations. The survey asked financial ...
Bill Karakostas, Dimitris Kardaras
BCSHCI
2008
13 years 9 months ago
An investigation into the use of field methods in the design and evaluation of interactive systems
This paper reports the results of an international web-based survey on the use of field studies in the design and evaluation of interactive systems, which was conducted between De...
Kelly Monahan, Mia Lahteenmaki, Sharon McDonald, G...