71 search results - page 9 / 15 » Domain Engineering with Event-B: Some Lessons We Learned |
ISESE
2006
IEEE
15 years 3 months ago
2006
IEEE
Controlled experiments are a key approach to evaluate and evolve our understanding of software engineering technologies. However, defining and running a controlled experiment is a...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
A Domain-Specific Modeling Language (DSMLs) describes the concepts and their relationships of a particular domain, in a metamodel. Using a DSML, it is possible to describe a wide ...
ML
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we pose a novel research problem for machine learning that involves constructing a process model from continuous data. We claim that casting learned knowledge in ter...
SAC
2000
ACM
15 years 1 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
CSMR
2002
IEEE
15 years 2 months ago
2002
IEEE
Even though the benefits of component-based software development are widely accepted, they are easily overestimated. To provide a firmer basis for the general discussion we descri...