1856 search results - page 12 / 372 » Formal Dialectic Specification |
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
ICFEM
1998
Springer
14 years 1 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
FMSD
2007
13 years 9 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
DAC
1998
ACM
14 years 10 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...
NJC
2006
13 years 9 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...