2153 search results - page 249 / 431 » From Requirements Models to Formal Specifications in B |
184
click to vote
MODELS
2007
Springer
16 years 18 days ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
181
click to vote
WOSP
2005
ACM
16 years 13 hour ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
233
click to vote
SCN
2011
Springer
15 years 1 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
156
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
The design of the defenses Internet systems can deploy against attack, especially adaptive and resilient defenses, must start from a realistic model of the threat. This requires an...
166
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...