626 search results - page 13 / 126 » Closing the Gap Between Software Modelling and Code |
CODES
1999
IEEE
14 years 3 hour ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
High mask and production costs for the newest CMOS silicon technologies increase the pressure to develop hardware platforms useable for different applications or variants of the s...
SDL
2001
13 years 9 months ago
2001
In this paper we describe our experiences in building tools for accelerating maintenance of existing large telecommunications software. We discuss how various maintenance activitie...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
This paper argues for a model-driven framework for integrating human interface engineering with software engineering. The usage-centered design process, a robust and proven proces...