3045 search results - page 146 / 609 » Formal Approaches to Software Architecture |
TPHOL
1999
IEEE
15 years 3 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
VISSOFT
2005
IEEE
15 years 4 months ago
2005
IEEE
We present MetricView, a software visualization and exploration tool that combines traditional UML diagram visualization with metric visualization in an effective way. MetricView ...
AOSE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The field of Software Product Lines (SPL) emphasizes building a family of software products from which concrete products can be derived rapidly. This helps to reduce time...
86
Voted
AUSAI
2006
Springer
15 years 2 months ago
2006
Springer
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
109
click to vote
AH
2008
Springer
15 years 5 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...