803 search results - page 46 / 161 » Building Formal Models for Software Requirements |
117
click to vote
JUCS
2008
15 years 1 months ago
2008
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...
108
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. The model that we intend to devise attempts to provide a basis for conceptual mo...
137
click to vote
JOT
2008
15 years 1 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
114
click to vote
COMPSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
118
click to vote
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
One of the major advantages of component-based software engineering is the ability for developers to reuse and assemble software entities to build complex software. Whereas decompo...