Sciweavers

2376 search results - page 65 / 476
» CM - Configuration Change Management
Sort
View
JLP
2006
81views more  JLP 2006»
15 years 1 months ago
Development graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
Till Mossakowski, Serge Autexier, Dieter Hutter
ENTCS
2007
115views more  ENTCS 2007»
15 years 1 months ago
Self Management and the Future of Software Design
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
Peter Van Roy
HICSS
2006
IEEE
82views Biometrics» more  HICSS 2006»
15 years 7 months ago
A Typology of Knowledge Management System Use by Teams
This essay sketches out a typology of knowledge management system use by teams. It is proposed that how a knowledge management system is framed and enacted by a team depends on (a...
Jean-Grégoire Bernard
ICALT
2006
IEEE
15 years 7 months ago
Design of Knowledge Management Learning System based on Service-Oriented Architecture
In this paper, we propose a framework of Knowledge Management Learning System (KMLS) for adult education based on a learning process and a ServiceOriented Architecture (SOA). Acco...
Wan-Jen Chang, Hsuan-Hung Chen, Hui-Kai Su, Yuan-S...
DEXAW
2008
IEEE
114views Database» more  DEXAW 2008»
15 years 3 months ago
Management of User-Defined Meta Information for Virtual Product Development
Virtual product development puts high demands on data management solutions due to many dependent heterogeneous data sources, automatic data transformations, and fast changing requ...
Ingolf Geist, Stephan Vornholt