1823 search results - page 112 / 365 » Formal specification: a roadmap |
135
click to vote
IAT
2003
IEEE
15 years 10 months ago
2003
IEEE
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
132
Voted
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
149
click to vote
FORTE
2004
15 years 6 months ago
2004
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
145
click to vote
SAM
2004
15 years 6 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
160
click to vote
ISORC
1999
IEEE
15 years 9 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...