8 search results - page 1 / 2 » 06351 Abstracts Collection -- Methods for Modelling Software... |
DAGSTUHL
2006
13 years 6 months ago
2006
FASE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
FM
2009
Springer
14 years 1 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
EMSOFT
2011
Springer
12 years 5 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...