2153 search results - page 84 / 431 » From Requirements Models to Formal Specifications in B |
DIAGRAMS
2004
Springer
14 years 28 days ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
AAMAS
2004
Springer
13 years 9 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
IFM
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
3DIM
1999
IEEE
14 years 1 months ago
1999
IEEE
The paper proposes a reliable method for estimating quadric surfaces from 3D range data in the framework of object recognition and localization or object modelling. Instead of est...