1593 search results - page 1 / 319 » A Language for Biochemical Systems: Design and Formal Specif... |
80
Voted
TCSB
2010
14 years 8 months ago
2010
DAC
1998
ACM
15 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...
115
click to vote
HASE
2008
IEEE
14 years 10 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 12 months 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...
102
Voted
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
14 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...