Sciweavers

368 search results - page 2 / 74
» b 1998
Sort
View
ICMAS
1998
14 years 11 months ago
IMPACT: The Interactive Maryland Platform for Agents Collaborating Together
Khaled A. Arisha, Sarit Kraus, Fatma Ozcan, Robert...
93
Voted
DSVIS
1998
Springer
15 years 2 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...
158
Voted
ADL
1998
Springer
334views Digital Library» more  ADL 1998»
15 years 2 months ago
Image Processing in the Alexandria Digital Library Project
B. S. Manjunath
87
Voted
IWFM
1998
113views Formal Methods» more  IWFM 1998»
14 years 11 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