1988 search results - page 316 / 398 » Engineering formal metatheory |
172
click to vote
EMSOFT
2007
Springer
16 years 16 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
170
click to vote
IUI
2006
ACM
16 years 10 days ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
155
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
163
click to vote
EWSA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
159
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...