1804 search results - page 155 / 361 » Use Cases in Model-Driven Software Engineering |
145
click to vote
ICSM
1994
IEEE
15 years 8 months ago
1994
IEEE
In order to improve software maintenance processes, we need to be able to first characterize and assess them. This task needs to be performed in depth and with objectivity since t...
142
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
130
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
147
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
131
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...