4340 search results - page 193 / 868 » Formal Methods and Cryptography |
185
click to vote
ICRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
184
click to vote
IJCAI
1997
15 years 8 months ago
1997
We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intr...
201
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
182
Voted
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
15 years 5 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
185
Voted
FM
2006
Springer
15 years 10 months ago
2006
Springer
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...