8083 search results - page 85 / 1617 » A Formalization of Software Architecture |
ICFEM
1997
Springer
13 years 12 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
CODES
1996
IEEE
13 years 12 months ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
FAC
2008
13 years 7 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...