Sciweavers

627 search results - page 72 / 126
» Experiences in Modeling for a Domain Specific Language
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
14 years 13 days ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
ECIS
2004
13 years 9 months ago
A strategy modelling technique for financial services
Strategy planning processes often suffer from a lack of conceptual models that can be used to represent business strategies in a structured and standardized form. If natural langu...
Bernd Heinrich, Robert Winter
VL
2009
IEEE
156views Visual Languages» more  VL 2009»
14 years 2 months ago
Non-programmers identifying functionality in unfamiliar code: Strategies and barriers
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
Paul A. Gross, Caitlin Kelleher
ISESE
2005
IEEE
14 years 1 months ago
Empirical study design in the area of high-performance computing (HPC)
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
Forrest Shull, Jeffrey Carver, Lorin Hochstein, Vi...
CAISE
2006
Springer
13 years 11 months ago
Modeling User Behaviour Aware WebSites with PRML
Adaptive websites usually change as effect of user navigational actions. Most current web engineering approaches (which consider personalization) allow to detect basic user browsin...
Irene Garrigós, Jaime Gómez