5407 search results - page 653 / 1082 » The Software Engineering Global Model |
212
click to vote
APSEC
2002
IEEE
16 years 20 days ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
200
click to vote
ICSE
2001
IEEE-ACM
16 years 4 days ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
211
click to vote
CODES
2000
IEEE
16 years 3 days ago
2000
IEEE
This paper discusses the trade-off between calculations and memory accesses in a 3D graphics tile renderer for visualization of data from medical scanners. The performance require...
185
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Accurate modeling of communication is a necessary part of system level design for real-time safety-critical applications. For efficient prediction of a system’s performance, Tra...
174
click to vote
ERLANG
2006
ACM
16 years 1 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...