585 search results - page 17 / 117 » Structured Formal Development in Isabelle |
IJFCS
2008
14 years 11 months ago
2008
We present an application of formal concept analysis aimed at representing a meaningful structure of knowledge communities in the form of a lattice-based taxonomy. The taxonomy gr...
FM
2003
Springer
15 years 5 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
78
Voted
JUCS
2007
14 years 11 months ago
2007
: Collecting, distributing and sharing knowledge in a knowledge-explicit way is a significant task for any company. However, collecting decisional knowledge in the form of formal d...
SIGSOFT
2001
ACM
16 years 14 days ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
APSEC
1998
IEEE
15 years 4 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...