Sciweavers

542 search results - page 14 / 109
» An Integrated Systems Approach to Explanation-Based Conceptu...
Sort
View
FM
1999
Springer
114views Formal Methods» more  FM 1999»
15 years 4 months ago
Integrating Formal Description Techniques
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
Bernhard Schätz, Franz Huber
IFIP3
1998
151views Education» more  IFIP3 1998»
15 years 1 months ago
Conceptual Workflow Modelling for Remote Courses
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
José Palazzo M. de Oliveira, Mariano Nicola...
OOPSLA
2000
Springer
15 years 3 months ago
Finding refactorings via change metrics
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...
Serge Demeyer, Stéphane Ducasse, Oscar Nier...
ICCSA
2005
Springer
15 years 5 months ago
Conceptual Modeling of Genetic Studies and Pharmacogenetics
Genetic Studies examine relationships between genetic variation and disease development. Pharmacogenetics studies the responses to drugs against genetic variation. These two lines ...
Xiaohua Zhou, Il-Yeol Song
DESRIST
2009
Springer
137views Education» more  DESRIST 2009»
15 years 4 months ago
Situational method engineering for governance, risk and compliance information systems
Against the background of the current financial crisis and an aftermath of increasing regulation, companies enhance and integrate information systems in the areas of risk manageme...
Anke Gericke, Hans-Georg Fill, Dimitris Karagianni...