2153 search results - page 58 / 431 » From Requirements Models to Formal Specifications in B |
PCI
2001
Springer
14 years 1 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
BPM
2009
Springer
14 years 3 months ago
2009
Springer
Process models are considered to be a major asset in modern business organizations. They are expected to apply to all the possible business contexts in which the process may be exe...
EDOC
2006
IEEE
14 years 24 days ago
2006
IEEE
Enterprise Systems (ES) can be understood as the de facto standard for holistic operational and managerial support within an organization. Most commonly ES are offered as commerci...
DAC
2011
ACM
12 years 9 months ago
2011
ACM
A three-dimensional (3D) CMOS imager constructed from stacking a pixel array of image sensors, an analog-to-digital converter (ADC) array, and an image signal processor (ISP) arra...
EPEW
2008
Springer
13 years 11 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...