1823 search results - page 82 / 365 » Formal specification: a roadmap |
164
click to vote
JSA
2008
15 years 4 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
153
click to vote
RSP
1998
IEEE
15 years 8 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
131
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
136
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
139
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...