1525 search results - page 143 / 305 » Formal Models for Communication-Based Design |
75
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
125
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
129
click to vote
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
100
click to vote
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
93
Voted
SPIN
1999
Springer
15 years 5 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...