2153 search results - page 12 / 431 » From Requirements Models to Formal Specifications in B |
AOSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
ISMB
1997
13 years 9 months ago
1997
In bacterial cells, gene expression is regulated by multiple sigma factors, each of which has its promoter specificity, according to their conditions. Thus, if we can discriminate...
WOTUG
2007
13 years 9 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
ASWEC
2000
IEEE
14 years 6 days ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
ISSS
1999
IEEE
14 years 2 days ago
1999
IEEE
Synchronous Dataflow, a subset of dataflow, has proven to be a good match for specifying DSP programs. Because of the limited amount of memory in embedded DSPs, a key problem duri...