Sciweavers

1606 search results - page 253 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
WADT
1998
Springer
15 years 8 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...
ECIS
2003
15 years 5 months ago
Towards work-integrated learning communities
In this paper we raise the concept of Work-Integrated Learning (WIL) as a means of supporting activities of competence development and learning in organisations. In order to illus...
Ulrika Lundh Snis, Lars Svensson, Christian Ö...
SAC
2008
ACM
15 years 4 months ago
Automatic software fault localization using generic program invariants
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
Rui Abreu, Alberto González 0002, Peter Zoe...
ICSE
2010
IEEE-ACM
15 years 3 months ago
Integrating legacy systems with MDE
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
Mickael Clavreul, Olivier Barais, Jean-Marc J&eacu...
SIAMADS
2010
63views more  SIAMADS 2010»
14 years 11 months ago
Time Integration and Steady-State Continuation for 2d Lubrication Equations
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...
Philippe Beltrame, Uwe Thiele