3045 search results - page 54 / 609 » Formal Approaches to Software Architecture |
TPHOL
2000
IEEE
15 years 2 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
ICSE
2003
IEEE-ACM
15 years 10 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
15 years 2 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...
TAPSOFT
1997
Springer
15 years 2 months ago
1997
Springer
We show how the formal description language LOTOS can be used to de ne software architectures and how patterns over LOTOS can serve to characterize architectural styles. We charact...
WICSA
2008
15 years 4 days ago
2008
Software architecture modeling and representation became a main phase of the development process of complex systems. In fact, software architecture representation provides many ad...