478 search results - page 41 / 96 » Formal Methods for Specifying, Validating, and Verifying Req... |
WISE
2006
Springer
14 years 2 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
COMCOM
2000
13 years 8 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
RE
1997
Springer
14 years 25 days ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...