2153 search results - page 149 / 431 » From Requirements Models to Formal Specifications in B |
104
click to vote
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
PE
2002
Springer
14 years 9 months ago
2002
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
CMOT
2000
14 years 10 months ago
2000
Theperformanceofvariousorganizationalstructuresisanessentialparameterinthereengineeringoforganizations, particularly in the current rapidly changing, competitive and information t...
ADHOC
2005
14 years 10 months ago
2005
While sensor networks are going to be deployed in diverse application specific contexts, one unifying view is to treat them essentially as distributed databases. The simplest mech...
DESRIST
2009
Springer
15 years 2 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...