431 search results - page 21 / 87 » Using Formal Methods to Reason about Architectural Standards |
DAC
2000
ACM
16 years 21 days ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
UML
2004
Springer
15 years 5 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
FORTE
2004
15 years 1 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...