web.uflib.ufl.edu Part 2; See full version in UF Digital Collections: www.uflib.ufl.edu Production: ...
web.uflib.ufl.edu University of Florida Archives Moving Image Collection Production number 30 Produc...
web.uflib.ufl.edu See the full film and others on the University of Florida Digital Collections webs...
"Mating" video from the University of Florida Barn Owl Project: erec.ifas.ufl.edu and which will soo...
Video of the archaeological dig (1) in St. Augustine, developed for the "Spanish Colonial St. August...
citeseer |
(0) (0 Votes)
|
Views: (1028) Date: (22-01-08) Pages: () |
Abstract: Workshop on Property Verification for Software Components and Services lina.atlanstic.net/p rovecs This series of workshops aims at sharing experiments and research efforts on verification techniques and tools that are dedicated to software components and services; the hope and the common interest are the emergence during the forthcoming years, of common practices and standards for properties, techniques and tools for researchers and developers both in academia and industry. Aims Component-based software engineering and service-oriented architecture are intensively researched from various points of view: description languages, semantic models, implementation frameworks, property verification techniques, etc An ongoing challenge is the quality assessment of components and services by stating and verifying their properties. Appropriate techniques and tools are needed for this purpose. Moreover, the tools must scale up and be interoperable since components and services may come from different models and frameworks.