25 search results - page 3 / 5 » ecbs 2006 |
ECBS
2006
IEEE
13 years 11 months ago
2006
IEEE
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
ECBS
2006
IEEE
13 years 9 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
ECBS
2006
IEEE
13 years 11 months ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...
ECBS
2006
IEEE
13 years 9 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
ECBS
2006
IEEE
13 years 7 months ago
2006
IEEE
With the wireless communication network and location data, the existing telematics system provides various information services such as navigation, emergency service, and etc. In ...