2153 search results - page 19 / 431 » From Requirements Models to Formal Specifications in B |
FM
1999
Springer
14 years 2 days ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
LCTRTS
2010
Springer
13 years 5 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
The main objective of this pilot study is to improve our understanding of the potential of RFID in the context of warehousing activities in one specific supply chain in the retail...
ECTEL
2008
Springer
2008
Springer
Bridging the Gap between Practitioners and E-Learning Standards: A Domain-Specific Modeling Approach
13 years 9 months ago
Developing a learning design using IMS Learning Design (LD) is difficult for average practitioners because a high overhead of pedagogical knowledge and technical knowledge is requi...
EEE
2005
IEEE
14 years 1 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...