Sciweavers

137 search results - page 25 / 28
» EnViron: An integrated VR tool for engineering projects
Sort
View
AOSD
2011
ACM
13 years 4 months ago
Experiences documenting and preserving software constraints using aspects
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
Roberto Silveira Silva Filho, François Bron...
FAC
2006
122views more  FAC 2006»
13 years 9 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
ERCIMDL
2009
Springer
193views Education» more  ERCIMDL 2009»
14 years 1 months ago
The Planets Interoperability Framework
We report on the implementation of a software infrastructure for preservation actions, carried out in the context of the European Integrated Project Planets – the Planets Interop...
Ross King, Rainer Schmidt, Andrew N. Jackson, Carl...
ISCI
2007
82views more  ISCI 2007»
13 years 9 months ago
Managing software process measurement: A metamodel-based approach
The evaluation of software processes is nowadays a very important issue due to the growing interest of software companies in the improvement of the productivity and quality of del...
Francisco García, Manuel A. Serrano, Jos&ea...
JWSR
2006
170views more  JWSR 2006»
13 years 9 months ago
Managing Semantic Metadata for Web/Grid Services
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...
Liming Chen, Nigel R. Shadbolt, Carole A. Goble, F...