5407 search results - page 183 / 1082 » The Software Engineering Global Model |
107
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
131
Voted
ICWE
2007
Springer
15 years 9 months ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
120
Voted
HCI
2007
15 years 5 months ago
2007
: This paper describes an approach to integrate UCD activities into the existing Software Engineering practices and processes. The aim is to use the outcomes of UCD activities thro...
135
Voted
IICAI
2007
15 years 5 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
140
Voted
SERA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...