1937 search results - page 2 / 388 » Starting B Specifications from Use Cases |
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
B
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
B
2007
Springer
13 years 11 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
STTT
2008
13 years 4 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
ICEBE
2007
IEEE
13 years 11 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...