Sciweavers

875 search results - page 36 / 175
» Specification Modules for Methodical System Development
Sort
View
ENTCS
2008
175views more  ENTCS 2008»
14 years 9 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu
ACMDIS
2006
ACM
15 years 3 months ago
Investigating design knowledge reuse for interface development
Reusing HCI design knowledge shows potential in allowing practitioners to design based on previously identified concerns. A reuse approach is presented that is based on claims, de...
Shahtab Wahid
EMSOFT
2004
Springer
15 years 3 months ago
A metrics system for quantifying operational coupling in embedded computer control systems
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
De-Jiu Chen, Martin Törngren
IC
2004
14 years 11 months ago
IskaWeb: A Web-Based Information System for the Classification of Industrial Wastes
Industrial wastes must be classified at least two times on the way from the owner of the waste to the waste disposal facility in order to ensure that waste handling is in conformi...
J. O. Dada, Hans-Dieter Kochs, Jörg Petersen
BMCBI
2010
114views more  BMCBI 2010»
14 years 10 months ago
An integrative modular approach to systematically predict gene-phenotype associations
Background: Complex human diseases are often caused by multiple mutations, each of which contributes only a minor effect to the disease phenotype. To study the basis for these com...
Michael R. Mehan, Juan Nunez-Iglesias, Chao Dai, M...