22698 search results - page 528 / 4540 » Modeling in Software Engineering |
214
click to vote
FMCO
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
230
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
192
click to vote
SOMET
2007
15 years 8 months ago
2007
This report details part of the results of five software audits that were done to evaluate various aspects of the quality in five very big software projects. One result of our work...
201
Voted
EMSOFT
2005
Springer
16 years 16 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
172
click to vote
PROFES
2007
Springer
16 years 1 months ago
2007
Springer
The cost of a Software Product Line (SPL) development project sometimes exceeds the initially planned cost, because of requirements volatility and poor quality. In this paper, we p...