Sciweavers

368 search results - page 2 / 74
» b 1998
Sort
View
ICMAS
1998
13 years 6 months ago
IMPACT: The Interactive Maryland Platform for Agents Collaborating Together
Khaled A. Arisha, Sarit Kraus, Fatma Ozcan, Robert...
DSVIS
1998
Springer
13 years 9 months ago
A Uniform Approach for Specification and Design of Interactive Systems: the B Method
: 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
Yamine Aït Ameur, Patrick Girard, Francis Jam...
IWFM
1998
113views Formal Methods» more  IWFM 1998»
13 years 6 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore