3045 search results - page 182 / 609 » Formal Approaches to Software Architecture |
TGC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
ECSA
2010
Springer
15 years 12 days ago
2010
Springer
Architectural level analysis of a software system for its quality attributes is a proven cost-effective approach. This is particularly significant for performance, which defines m...
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
102
click to vote
SP
2003
IEEE
15 years 4 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
100
click to vote
EUROMICRO
1998
IEEE
15 years 3 months ago
1998
IEEE
The paper presents an approach to process scheduling for embedded systems. Target architectures consist of several processors and ASICs connected by shared busses. We have develop...