4340 search results - page 193 / 868 » Formal Methods and Cryptography |
145
click to vote
ICRE
2000
IEEE
15 years 8 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 ...
141
click to vote
IJCAI
1997
15 years 5 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...
150
click to vote
DSVIS
1998
Springer
15 years 8 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
127
click to vote
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
15 years 2 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
131
click to vote
FM
2006
Springer
15 years 8 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...