3514 search results - page 400 / 703 » Evolving Specification Engineering |
169
click to vote
ETFA
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
175
click to vote
ICSM
2005
IEEE
16 years 8 days ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...
156
click to vote
SEFM
2005
IEEE
16 years 8 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
150
click to vote
SWSTE
2005
IEEE
16 years 7 days ago
2005
IEEE
We present a new automated software acceptance tests framework. The framework is novel in supporting the entire lifecycle and all QA activities, including test maintenance over mu...
171
click to vote
VISSOFT
2005
IEEE
16 years 7 days ago
2005
IEEE
We present MetricView, a software visualization and exploration tool that combines traditional UML diagram visualization with metric visualization in an effective way. MetricView ...