22698 search results - page 552 / 4540 » Modeling in Software Engineering |
176
click to vote
SEFM
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
198
click to vote
WADT
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
177
click to vote
ICFEM
2009
Springer
16 years 2 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
208
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
219
click to vote
VAMOS
2007
Springer
16 years 1 months ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...