3045 search results - page 244 / 609 » Formal Approaches to Software Architecture |
108
click to vote
SEFM
2008
IEEE
15 years 6 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
QSIC
2007
IEEE
15 years 6 months ago
2007
IEEE
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...
ICALT
2009
IEEE
15 years 6 months ago
2009
IEEE
While argumentation is highly important for humans in many different aspects of life, it is hard to teach large groups to argue. Classic face-to-face approaches, which have shown ...
ISQED
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents a hybrid BIST architecture and methods for optimizing it to test systems-on-chip in a cost effective way. The proposed self-test architecture can be implemente...