2106 search results - page 84 / 422 » Specifying C concepts |
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
AKA
2004
13 years 10 months ago
2004
: Swiss Re has established an architectural framework, tools, and concepts that enable business people to specify their view of the business in a consistent and formal manner. Base...
AOIS
2003
13 years 10 months ago
2003
Abstract. Agent-oriented modelling of software systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We show that th...
IWFM
1998
13 years 10 months ago
1998
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...
WSC
2000
13 years 10 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...