435 citations · 840 across the 65 of their papers we have counts for
Showing 2013 · cs.SEShow all
2 papers · 2 filters
cs.SE2013
Towards a Formalism-Based Toolkit for Automotive Applications
Rainer Gmehlich, Katrin Grau, Alexei Iliasov +3
The success of a number of projects has been shown to be significantly improved by the use of a formalism. However, there remains an open issue: to what extent can a development pr…
cs.SE2013
Issues about the Adoption of Formal Methods for Dependable Composition of Web Services
Manuel Mazzara, Michele Ciavotta
Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler…