1481 search results - page 197 / 297 » Enriching the Software Development Process by Formal Methods |
138
click to vote
ENTCS
2006
15 years 4 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...
124
click to vote
ICNP
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
134
click to vote
UML
1997
Springer
15 years 8 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
196
Voted
GPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
158
click to vote
JMLR
2010
14 years 11 months ago
2010
We develop a Bayesian framework for supervised dimension reduction using a flexible nonparametric Bayesian mixture modeling approach. Our method retrieves the dimension reduction ...