Sciweavers

469 search results - page 29 / 94
» The problem of integrating ethics into IS practice
Sort
View
CADE
2007
Springer
15 years 10 months ago
T-Decision by Decomposition
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
Maria Paola Bonacina, Mnacho Echenim
ICSE
2003
IEEE-ACM
15 years 9 months ago
An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company
Numerous studies have been conducted on design and architecture of knowledge repositories. This paper addresses the need for looking at practices where knowledge repositories are ...
Emil Røyrvik, Torgeir Dingsøyr
DSN
2007
IEEE
15 years 4 months ago
Assessing Robustness of Web-Services Infrastructures
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
Marco Vieira, Nuno Laranjeiro, Henrique Madeira
ICMT
2010
Springer
15 years 2 months ago
Synthesis of OCL Pre-conditions for Graph Transformation Rules
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use,...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
JCAL
2002
96views more  JCAL 2002»
14 years 9 months ago
Improving continuing professional development in the use of ICT
Common shortcomings in educational design in Higher Education have not been fully addressed during the rapid shift towards online, resource-based learning. A contributing factor to...
A. H. Littlejohn