1593 search results - page 1 / 319 » A Language for Biochemical Systems: Design and Formal Specif... |
TCSB
2010
13 years 9 months ago
2010
DAC
1998
ACM
14 years 11 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
HASE
2008
IEEE
13 years 11 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
CMSB
2008
Springer
14 years 19 days ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 10 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...