3045 search results - page 79 / 609 » Formal Approaches to Software Architecture |
167
click to vote
ATC
2007
Springer
16 years 8 days ago
2007
Springer
We present a system architecture for trusted transactions in highly sensitive environments. This architecture takes advantage of techniques provided by the Trusted Computing Group ...
160
click to vote
WICSA
2004
15 years 7 months ago
2004
Authentic descriptions of a software architecture are required as a reliable foundation for any but trivial changes to a system. Far too often, architecture descriptions of existi...
152
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
147
click to vote
ASYNC
2007
IEEE
15 years 10 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
156
Voted
B
1998
Springer
15 years 10 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....