460 search results - page 13 / 92 » Translating Software Designs for Model Checking |
184
Voted
IUI
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we present the concept for collaborative translation, where two non-bilingual people who use different languages collaborate to perform the task of translation usin...
151
Voted
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
189
Voted
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
183
Voted
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
164
click to vote
EMSOFT
2007
Springer
15 years 12 months 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 ...